Concrete results on abstract rules

DOI10.1007/978-3-642-40564-8_41zbMATH Open1405.68358OpenAlexW1582025563WikidataQ56988569 ScholiaQ56988569MaRDI QIDQ2851271FDOQ2851271

Authors: Markus Krötzsch, Despoina Magka, Ian Horrocks 

Publication date: 10 October 2013

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

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:7a29a4db-8968-4910-bf43-e42c7b97daab

Recommendations

• Back and Forth between Rules and SE-Models
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• A theory of nonmonotonic rule systems I
• scientific article; zbMATH DE number 1453070
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (2)

• Recent advances in Datalog\(^\pm \)
• On combining ontologies and rules

This page was built for publication: Concrete results on abstract rules

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