|
4
|
Logic and artificial intelligence
– Richmond H. Thomason
|
|
|
Ramifications: An Extension and Correspondence Result for the Event Calculus
– Jeremy Forth, Rob Miller
- 2007
|
|
2
|
Reasoning about action: An argumentation-theoretic approach
– Quoc Bao Vo, Norman Y. Foo
- 2005
|
|
1
|
Causal Action Theories and Satisfiability Planning
– Charles Hudson Turner
- 1998
|
|
5
|
An Assessment of Actions With Indeterminate And Indirect Effects in . . .
– Andreas Herzig, Ivan Varzinczak
- 2004
|
|
5
|
Metatheory of actions: beyond consistency
– Andreas Herzig, Ivan Varzinczak
|
|
20
|
EPDL: A Logic for Causal Reasoning
– Dongmo Zhang, Norman Foo, New South Wales
|
|
24
|
Causality in Commonsense Reasoning about Actions
– Norman Clayton McCain
- 1997
|
|
19
|
Two Components of An Action Language
– Vladimir Lifschitz
- 1996
|
|
21
|
Diagnostic reasoning with A-Prolog
– Michael Gelfond, Marcello Balduccini
- 2003
|
|
96
|
Answer Set Programming and Plan Generation
– Vladimir Lifschitz
- 2002
|
|
9
|
Domain Descriptions Should Be Modular
– Andreas Herzig, Ivan Varzinczak
|
|
39
|
A Logic of Universal Causation
– Hudson Turner
- 1999
|
|
13
|
Reasoning about Actions, Narratives and Ramifications
– Antonis Kakas, Rob Miller
- 1997
|
|
12
|
Consistency of Action Descriptions
– Dongmo Zhang, Samir Chopra, Norman Foo
- 2001
|
|
2
|
The Handbook of Knowledge Representation
– Patrick Doherty, Jonas Kvarnström
- 2008
|
|
16
|
Temporal action logics
– Patrick Doherty, Jonas Kvarnström
- 2008
|
|
|
Representing Action Domains with Numeric-Valued
– Esra Erdem, Alfredo Gabaldon
|
|
33
|
Relating Theories of Action and Reactive Control
– Chitta Baral, Son Cao Tran
- 1998
|
