Representing the Zoo World and the Traffic World in the language of the Causal Calculator

DOI10.1016/J.ARTINT.2003.08.002MaRDI QIDQ814554zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Varol Akman, Selim T. Erdoğan, Joohyung Lee, Vladimir Lifschitz, Hudson Turner

Publication date 7 February 2006

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11693/11269

zbMATH Keywords

Knowledge representationAction languagesCommonsense reasoningReasoning about actions

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Representing the language of the causal calculator in answer set programming
• Distant causation in \(\mathcal C+\)
• scientific article; zbMATH DE number 1929151
• Nonmonotonic causal theories
• Two components of an action language

Cites work

• scientific article; zbMATH DE number 1950647 (Why is no real title available?)
• ADL and the State-Transition Model of Action
• Getting to the airport: The oldest planning problem in AI
• Nonmonotonic causal theories
• STRIPS: A new approach to the application of theorem proving to problem solving

Cited in

(15)

• Agent strands in the action language \(n\mathcal C +\)
• Toward Question Answering in Travel Domains
• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
• Representing first-order causal theories by logic programs
• A probabilistic interval-based event calculus for activity recognition
• An executable specification of a formal argumentation protocol
• Probabilistic event calculus for event recognition
• Applications of action languages in cognitive robotics
• Nonmonotonic causal theories
• Action models for conditionals
• Modular action language \(\mathcal{ALM}\)
• Updating action domain descriptions
• On the relationship between two modular action languages: a translation from MAD into \(\mathcal {ALM}\)
• Functional completion
• Loop formulas for circumscription

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: Representing the Zoo World and the Traffic World in the language of the Causal Calculator

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814554)