Representing the Zoo World and the Traffic World in the language of the Causal Calculator
From MaRDI portal
Publication:814554
DOI10.1016/j.artint.2003.08.002zbMath1085.68679WikidataQ57699693 ScholiaQ57699693MaRDI QIDQ814554
Vladimir Lifschitz, Joohyung Lee, Hudson Turner, Varol Akman, 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
Related Items
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints, Updating action domain descriptions, Nonmonotonic causal theories, Agent strands in the action language \(n\mathcal C +\), An executable specification of a formal argumentation protocol, Loop formulas for circumscription, Applications of Action Languages in Cognitive Robotics, Toward Question Answering in Travel Domains
Uses Software
Cites Work