Pages that link to "Item:Q5504679"
From MaRDI portal
The following pages link to Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679):
Displaying 19 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Loop-separable programs and their first-order definability (Q543631) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Equilibrium graphs (Q2317964) (← links)
- Metric temporal answer set programming over timed traces (Q2694559) (← links)
- Temporal Here and There (Q2835864) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Modular Paracoherent Answer Sets (Q2938513) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Modular Answer Set Programming as a Formal Specification Language (Q5140013) (← links)
- ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
- Quantified Equilibrium Logic and Foundations for Answer Set Programs (Q5504679) (← links)
- Abstraction for non-ground answer set programs (Q5919127) (← links)
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT (Q6063882) (← links)
