An infinite-valued semantics for logic programs with negation

DOI10.1007/3-540-45757-7_38MaRDI QIDQ4708939zbMATH OpenFDO

Authors Panos Rondogiannis, W. W. Wadge

Publication date 20 June 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240456.htm

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Logic in artificial intelligence (68T27)

Recommendations

• Minimum model semantics for logic programs with negation-as-failure
• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
• scientific article; zbMATH DE number 549976
• The infinite-valued semantics: overview, recent results and future directions
• Programming in three-valued logic

Cited in

(7)

• Semantics of infinite tree logic programming
• An infinite-game semantics for well-founded negation in logic programming
• Synthesis of positive logic programs for checking a class of definitions with infinite quantification
• scientific article; zbMATH DE number 549976 (Why is no real title available?)
• The infinite-valued semantics: overview, recent results and future directions
• Minimum model semantics for logic programs with negation-as-failure
• A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

This page was built for publication: An infinite-valued semantics for logic programs with negation

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