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

DOI10.1016/j.artint.2003.08.002zbMath1085.68679DBLPjournals/ai/AkmanELLT04OpenAlexW2146405821WikidataQ57699693 ScholiaQ57699693MaRDI QIDQ814554

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

zbMATH Keywords

Commonsense reasoningKnowledge representationAction languagesReasoning about actions

Mathematics Subject Classification ID

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

Related Items (15)

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

Uses Software

• CCalc

Cites Work

• Nonmonotonic causal theories
• STRIPS: A new approach to the application of theorem proving to problem solving
• ADL and the State-Transition Model of Action
• Unnamed Item
• Unnamed Item

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