Logic programs with monotone abstract constraint atoms
From MaRDI portal
Publication:5451971
DOI10.1017/S147106840700302XzbMath1142.68018MaRDI QIDQ5451971
Miroslaw Truszczynski, Victor W. Marek, Ilkka Niemelä
Publication date: 27 March 2008
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68N17: Logic programming
Related Items
Answer Set Programming without Unstratified Negation, On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP, Lparse Programs Revisited: Semantics and Representation of Aggregates, Weight constraint programs with evaluable functions, Logic programs with abstract constraint atoms: the role of computations, Brave induction: a logical framework for learning from incomplete information, Relating weight constraint and aggregate programs: Semantics and representation, Oscillating Behavior of Logic Programs, Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
Uses Software
Cites Work