Comparing action descriptions based on semantic preferences

DOI10.1007/s10472-007-9077-yzbMath1125.68114OpenAlexW2063105154MaRDI QIDQ2457799

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

Publication date: 23 October 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.146

zbMATH Keywords

Action domain descriptionsSemantic preferencesTransition diagrams

Mathematics Subject Classification ID

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

Related Items (2)

Updating action domain descriptions ⋮ An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

Uses Software

• MaxSolver
• Smodels
• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Updating action domain descriptions
• Nonmonotonic causal theories
• Solving weighted CSP by maintaining arc consistency
• Nonmonotonic logic and temporal projection
• Gap-definable counting classes
• Closure properties and witness reduction
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• Comparing Action Descriptions Based on Semantic Preferences
• The complexity of logic-based abduction
• Computational Logic in Multi-Agent Systems

This page was built for publication: Comparing action descriptions based on semantic preferences