Foundations for the Situation Calculus

Foundations for the Situation Calculus (1998)

Cached

Download Links

[www.ep.liu.se]

by Hector Levesque , Fiora Pirri , Ray Reiter

Citations:

68 - 8 self

BibTeX

@MISC{Levesque98foundationsfor,
    author = {Hector Levesque and Fiora Pirri and Ray Reiter},
    title = {Foundations for the Situation Calculus},
    year = {1998}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1359	Some philosophical problems from the standpoint of artificial intelligence - McCarthy, Hayes - 1969
519	The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression - Reiter - 1991
452	GOLOG: a logic programming language for dynamic domains - Levesque, Pirri, et al. - 1997
322	A guide to completeness and complexity for modal logics of knowledge and belief - Halpern, Moses - 1992
293	A formal theory of knowledge and action - Moore - 1985
265	ADL: Exploring the middle ground between STRIPS and the situation calculus - Pednault - 1998
216	State constraints revisited - Lin, Reiter - 1994
184	Logics of Time and Computation - Goldblatt - 1992
182	Situations and actions and causal laws - McCarthy - 1963
164	The interactive museum tour-guide robot - Burgard, Cremers, et al. - 1998
162	What is planning in the presence of sensing - Levesque - 1996
137	Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions - Schubert - 1990
118	Temporal Reasoning in the Situation Calculus - Pinto - 1994
116	Natural actions, concurrency and continuous time in the situation calculus - Reiter - 1996
105	Proving properties of states in the situation calculus - Reiter - 1993
81	Some contributions to the metatheory of the situation calculus - Pirri, Reiter - 1999
77	Theorem Proving by Resolution as a Basis for Question Answering - Green - 1969
76	On Specifying Database Updates - Reiter - 1995
62	Reasoning about concurrent executions, prioritized interrupts, and exogenous action in the situation calculus - Giacomo, Levesque, et al. - 1997
48	A simple solution to the yale shooting problem - Baker - 1989
29	AOL: a logic of acting, sensing, knowing, and only knowing - Lakemeyer, Levesque - 1998
23	A situation calculus approach to modeling and programming agents - Lespérance, Levesque, et al. - 1999
15	Temporal GOLOG - Sequential - 1998
14	Towards a Formal Account of Diagnostic Problem Solving - McIlraith - 1997
13	The case for domain-speci c frame axioms - Haas - 1987
13	H.J.: Goals and Rational Action in the Situation Calculus - A Preliminary Report - Shapiro, Lespérance, et al. - 1995
9	Combining Narratives - MCCARTY, COSTELLO - 1998
7	Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem - Kelley - 1996
4	A logical approach to portable high-level robot programming - Jenkin, Lesperance, et al. - 1997
3	A logical approach tohighlevel robot programming { a progress report - Lesperance, Levesque, et al. - 1994
2	SCDBR: An automated reasoner for speci cations of database updates - Bertossi, Arenas, et al. - 1997