The following pages link to (Q3007261):
Displayed 17 items.
- Program equilibrium -- a program reasoning approach (Q361805) (← links)
- Stable models and circumscription (Q543596) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- A generalization of the Lin-Zhao theorem (Q854963) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Quantum approaches to graph colouring (Q1004074) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Inferring phylogenetic trees using answer set programming (Q2467563) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming (Q5458423) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)