Author's search
Search query
Career Stage
Junior Researcher Senior LeadingGender
Female MaleCountry
Sort by
ONE Index Relevance Docs
13,088 authors found
quering by "Nonmonotonic Reasoning"
.
Showing
the first 25
sort by ONE Index.
|
935
One Index
|
Koller, Daphne PhD 0000-0002-2361-6479 |
373 docs (1987 - 2024)
Probabilistic Learning , Structure Learning , Representation (politics) , Probabilistic Graphical Models , Semi-Supervised Learning |
|
933
One Index
|
Dutilh Novaes, Catarina PhD 0000-0002-7347-3795 |
148 docs (1998 - 2024)
Dialogical self , Content (measure theory) , Syllogism , Proposition , Philosophy |
|
932
One Index
|
Schwarz, Florian PhD 0000-0001-6426-3174 |
70 docs (2003 - 2024)
Presupposition , Language Processing , Implicature , Discourse Analysis , Argumentation |
|
930
One Index
|
Rahwan, Iyad PhD 0000-0002-1796-4303 |
327 docs (1997 - 2024)
Argumentation Frameworks , Dialectical Argumentation , Multi-Agent Systems , Agent-Based Modeling , Argument (complex analysis) |
|
929
One Index
|
M. Kholid Baror Abadi PhD |
295 docs (1985 - 2023)
Security Protocols , Nonmonotonic Reasoning , Temporal Logic , Programming Language Semantics , Soundness |
|
927
One Index
|
Aguzzoli, Stefano PhD 0000-0002-7588-5048 |
617 docs (1973 - 2024)
Language Modeling , Neural Machine Translation , Syntax-based Translation Models , Multilingual Neural Machine Translation , Modal Logics |
|
926
One Index
|
Vardi, Moshe PhD 0000-0002-0661-5773 |
906 docs (1972 - 2024)
Model Checking , Temporal Logic , Satisfiability , Runtime Verification , Satisfiability Modulo Theories |
|
926
One Index
|
PhD 0000-0002-0505-1400 |
572 docs (1993 - 2024)
Optimal Motion Planning , Real-Time Planning , Path Planning , Probabilistic Roadmaps , Dynamic Ride-Sharing |
|
924
One Index
|
Krifka, Manfred PhD 0000-0002-9610-8352 |
158 docs (1983 - 2024)
Negation , Discourse Analysis , Semantics , Proposition , Nonmonotonic Reasoning |
|
923
One Index
|
Horrocks, Ian PhD 0000-0002-2685-7462 |
554 docs (1995 - 2024)
Description Logics , Ontology , Web Ontology Language , Semantic Web , Semantic Matching |
|
922
One Index
|
Schelter, Sebastian PhD 0000-0003-4722-5840 |
628 docs (1981 - 2024)
Column-oriented Database Systems , XML , Relational Database Systems , Query Optimization , Datalog |
|
921
One Index
|
Horvitz, Eric PhD 0000-0002-8823-0614 |
682 docs (1984 - 2024)
Crowdsourcing , Representation (politics) , Topic Modeling , Leverage (statistics) , Spoken Dialogue Systems |
|
920
One Index
|
Weatherson, Brian PhD 0000-0002-0830-141X |
101 docs (1999 - 2022)
Argument (complex analysis) , Skepticism , Justification , Externalism , Philosophy of language |
|
920
One Index
|
Biere, Armin PhD 0000-0001-7170-9242 |
295 docs (1997 - 2024)
Model Checking , Solver , Boolean satisfiability problem , Satisfiability , Symbolic Model Checker |
|
919
One Index
|
Burnett, Heather PhD 0000-0002-7389-0679 |
93 docs (2007 - 2024)
Vagueness , Discourse Analysis , Variation (astronomy) , Semantics , Negation |
|
919
One Index
|
Boutilier, Craig PhD 0000-0001-9330-4545 |
350 docs (1989 - 2024)
Preference elicitation , Reinforcement Learning , Representation (politics) , Probabilistic Learning , Value (mathematics) |
|
918
One Index
|
Jøsang, Audun PhD 0000-0001-6337-2264 |
254 docs (1995 - 2024)
Subjective logic , Authentication , Trust , Nonmonotonic Reasoning , Reputation |
|
917
One Index
|
Floridi, Luciano PhD 0000-0002-5444-2280 |
882 docs (1990 - 2024)
Ethics , Philosophy of technology , Artificial Intelligences , Skepticism , Scope (computer science) |
|
917
One Index
|
Sauerland, Uli PhD 0000-0003-2175-535X |
145 docs (1994 - 2024)
Presupposition , Implicature , Semantics , Language Modeling , Argumentation |
|
917
One Index
|
Lehner, Paul Joseph PhD 0000-0001-9383-1054 |
403 docs (1980 - 2024)
E3 Ubiquitin Ligases , Decision-making , Antigen processing , Educational Policies , Deubiquitinating Enzymes |
|
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 |
|
914
One Index
|
Basin, David PhD 0000-0003-2952-939X |
492 docs (1989 - 2024)
Temporal Logic , Model Checking , Security Protocols , HOL , Constraint Logic Programming |
|
913
One Index
|
Wadler, Philip PhD 0000-0001-7619-6378 |
272 docs (1975 - 2021)
Programming Language Semantics , Haskell , Description Logics , Type Inference , Model Checking |
|
912
One Index
|
Rabinowicz, Wlodek PhD 0000-0001-5910-0258 |
141 docs (1980 - 2024)
Value (mathematics) , Argument (complex analysis) , Decision-making , Reasoning , Utilitarianism |
|
911
One Index
|
Correia, Fabrice PhD 0000-0002-4840-8027 |
87 docs (1999 - 2024)
Modality (human–computer interaction) , Perception , Presentism , Justification , Philosophy of language |
