The following pages link to (Q3379040):
Displayed 6 items.
- HTN-like solutions for classical planning problems: an application to BDI agent systems (Q1727994) (← links)
- Reasoning about Agent Programs Using ATL-Like Logics (Q2915090) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- (Q5087787) (← links)
- About Epistemic Negation and World Views in Epistemic Logic Programs (Q5108503) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)