ADL and the State-Transition Model of Action

DOI10.1093/logcom/4.5.467zbMath0815.68105OpenAlexW2032905890MaRDI QIDQ4316292

E. P. D. Pednault

Publication date: 30 June 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.5.467

zbMATH Keywords

knowledge representationsituation calculusautomatic planning

Mathematics Subject Classification ID

Knowledge representation (68T30) Artificial intelligence (68T99)

Related Items

The Hybrid Plan Controller Construction for Trajectories in Sobolev Space, Sequential Monte Carlo in reachability heuristics for probabilistic planning, A Comprehensive Framework for Learning Declarative Action Models, A Fluent Calculus Semantics for ADL with Plan Constraints, Recursive definitions of tabular transformations, The Relative Power of Semantics and Unification, Formalizing sensing actions -- a transition function based approach, On transformation of conditional, conformant and parallel planning to linear programming, Actions over core-closed knowledge bases, Nonmonotonic causal theories, Representing the Zoo World and the Traffic World in the language of the Causal Calculator