Comparing action descriptions based on semantic preferences

DOI10.1007/S10472-007-9077-YMaRDI QIDQ2457799zbMATH OpenOpenAlexFDO

Authors Thomas Eiter, Esra Erdem, 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

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

Recommendations

• Comparing Action Descriptions Based on Semantic Preferences
• scientific article; zbMATH DE number 1490024
• Comparing syntactic and semantic action refinement
• scientific article; zbMATH DE number 1630023
• Action Semantics in Retrospect
• Publication:5750408
• scientific article; zbMATH DE number 1696569

Cites work

• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1784994 (Why is no real title available?)
• scientific article; zbMATH DE number 1890628 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• Closure properties and witness reduction
• Comparing Action Descriptions Based on Semantic Preferences
• Computational Logic in Multi-Agent Systems
• Gap-definable counting classes
• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• Nonmonotonic causal theories
• Nonmonotonic logic and temporal projection
• Solving weighted CSP by maintaining arc consistency
• The complexity of logic-based abduction
• Updating action domain descriptions

Cited in

(3)

• An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
• Comparing Action Descriptions Based on Semantic Preferences
• Updating action domain descriptions

Describes a project that uses

Uses Software

• MaxSolver
• Smodels
• CCalc

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2457799)