Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
1,967 authors found
quering by "Formal semantics (linguistics)"
.
Showing
the first 25
sort by ONE Index.
|
916
One Index
|
AMGOUD, Leila PhD 0000-0002-1838-4271 |
430 docs (1991 - 2024)
Argumentation Frameworks , Dialectical Argumentation , Agent-Based Modeling , Multi-Agent Systems , Nonmonotonic Reasoning |
|
905
One Index
|
Barbara Hall Partee PhD |
208 docs (1968 - 2021)
Semantics , Genitive case , Principle of compositionality , Negation , Language Typology |
|
900
One Index
|
Zwarts, Joost PhD 0000-0002-8892-6523 |
93 docs (1992 - 2023)
Semantics , Spatial Reasoning , Locative case , Polysemy , Language Typology |
|
896
One Index
|
McNally, Louise PhD 0000-0002-3355-913X |
107 docs (1991 - 2024)
Front cover , Content (measure theory) , Semantics , Language Modeling , Adjective |
|
889
One Index
|
Bayart, Frederic PhD |
177 docs (2001 - 2024)
Hypercyclic Operators , Operator Theory , Composition Operators , Operator (biology) , General Dirichlet series |
|
883
One Index
|
Joan W. Bresnan PhD |
106 docs (1971 - 2021)
Language Typology , Language Modeling , Dative case , Grammar , Construction Grammar |
|
875
One Index
|
Claessen, Koen PhD 0000-0002-8113-4478 |
152 docs (1997 - 2024)
Haskell , Model Checking , Temporal Logic , Counterexample , Benchmark (surveying) |
|
875
One Index
|
Ott, Dennis PhD 0000-0002-9573-2348 |
52 docs (2009 - 2024)
Ellipsis (linguistics) , Construction Grammar , Phrase , Topicalization , Minimalist program |
|
872
One Index
|
Rosu, Grigore PhD 0000-0002-3102-0421 |
341 docs (1994 - 2024)
Programming Language Semantics , Runtime Verification , Model Checking , Temporal Logic , Executable |
|
870
One Index
|
TIEZZI, Francesco PhD 0000-0003-4740-7521 |
154 docs (2000 - 2024)
Service-Oriented Computing , Semantic Business Process Management , Process Models , Service-Oriented Architecture , Conformance Checking |
|
867
One Index
|
Podelski, Andreas PhD 0000-0003-2540-9489 |
311 docs (1989 - 2024)
Model Checking , Abstraction , Runtime Verification , Temporal Logic , Liveness |
|
865
One Index
|
Umberto ยฌ Eco PhD |
724 docs (1954 - 2021)
Discourse Analysis , Literature , Rhetoric , Semiotics , Language Teaching |
|
864
One Index
|
Seuren, Pieter PhD 0000-0002-5976-4115 |
306 docs (1963 - 2023)
Predicate (mathematical logic) , Presupposition , Language Teaching , Grammaticalization , Language Modeling |
|
863
One Index
|
Svenonius, Peter PhD 0000-0001-5043-8543 |
71 docs (1993 - 2021)
Language Modeling , Language Typology , Norwegian , Semantics , Description Logics |
|
859
One Index
|
R. H. Lass PhD |
169 docs (1962 - 2020)
Middle English , Etymology , Language Evolution , Language Change , Historical Phonology |
|
856
One Index
|
Ehrenfeucht, Andrzej PhD |
384 docs (1955 - 2018)
Combinatorics on Words , Formal Languages , Regular Expressions , Language Modeling , Mathematics Education |
|
851
One Index
|
Zohar Richard Waldinger Manna PhD |
303 docs (1899 - 2014)
Temporal Logic , Model Checking , Runtime Verification , Programming Language Semantics , Safety Verification |
|
850
One Index
|
Lemanski, Jens PhD 0000-0003-3661-4752 |
75 docs (2009 - 2024)
Diagrammatic reasoning , Venn diagram , Description Logics , Philosophy , Argument (complex analysis) |
|
849
One Index
|
Kunฤak, Viktor PhD 0000-0001-7044-9522 |
264 docs (1993 - 2024)
Model Checking , Satisfiability , Scala , Cardinality (data modeling) , Nonmonotonic Reasoning |
|
849
One Index
|
van der Torre, Leendert PhD 0000-0003-4330-3717 |
626 docs (1987 - 2024)
Argumentation Frameworks , Dialectical Argumentation , Deontic logic , Nonmonotonic Reasoning , Description Logics |
|
847
One Index
|
Weirich, Stephanie PhD 0000-0002-6756-9168 |
177 docs (1996 - 2024)
Haskell , Type Inference , Model Checking , Programming Language Semantics , Type theory |
|
846
One Index
|
Zheng, Yongyan PhD 0000-0002-0664-3942 |
79 docs (1992 - 2024)
Multilingualism , Bilingual Education , Language Teaching , Language Learning Strategies , Academic Language |
|
846
One Index
|
Larsen, Peter Gorm PhD 0000-0002-4589-1500 |
291 docs (1989 - 2024)
Digital Twin , Cyber-physical system , Modeling and Simulation , Tool Integration , Model-Driven Engineering |
|
845
One Index
|
Engelfriet, Joost PhD |
204 docs (1972 - 2021)
Tree (set theory) , Nondeterministic algorithm , Combinatorics on Words , Indexed grammar , Transducers |
|
841
One Index
|
Sells, Peter PhD 0000-0003-4284-6947 |
94 docs (1982 - 2024)
Language Modeling , Construction Grammar , Syntax-based Translation Models , Language Typology , Semantics |
