- Tense Logic and Ontology of Time.Avril Styrman - 2021 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.details
|
|
Epistemology and cognition.Stephen W. Smoliar - 1988 - Artificial Intelligence 34 (2):251-264.details
|
|
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning.Alan M. Frisch - 1991 - Artificial Intelligence 49 (1-3):161-198.details
|
|
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.details
|
|
The topology of boundaries.Margaret M. Fleck - 1996 - Artificial Intelligence 80 (1):1-27.details
|
|
Reasoning about causality between distributed nonatomic events.Ajay D. Kshemkalyani - 1997 - Artificial Intelligence 92 (1-2):301-315.details
|
|
Logical Theories of Intention and the Database Perspective.Yoav Shoham - 2009 - Journal of Philosophical Logic 38 (6):633-647.details
|
|
Events and time in a finite and closed world.Francis Y. Lin - 2000 - Nordic Journal of Philosophical Logic 5 (1):3-24.details
|
|
Similarity of legal cases: From temporal relations of affairs. [REVIEW]Satoshi Tojo & Katsumi Nitta - 1997 - Artificial Intelligence and Law 5 (1-2):161-176.details
|
|
Some considerations on non-linear time intervals.El?Bieta Hajnicz - 1995 - Journal of Logic, Language and Information 4 (4):335-357.details
|
|
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.details
|
|
(1 other version)Vision, knowledge, and the mystery link.John L. Pollock & Iris Oved - 2005 - Noûs 39 (1):309-351.details
|
|
Aristotelian Roots of Contemporary Tense Logic.Živilė Pabijutaitė & Pranciškus Gricius - 2024 - Studia Universitatis Babeş-Bolyai Philosophia 69 (2):65-79.details
|
|
Robotlar ve planlama.Varol Akman & Erkan Tin - 1993 - Elektrik Mühendisliği 391:37-43.details
|
|
Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.details
|
|
Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.details
|
|
Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
The Meaning and Interpretations of the Japanese Aspect Marker -te-i-.Nishiyama Atsuko - 2006 - Journal of Semantics 23 (2):185-216.details
|
|
``Defeasible Reasoning with Variable Degrees of Justification".John L. Pollock - 2001 - Artificial Intelligence 133 (1-2):233-282.details
|
|
How does a box work? A study in the qualitative dynamics of solid objects.Ernest Davis - 2011 - Artificial Intelligence 175 (1):299-345.details
|
|
Point algebras for temporal reasoning: Algorithms and complexity.Mathias Broxvall & Peter Jonsson - 2003 - Artificial Intelligence 149 (2):179-220.details
|
|
Reasoning agents in a dynamic world: The frame problem.Jozsef A. Toth - 1995 - Artificial Intelligence 73 (1-2):323-369.details
|
|
Causality as a key to the frame problem.Hideyuki Nakashima, Hitoshi Matsubara & Ichiro Osawa - 1997 - Artificial Intelligence 91 (1):33-50.details
|
|
Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscriptdetails
|
|
The Little Nell Problem: reasonable and resolute maintenance of agent intentions.Richmond H. Thomason - 2018 - Synthese 195 (1):433-440.details
|
|
Event, state, and process in arrow logic.Satoshi Tojo - 1999 - Minds and Machines 9 (1):81-103.details
|
|
A logic of intentions and beliefs.Munindar P. Singh & Nicholas M. Asher - 1993 - Journal of Philosophical Logic 22 (5):513 - 544.details
|
|
Efficient reasoning about rich temporal domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.details
|
|
From the textual description of an accident to its causes.Daniel Kayser & Farid Nouioua - 2009 - Artificial Intelligence 173 (12-13):1154-1193.details
|
|
The roles of associational and causal reasoning in problem solving.Reid G. Simmons - 1992 - Artificial Intelligence 53 (2-3):159-207.details
|
|
A comparison of point-based approaches to qualitative temporal reasoning.James Delgrande, Arvind Gupta & Tim Van Allen - 2001 - Artificial Intelligence 131 (1-2):135-170.details
|
|
Some considerations on branching areas of time.ElŻbieta Hajnicz - 1999 - Journal of Logic, Language and Information 8 (1):17-43.details
|
|
Domain-independent planning Representation and plan generation.David E. Wilkins - 1984 - Artificial Intelligence 22 (3):269-301.details
|
|
Building large knowledge-based systems: Representation and inference in the cyc project.Drew McDermott - 1993 - Artificial Intelligence 61 (1):53-63.details
|
|
Interpreting a dynamic and uncertain world: task-based control.Richard J. Howarth - 1998 - Artificial Intelligence 100 (1-2):5-85.details
|
|
The use of dynamics in an intelligent controller for a space faring rescue robot.Marcel Schoppers - 1995 - Artificial Intelligence 73 (1-2):175-230.details
|
|
World modeling for the dynamic construction of real-time control plans.David J. Musliner, Edmund H. Durfee & Kang G. Shin - 1995 - Artificial Intelligence 74 (1):83-127.details
|
|
Knowledge and communication: A first-order theory.Ernest Davis - 2005 - Artificial Intelligence 166 (1-2):81-139.details
|
|
Planning routes through uncertain territory.Drew McDermott & Ernest Davis - 1984 - Artificial Intelligence 22 (2):107-156.details
|
|
A syntactic theory of belief and action.Andrew R. Haas - 1986 - Artificial Intelligence 28 (3):245-292.details
|
|
Temporal data base management.Thomas L. Dean & Drew V. McDermott - 1987 - Artificial Intelligence 32 (1):1-55.details
|
|
Temporal logics in AI: Semantical and ontological considerations.Yoav Shoham - 1987 - Artificial Intelligence 33 (1):89-104.details
|
|
A critical examination of Allen's theory of action and time.Antony Galton - 1990 - Artificial Intelligence 42 (2-3):159-188.details
|
|
O-Plan: The open planning architecture.Ken Currie & Austin Tate - 1991 - Artificial Intelligence 52 (1):49-86.details
|
|
The token reification approach to temporal reasoning.Lluís Vila & Han Reichgelt - 1996 - Artificial Intelligence 83 (1):59-74.details
|
|
Temporal agent programs.Jürgen Dix, Sarit Kraus & V. S. Subrahmanian - 2001 - Artificial Intelligence 127 (1):87-135.details
|
|
Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Introduction: Progress in formal commonsense reasoning.Ernest Davis & Leora Morgenstern - 2004 - Artificial Intelligence 153 (1-2):1-12.details
|
|
Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.details
|
|
Problems in formal temporal reasoning.Yoav Shoham & Drew McDermott - 1988 - Artificial Intelligence 36 (1):49-61.details
|
|