Concrete results on abstract rules

DOI10.1007/978-3-642-40564-8_41MaRDI QIDQ2851271zbMATHOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

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)