scientific article; zbMATH DE number 778204

MaRDI QIDQ4840654zbMATH OpenFDO

Authors Thomas J. Weigert

Publication date 16 April 1996

zbMATH Keywords

model-theoretic semanticsnonmonotonic Horn-clause logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• A theory of nonmonotonic rule systems. II
• scientific article; zbMATH DE number 520219
• scientific article; zbMATH DE number 517025
• A theory of nonmonotonic rule systems I
• An overview of nonmonotonic reasoning and logic programming

Cited in

(6)

• Non-Horn clause logic programming without contrapositives
• On renaming a set of clauses as a Horn set
• Extending Horn clause logic with implication goals
• Non-Horn clause logic programming
• scientific article; zbMATH DE number 1841812 (Why is no real title available?)
• Predicate Completion for non-Horn Clause Sets

This page was built for publication:

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