scientific article; zbMATH DE number 1931681

MaRDI QIDQ4708939zbMATH OpenFDO

Authors Panos Rondogiannis, W. W. Wadge

Publication date 20 June 2003

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:

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