Pages that link to "Item:Q4659506"
From MaRDI portal
The following pages link to Event Calculus Reasoning Through Satisfiability (Q4659506):
Displaying 5 items.
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- Event calculus and temporal action logics compared (Q2457610) (← links)
- An event calculus production rule system for reasoning in dynamic and uncertain domains (Q4593031) (← links)
