Normative Systems Represented as Hybrid Knowledge Bases

DOI10.1007/978-3-642-22359-4_23zbMath1348.68252OpenAlexW4165075MaRDI QIDQ3092311

Martin Slota, Ana Sofia Gomes, Marco Alberti, João Leite, Ricardo Gonçalves

Publication date: 16 September 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Agent technology and artificial intelligence (68T42)

Related Items

Equivalence of defeasible normative systems ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Unnamed Item ⋮ Tractable reasoning using logic programs with intensional concepts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Local closed world reasoning with description logics under the well-founded semantics
• Attributive concept descriptions with complements
• Splitting and updating hybrid knowledge bases
• Argument-based extended logic programming with defeasible priorities
• Reconciling description logics and rules
• Towards closed world reasoning in dynamic open worlds
• The well-founded semantics for general logic programs
• Tabled evaluation with delaying for general logic programs