Logic programs with monotone abstract constraint atoms

DOI10.1017/S147106840700302XMaRDI QIDQ5451971zbMATH OpenOpenAlexFDO

Authors Wiktor Marek, Mirosław Truszczyński, Ilkka Niemelä

Publication date 27 March 2008

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s147106840700302x

zbMATH Keywords

constraintsstable modelslogic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• Properties and applications of programs with monotone and convex constraints
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Logic Programming and Nonmonotonic Reasoning
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms

Cites work

• Knowledge Representation, Reasoning and Declarative Problem Solving

Cited in

(20)

• scientific article; zbMATH DE number 1844513 (Why is no real title available?)
• scientific article; zbMATH DE number 1884402 (Why is no real title available?)
• Weight constraint programs with evaluable functions
• \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
• Properties and applications of programs with monotone and convex constraints
• Argumentation-based semantics for logic programs with first-order formulae
• Oscillating behavior of logic programs
• Brave induction: a logical framework for learning from incomplete information
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Logic programs with abstract constraint atoms: the role of computations
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
• Answer Set Programming without Unstratified Negation
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Relating weight constraint and aggregate programs: semantics and representation
• Anytime answer set optimization via unsatisfiable core shrinking
• Logic Programming and Nonmonotonic Reasoning
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Lparse Programs Revisited: Semantics and Representation of Aggregates
• Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
• Grounded fixpoints and their applications in knowledge representation

Describes a project that uses

Uses Software

• ASSAT
• PBS
• Smodels
• Lparse

This page was built for publication: Logic programs with monotone abstract constraint atoms

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