Comparing action descriptions based on semantic preferences

DOI10.1007/S10472-007-9077-YzbMATH Open1125.68114OpenAlexW2063105154MaRDI QIDQ2457799FDOQ2457799

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

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

zbMATH Keywords

Action domain descriptionsSemantic preferencesTransition diagrams

Mathematics Subject Classification ID

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

Cites Work

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

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

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)