Back and Forth between Rules and SE-Models

DOI10.1007/978-3-642-20895-9_16MaRDI QIDQ3003253zbMATH OpenOpenAlexFDO

Authors Martin Slota, João Leite

Publication date 26 May 2011

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20895-9_16

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• The rise and fall of semantic rule updates based on SE-models
• scientific article; zbMATH DE number 4005604
• scientific article; zbMATH DE number 1303444
• scientific article; zbMATH DE number 1453070
• Relating models of backtracking
• Back and forth between guarded and modal logics

Cited in

(6)

• Concrete results on abstract rules
• A Unifying Perspective on Knowledge Updates
• Sound and complete inference rules for SE-consequence
• A syntactic operator for forgetting that satisfies strong persistence
• A brief history of updates of answer-set programs
• On updates of hybrid knowledge bases composed of ontologies and rules

This page was built for publication: Back and Forth between Rules and SE-Models

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