Pages that link to "Item:Q4209286"
From MaRDI portal
The following pages link to Engineering AgentSpeak(L): a formal computational model (Q4209286):
Displaying 9 items.
- Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L) (Q702110) (← links)
- Intelligent agents II, Agent theories, architectures, and languages. IJCAI '95 workshop (ATAL), Montréal, Canada, August 19-20, 1995. Proceedings (Q1910806) (← links)
- Reasoning about rational agents (Q2756785) (← links)
- LASS -- a language for agent-oriented software specification (Q2763595) (← links)
- Language design issues for agents based on linear logic (extended abstract) (Q2844922) (← links)
- A formal framework for interactive agents (Q2864512) (← links)
- On the testability of BDI agent systems (Q2921077) (← links)
- CTL AgentSpeak(L): A specification language for agent programs (Q3631320) (← links)
- Computational Logic in Multi-Agent Systems (Q5464682) (← links)