Logic Programming and Nonmonotonic Reasoning

DOI10.1007/b94792zbMath1122.68381OpenAlexW4214677882MaRDI QIDQ5424872

Victor W. Marek, Jeffery B. Remmel

Publication date: 7 November 2007

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

Full work available at URL: https://doi.org/10.1007/b94792

Mathematics Subject Classification ID

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

Related Items

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory, Disjunctive Programs with Set Constraints, Recursive rules with aggregation: a simple unified semantics, Stepwise debugging of answer-set programs, Logic programs with abstract constraint atoms: the role of computations, Semantics and complexity of recursive aggregates in answer set programming, My work with Victor Marek: a mathematician looks at answer set programming, Vicious circle principle, aggregates, and formation of sets in ASP based languages, On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP, Lparse Programs Revisited: Semantics and Representation of Aggregates, Logic programming with infinite sets