A deductive solution for plan generation
New Generation Computing
SOAR: an architecture for general intelligence
Artificial Intelligence
Theoretical Computer Science
New Generation Computing
Reasoning about action I: a possible worlds approach
Artificial Intelligence
A deductive solution for plan generation
Foundations of knowledge base management
Frames in the space of situations (research note)
Artificial Intelligence
A new deductive approach to planning
New Generation Computing
Logic and artificial intelligence
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
SETHEO: a high-performance theorem prover
Journal of Automated Reasoning
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Disjunction in resource-oriented deductive planning
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Computational research on interaction and agency
Artificial Intelligence - Special volume on computational research on interaction and agency, part 1
Towards an adequate theorem prover based on the connection method
AIICSR'94 Proceedings of the sixth international conference on Artificial intelligence and information-control systems of robots
Artificial Intelligence
Encyclopedia of Artificial Intelligence
Encyclopedia of Artificial Intelligence
Logic for Problem Solving
Automated Deduction Techniques for Classification in Description Logic Systems
Journal of Automated Reasoning
Generating Plans in Linear Logic
Proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science
Plan Generation by Linear Proofs: On Semantics
GWAI '89 Proceedings of the 13th German Workshop on Artificial Intelligence
An Abstract Machine for Reasoning about Situations, Actions, and Causality
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Towards State Update Axioms: Reifying Successor State Axioms
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
linTAP: A Tableau Prover for Linear Logic
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
| Hi-index | 0.00 |
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneity, indeterminism etc.) involved in planning can be modelled in TL in a rather natural way. (The deductive formalism for) TL extends the linear connection method proposed earlier by the author by embedding the latter into classical logic, so that classical and resource-sensitive reasoning coexist within TL. The attraction of a logical and deductive approach to planning is emphasised and the state of automated deduction briefly described.