Pages that link to "Item:Q2694560"
From MaRDI portal
The following pages link to Epistemic logic programs: a study of some properties (Q2694560):
Displaying 5 items.
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Logics for epistemic programs (Q2431873) (← links)
- (Q4713374) (← links)