Pages that link to "Item:Q854966"
From MaRDI portal
The following pages link to Answer set based design of knowledge systems (Q854966):
Displaying 12 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)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- Dual-normal logic programs – the forgotten class (Q4592993) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- Constraint Answer Set Solving (Q4649733) (← links)
- Action-Centered Information Retrieval (Q4957195) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
