Updating action domain descriptions

DOI10.1016/j.artint.2010.07.004zbMath1225.68251OpenAlexW2013831071WikidataQ38496874 ScholiaQ38496874MaRDI QIDQ622109

Esra Erdem, Ján Senko, Michael Fink, Thomas Eiter

Publication date: 31 January 2011

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2010.07.004

zbMATH Keywords

knowledge representationtheory changeaction languagesreasoning about actions and changepreference-based semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (9)

Dynamic Reasoning Systems ⋮ Applications of Action Languages in Cognitive Robotics ⋮ A description logic based situation calculus ⋮ Modular action language ⋮ Updating action domain descriptions ⋮ CTL update of Kripke models through protections ⋮ Comparing action descriptions based on semantic preferences ⋮ Foundations of explanations as model reconciliation ⋮ Metatheory of actions: beyond consistency

Uses Software

• CCalc

Cites Work

• Updating action domain descriptions
• On the revision of preferences and rational inference processes
• Nonmonotonic causal theories
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• The complexity of optimization problems
• A unified model of qualitative belief change: a dynamical systems perspective
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Nonmonotonic reasoning: From complexity to algorithms
• The complexity of belief update
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• Belief revision: A critique
• A textbook of belief dynamics. Theory change and database updating
• Knowledge updates: Semantics and complexity issues
• Comparing action descriptions based on semantic preferences
• Knowledge-level analysis of belief base operations
• Bounded Query Classes
• Comparing Action Descriptions Based on Semantic Preferences
• On the logic of theory change: Partial meet contraction and revision functions
• A Unified View of Belief Revision and Update
• Dynamic updates of non-monotonic knowledge bases
• Merging Logic Programs under Answer Set Semantics
• An abductive framework for computing knowledge base updates
• A logic programming approach to knowledge-state planning
• Logic Programming and Nonmonotonic Reasoning
• Computational Logic in Multi-Agent Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Updating action domain descriptions