The following pages link to (Q2767097):
Displayed 9 items.
- Inductive situation calculus (Q1028914) (← links)
- Set based logic programming (Q1029592) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Semantics of templates in a compositional framework for building logics (Q4593008) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)