|
10
|
Integrating Discrete and Continuous Change in a Logical Framework
– Javier Pinto
- 1997
|
|
1
|
Causal Action Theories and Satisfiability Planning
– Charles Hudson Turner
- 1998
|
|
7
|
The Complexity Of Querying Indefinite Information: Defined Relations, Recursion And Linear Order
– Ronald van der Meyden, L. T. Mccarty
- 1992
|
|
13
|
Knowledge Representation and Reasoning for Mixed-Initiative Planning
– George Montague Ferguson
- 1995
|
|
21
|
Occurrences and narratives as constraints in the branching structure of the situation calculus
– Javier A. Pinto, Escuela De Ingeniería, Católica Chile
- 1998
|
|
179
|
Actions and Events in Interval Temporal Logic
– James F. Allen, George Ferguson
- 1994
|
|
18
|
Formalizing Narratives Using Nested Circumscription
– Chitta Baral, Alfredo Gabaldon, Alessandro Provetti
- 1998
|
|
6
|
Representing and Reasoning about Concurrent Actions with Abductive Logic Programs
– Renwei Li, Luís Moniz Pereira, Lu'is Moniz Pereira
- 1997
|
|
38
|
A Survey on Temporal Reasoning in Artificial Intelligence
– Lluís Vila
- 1994
|
|
|
Artificial Intelligence: What Will They Think of Next?
– Douglas P. Metzler
|
|
32
|
Modality in Dialogue: Planning, Pragmatics and Computation
– Matthew Stone
- 1998
|
|
24
|
Causality in Commonsense Reasoning about Actions
– Norman Clayton McCain
- 1997
|
|
6
|
Representation of Temporal Knowledge for Web-based Applications
– Stephanie Spranger
- 2002
|
|
347
|
PDDL2.1: An extension to PDDL for expressing temporal planning domains
– Maria Fox, Derek Long
- 2003
|
|
26
|
Using Temporal Hierarchies to Efficiently Maintain Large Temporal Databases
– Thomas Dean
- 1989
|
|
137
|
Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions
– Lenhart K. Schubert
- 1990
|
|
202
|
Logic Programming and Knowledge Representation
– Chitta Baral, Michael Gelfond
- 1994
|
|
|
Planning with Declarative Formalizations of Heuristics for Action Selection
– Josefina Sierra-Santibáñez
|
|
3
|
Reasoning about Persistence: A Unified Principle for State Change
– Yan Zhang, Fangzhen Lin, Eliezer L. Lozinskii, Ray Reiter, Discussions Nicholas Asher, Andreas Herzig
- 1994
|
