- Integrating actions and state constraints: A closed-form solution to the ramification problem.Sheila A. McIlraith - 2000 - Artificial Intelligence 116 (1-2):87-121.details
|
|
Umjetna inteligencija i kompatibilizam: mogućnost postanka slobodnog uma u determiniranom tijelu.Sandro Skansi - 2015 - Filozofska Istrazivanja 35 (3):407-414.details
|
|
(1 other version)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
|
|
Communicative Intentions and Conversational Processes in Human-Human and Human-Computer Dialogue.Matthew Stone - unknowndetails
|
|
The Yale shooting problem.Tim Fernando - manuscriptdetails
|
|
The semantics of variables in action descriptions.Vladimir Lifschitz & W. Ren - manuscriptdetails
|
|
John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.details
|
|
From systems to logic in the early development of nonmonotonic reasoning.Erik Sandewall - 2011 - Artificial Intelligence 175 (1):416-427.details
|
|
Formal methods in the design of question-answering systems.Erik Sandewall - 1971 - Artificial Intelligence 2 (2):129-145.details
|
|
Minds, machines, and evolution.Mark J. Stefik - 1985 - Artificial Intelligence 27 (2):237-245.details
|
|
Change in view.Ronald P. Loui - 1987 - Artificial Intelligence 34 (1):119-124.details
|
|
Maintaining mental models of agents who have existential misconceptions.Anthony S. Maida - 1991 - Artificial Intelligence 50 (3):331-383.details
|
|
M. Shanahan, Solving the Frame Problem☆☆MIT Press, Cambridge, MA, 1997. 410 pp. $55.00 (cloth). ISBN 0-262-19384-1. http://mitpress.mit.edu/book-home.tcl?isbn = 0262193841. [REVIEW]John McCarthy - 2000 - Artificial Intelligence 123 (1-2):269-270.details
|
|
What robots can do: robot programs and effective achievability.Fangzhen Lin & Hector J. Levesque - 1998 - Artificial Intelligence 101 (1-2):201-226.details
|
|
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.details
|
|
Can Ai be Intelligent?Kazimierz Trzęsicki - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):103-131.details
|
|
The frame problem, the relevance problem, and a package solution to both.Yingjin Xu & Pei Wang - 2012 - Synthese 187 (S1):43-72.details
|
|
Temporal propositions as regular languages.Tim Fernando - unknowndetails
|
|
Prolegomena to concise theories of action.Pavlos Peppas, Costas D. Koutras & Mary-Anne Williams - 2001 - Studia Logica 67 (3):403-418.details
|
|
A situated view of representation and control.Stanley J. Rosenschein & Leslie Pack Kaelbling - 1995 - Artificial Intelligence 73 (1-2):149-73.details
|
|
First-order logical filtering.Afsaneh Shirazi & Eyal Amir - 2011 - Artificial Intelligence 175 (1):193-219.details
|
|
Reasoning agents in a dynamic world: The frame problem.Jozsef A. Toth - 1995 - Artificial Intelligence 73 (1-2):323-369.details
|
|
Off-line reasoning for on-line efficiency: knowledge bases.Yoram Moses & Moshe Tennenholtz - 1996 - Artificial Intelligence 83 (2):229-239.details
|
|
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details
|
|
Aristotelian Society Supplementary Volume.Aaron Sloman - 1967 - In Aristotelian Society Supplementary Volume. Blackwell-Wiley. pp. 77-94.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Toward a general theory of representations.Aaron Sloman - 1994 - In Donald Peterson (ed.), Forms of representation: an interdisciplinary theme for Cognitive Science. Intellect Books. pp. 118-140.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
|
|
Causality as a key to the frame problem.Hideyuki Nakashima, Hitoshi Matsubara & Ichiro Osawa - 1997 - Artificial Intelligence 91 (1):33-50.details
|
|
Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.details
|
|
Directions in Connectionist Research: Tractable Computations Without Syntactically Structured Representations.Jonathan Waskan & William Bechtel - 1997 - Metaphilosophy 28 (1‐2):31-62.details
|
|
Proving Cleanthes wrong.Laureano Luna - 2021 - Journal of Applied Logic 8 (3):707-736.details
|
|
A unifying action calculus.Michael Thielscher - 2011 - Artificial Intelligence 175 (1):120-141.details
|
|
(1 other version)The logical foundations of goal-regression planning in autonomous agents.John L. Pollock - 1998 - Artificial Intelligence 106 (2):267-334.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Knowledge representation and commonsense reasoning: Reviews of four books.Leora Morgenstern - 2006 - Artificial Intelligence 170 (18):1239-1250.details
|
|
A Finite-State Approach to Event Semantics.Tim Fernando - unknowndetails
|
|
Reichenbach's e, R and S in a finite-state setting.Tim Fernando - manuscriptdetails
|
|
On the potential of non-classical constituency.W. F. G. Haselager - 1999 - Acta Analytica 144:23-42.details
|
|
Comic relief for anankastic conditionals.Tim Fernando - manuscriptdetails
|
|
Form and content in semantics.Y. Wilks - 1990 - Synthese 82 (3):329-51.details
|
|