Pages that link to "Item:Q854966"
From MaRDI portal
The following pages link to Answer set based design of knowledge systems (Q854966):
Displaying 6 items.
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Selection of search strategies for solving 3-SAT problems (Q2511762) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
