A tool for answering queries on action descriptions

Authors:
Thomas Eiter;Michael Fink;Ján Senko
Affiliations:
Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria;Institute of Information Systems, Vienna University of Technology, Vienna, Austria
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 2
Cited 3

An action language based on causal explanation: preliminary report

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Resolving Conflicts in Action Descriptions

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy

The DLV Project: A Tour from Theory and Research to Applications and Market

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Error classification in action descriptions: a heuristic approach

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Updating action domain descriptions

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Action languages [1] are a formal tool for reasoning about actions, where an agent's knowledge about a domain in question is represented by a declarative action description that consists of logical formulas.