Pages that link to "Item:Q4916083"
From MaRDI portal
The following pages link to Planning with Effectively Propositional Logic (Q4916083):
Displaying 7 items.
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Intelligent Backtracking in Plan-Based Deduction (Q3727417) (← links)
- Planning as tabled logic programming (Q4592996) (← links)
- Decision-Theoretic Planning with Fuzzy Notions in GOLOG (Q4600555) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424878) (← links)