Logic programming with non-monotonic semantics: representing knowledge and its computation

DOI10.1023/A:1018973904728MaRDI QIDQ1978005zbMATH OpenFDO

Authors

Publication date 7 June 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Logic programmingSpecial issueComputationNon-monotonic semanticsRepresenting knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited in

(8)

• scientific article; zbMATH DE number 520219 (Why is no real title available?)
• A unifying view for logic programming with non-monotonic reasoning
• scientific article; zbMATH DE number 35415 (Why is no real title available?)
• Extending Prolog with nonmonotonic reasoning
• scientific article; zbMATH DE number 1761414 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning
• scientific article; zbMATH DE number 2086328 (Why is no real title available?)
• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion

This page was built for publication: Logic programming with non-monotonic semantics: representing knowledge and its computation

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