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

(22)

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

Describes a project that uses

Uses Software

• Lparse
• Smodels
• PBS
• ASSAT

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)