Pages that link to "Item:Q3087449"
From MaRDI portal
The following pages link to Transition systems for model generators—A unifying approach (Q3087449):
Displaying 7 items.
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547) (← links)
- An inductive approach for modal transition system refinement (Q2909149) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Constraint answer set solver EZCSP and why integration schemas matter (Q4593093) (← links)
- Abstract Solvers for Computing Cautious Consequences of ASP programs (Q5108499) (← links)