Pages that link to "Item:Q2372188"
From MaRDI portal
The following pages link to A verification framework for agent programming with declarative goals (Q2372188):
Displaying 8 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Where logic and agents meet (Q657584) (← links)
- Agent planning programs (Q899440) (← links)
- 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)
- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages (Q3601786) (← links)
- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming (Q3601793) (← links)
- GOAL Agents Instantiate Intention Logic (Q5900403) (← links)
