A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation

DOI10.1007/978-3-540-72200-7_6zbMath1149.68327OpenAlexW1537177650MaRDI QIDQ5425397

No author found.

Publication date: 13 November 2007

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72200-7_6

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items

The infinite-valued semantics: overview, recent results and future directions, A game semantics for disjunctive logic programming, A fixed point theorem for non-monotonic functions