The following pages link to (Q4434167):
Displayed 4 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits (Q2389669) (← links)