Ordered completion for logic programs with aggregates

DOI10.1016/J.ARTINT.2015.03.007MaRDI QIDQ892233zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 18 November 2015

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2015.03.007

zbMATH Keywords

answer set programmingfirst-order logicknowledge representationreasoninglogic programmingaggregates

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• Ordered completion for first-order logic programs on finite structures
• Properties and applications of programs with monotone and convex constraints
• Well-founded and stable semantics of logic programs with aggregates
• Semantics and complexity of recursive aggregates in answer set programming
• Logic Programming and Nonmonotonic Reasoning

Cites work

• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• A Constructive semantic characterization of aggregates in answer set programming
• Answer sets for logic programs with arbitrary abstract constraint atoms
• Design and implementation of aggregate functions in the DLV system
• Extending and implementing the stable model semantics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic for Programming, Artificial Intelligence, and Reasoning
• Logic programs with propositional connectives and aggregates
• Logic programs with stable model semantics as a constraint programming paradigm
• Modular nonmonotonic logic programming revisited
• On Reductive Semantics of Aggregates in Answer Set Programming
• On the Complexity of Answer Set Programming with Aggregates
• On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
• Ordered completion for first-order logic programs on finite structures
• Properties and applications of programs with monotone and convex constraints
• Semantics and complexity of recursive aggregates in answer set programming
• Stable models and circumscription
• The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
• Well-founded and stable semantics of logic programs with aggregates

Cited in

(8)

• Properties and applications of programs with monotone and convex constraints
• Loop-separable programs and their first-order definability
• Ordered completion for first-order logic programs on finite structures
• A progression semantics for first-order logic programs
• scientific article; zbMATH DE number 1890623 (Why is no real title available?)
• First-order stable model semantics with intensional functions
• Paracoherent answer set computation
• Determining inference semantics for disjunctive logic programs

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Ordered completion for logic programs with aggregates

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