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

DOI10.1016/J.ARTINT.2003.08.002zbMATH Open1085.68679DBLPjournals/ai/AkmanELLT04OpenAlexW2146405821WikidataQ57699693 ScholiaQ57699693MaRDI QIDQ814554FDOQ814554

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

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

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

zbMATH Keywords

Knowledge representationAction languagesCommonsense reasoningReasoning about actions

Mathematics Subject Classification ID

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

Cites Work

• Nonmonotonic causal theories
• STRIPS: A new approach to the application of theorem proving to problem solving
• Getting to the airport: The oldest planning problem in AI
• ADL and the State-Transition Model of Action
• Title not available (Why is that?)

Cited In (15)

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

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)