Towards closed world reasoning in dynamic open worlds

DOI10.1017/S147106841000027XzbMath1209.68099OpenAlexW3102659918MaRDI QIDQ3585167

João Leite, Martin Slota

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s147106841000027x

zbMATH Keywords

ruleshybrid knowledge basesdescription logicsbelief changeanswer set programmingontologiessemantic webbelief update

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Internet topics (68M11)

Related Items (5)

A Unifying Perspective on Knowledge Updates ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ On combining ontologies and rules ⋮ A semantic approach for web reasoning ⋮ Normative Systems Represented as Hybrid Knowledge Bases

Cites Work

• Revision programming
• Propositional belief base update and minimal change
• Semantic forgetting in answer set programming
• The refinement extension principle for semantics of dynamic logic programming
• On the logic of theory change: Partial meet contraction and revision functions
• Dynamic updates of non-monotonic knowledge bases
• Strongly equivalent logic programs
• Unnamed Item

This page was built for publication: Towards closed world reasoning in dynamic open worlds