Pages that link to "Item:Q5451971"

The following pages link to Logic programs with monotone abstract constraint atoms (Q5451971):

Displaying 14 items.

• Weight constraint programs with evaluable functions (Q645084) (← links)
• Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
• Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
• Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
• Relating weight constraint and aggregate programs: Semantics and representation (Q2845120) (← links)
• Oscillating Behavior of Logic Programs (Q2900531) (← links)
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
• Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
• Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
• (Q5020979) (← links)
• ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
• Answer Set Programming without Unstratified Negation (Q5504649) (← links)
• On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
• Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)