Logic programs with monotone abstract constraint atoms

DOI10.1017/S147106840700302XzbMATH Open1142.68018OpenAlexW2054159566MaRDI QIDQ5451971FDOQ5451971

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

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

zbMATH Keywords

constraintsstable modelslogic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Knowledge Representation, Reasoning and Declarative Problem Solving

Cited In (20)

• Logic programs with abstract constraint atoms: the role of computations
• Answer Set Programming without Unstratified Negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Argumentation-Based Semantics for Logic Programs with First-Order Formulae
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Grounded fixpoints and their applications in knowledge representation
• Logic Programming and Nonmonotonic Reasoning
• Lparse Programs Revisited: Semantics and Representation of Aggregates
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• ASP (): Answer Set Programming with Algebraic Constraints
• Relating weight constraint and aggregate programs: semantics and representation
• Weight constraint programs with evaluable functions
• Properties and applications of programs with monotone and convex constraints
• Oscillating behavior of logic programs
• Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities

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)