- A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.details
|
|
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.details
|
|
Sciences of Observation.Chris Fields - 2018 - Philosophies 3 (4):29.details
|
|
A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415 - 448.details
|
|
The epistemological foundations of artificial agents.Nicola Lacey & M. Lee - 2003 - Minds and Machines 13 (3):339-365.details
|
|
A real‐world rational agent: unifying old and new AI.Paul F. M. J. Verschure & Philipp Althaus - 2003 - Cognitive Science 27 (4):561-590.details
|
|
A real‐world rational agent: unifying old and new AI.Paul F. M. J. Verschure & Philipp Althaus - 2003 - Cognitive Science 27 (4):561-590.details
|
|
The frame problem, the relevance problem, and a package solution to both.Yingjin Xu & Pei Wang - 2012 - Synthese 187 (S1):43-72.details
|
|
Extended inference modes in reasoning by computer systems.Terry Winograd - 1980 - Artificial Intelligence 13 (1-2):5-26.details
|
|
Form and content in semantics.Y. Wilks - 1990 - Synthese 82 (3):329-51.details
|
|
Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.details
|
|
Judgment aggregation in nonmonotonic logic.Xuefeng Wen - 2018 - Synthese 195 (8):3651-3683.details
|
|
An Information-Based Theory of Conditionals.Wayne Wobcke - 2000 - Notre Dame Journal of Formal Logic 41 (2):95-141.details
|
|
Intrinsic cognitive models.Jonathan A. Waskan - 2003 - Cognitive Science 27 (2):259-283.details
|
|
Knowledge of counterfactual interventions through cognitive models of mechanisms.Jonathan Waskan - 2008 - International Studies in the Philosophy of Science 22 (3):259 – 275.details
|
|
Directions in Connectionist Research: Tractable Computations Without Syntactically Structured Representations.Jonathan Waskan & William Bechtel - 1997 - Metaphilosophy 28 (1‐2):31-62.details
|
|
A logic of goal-directed knowing how.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.details
|
|
Framing robot arms control.Wendell Wallach & Colin Allen - 2013 - Ethics and Information Technology 15 (2):125-135.details
|
|
Uncharted Aspects of Human Intelligence in Knowledge-Based “Intelligent” Systems.Ronaldo Vigo, Derek E. Zeigler & Jay Wimsatt - 2022 - Philosophies 7 (3):46.details
|
|
How to progress a database III.Stavros Vassos & Hector J. Levesque - 2013 - Artificial Intelligence 195 (C):203-221.details
|
|
Review of Gorayska & Mey (2004): Cognition and Technology: Co-existence, Convergence and Co-Evolution. [REVIEW]Iris van Rooij - 2005 - Pragmatics and Cognition 13 (3):647-655.details
|
|
McCarthy variations in a modal key.Johan van Benthem - 2011 - Artificial Intelligence 175 (1):428-439.details
|
|
A non-representational approach to imagined action.I. van Rooij - 2002 - Cognitive Science 26 (3):345-375.details
|
|
Approximation of action theories and its application to conformant planning.Phan Huy Tu, Tran Cao Son, Michael Gelfond & A. Ricardo Morales - 2011 - Artificial Intelligence 175 (1):79-119.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.details
|
|
A logical theory of robot problem solving.Olga Štěpánková & Ivan M. Havel - 1976 - Artificial Intelligence 7 (2):129-161.details
|
|
Natural necessity: An introductory guide for ontologists.Fumiaki Toyoshima - 2020 - Applied ontology 15 (1):61-89.details
|
|
Reasoning agents in a dynamic world: The frame problem.Jozsef A. Toth - 1995 - Artificial Intelligence 73 (1-2):323-369.details
|
|
The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.details
|
|
Reasoning about actions: steady versus stabilizing state constraints.Michael Thielscher - 1998 - Artificial Intelligence 104 (1-2):339-355.details
|
|
Ramification and causality.Michael Thielscher - 1997 - Artificial Intelligence 89 (1-2):317-364.details
|
|
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.details
|
|
Inductive reasoning and chance discovery.Ahmed Y. Tawfik - 2004 - Minds and Machines 14 (4):441-451.details
|
|
Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5-6):723-753.details
|
|
Minds, machines, and evolution.Mark J. Stefik - 1985 - Artificial Intelligence 27 (2):237-245.details
|
|
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.details
|
|
A Uniform Theory of Conditionals.William B. Starr - 2014 - Journal of Philosophical Logic 43 (6):1019-1064.details
|
|
Embodying emotions: What emotion theorists can learn from simulations of emotions. [REVIEW]Matthew P. Spackman & David Miller - 2008 - Minds and Machines 18 (3):357-372.details
|
|
The owl and the electric encyclopedia.Brian Cantwell Smith - 1991 - Artificial Intelligence 47 (1-3):251-288.details
|
|
Representation and knowledge are not the same thing.Leslie Smith - 1999 - Behavioral and Brain Sciences 22 (5):784-785.details
|
|
Ontological realism: A methodology for coordinated evolution of scientific ontologies.Barry Smith & Werner Ceusters - 2010 - Applied ontology 5 (3):139-188.details
|
|
Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence.Aaron Sloman - 1971 - Artificial Intelligence 2 (3-4):209-225.details
|
|
Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.details
|
|
Heuristic planning: A declarative approach based on strategies for action selection.Josefina Sierra-Santibáñez - 2004 - Artificial Intelligence 153 (1-2):307-337.details
|
|
Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.details
|
|
Agent-oriented programming.Yoav Shoham - 1993 - Artificial Intelligence 60 (1):51-92.details
|
|
First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.details
|
|
Iterated belief change in the situation calculus.Steven Shapiro, Maurice Pagnucco, Yves Lespérance & Hector J. Levesque - 2011 - Artificial Intelligence 175 (1):165-192.details
|
|
Default reasoning about spatial occupancy.Murray Shanahan - 1995 - Artificial Intelligence 74 (1):147-163.details
|
|
A framework for knowledge-based temporal abstraction.Yuval Shahar - 1997 - Artificial Intelligence 90 (1-2):79-133.details
|
|