Representing transition systems by logic programs
From MaRDI portal
Recommendations
- Representing actions in logic programs and default theories a situation calculus approach
- Representing action and change by logic programs
- Action languages, answer sets, and planning
- Transformations of logic programs related to causality and planning
- From causal theories to logic programs (sometimes)
Cited in
(20)- Answer set programming and plan generation
- Logic of transition systems
- Translation of interactive Datalog programs for microcontrollers to finite state machines
- First-order stable model semantics with intensional functions
- Tiling transactions in rewriting logic
- Applications of action languages in cognitive robotics
- Transition Logic Revisited
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
- scientific article; zbMATH DE number 2000825 (Why is no real title available?)
- Achievements in answer set programming
- Action languages, answer sets, and planning
- Transformations of logic programs related to causality and planning
- Computing the well-founded semantics faster
- Automated Deduction – CADE-19
- Labelled transition logic: An outline
- Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
- Answer set planning: a survey
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Modeling biological networks by action languages via answer set programming
This page was built for publication: Representing transition systems by logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4955331)
