Two components of an action language

DOI10.1023/A:1018973620715zbMath0890.68027OpenAlexW1757148883MaRDI QIDQ1376092

Vladimir Lifschitz

Publication date: 9 June 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018973620715

zbMATH Keywords

transition systemaction query languagehigh-level action languages

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Related Items

Applications of Action Languages in Cognitive Robotics, A preferential semantics for causal reasoning about action, Representing action: indeterminacy and ramifications, Formalization of reasoning about default action (preliminary report), Formalizing sensing actions -- a transition function based approach