The following pages link to Logic Programming (Q5475780):
Displaying 5 items.
- Logic programming as classical inference (Q898781) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
- Integrating Inductive Definitions in SAT (Q3498482) (← links)
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions (Q3502709) (← links)
