Pages that link to "Item:Q5424875"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424875):
Displaying 9 items.
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Ordered completion for logic programs with aggregates (Q892233) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach (Q2642629) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory (Q5038459) (← links)