MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "AgentSpeak(L) BDI Agents Speak Out in a Logical Computable Language." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

AgentSpeak(L): BDI Agents speak out in a logical computable language
by Anand S. Rao — 1996
…AgentSpeak(L): BDI Agents speak out in a logical computable language Anand S. Rao Australian…
Cited by 293 (2 self) – Add To MetaCart

AgentSpeak(L): BDI Agents speak out in a logical computable language
by Anand Rao Australian, Anand S. Rao — 1996
…AgentSpeak(L): BDI Agents speak out in a logical computable language Anand S. Rao Australian…
Add To MetaCart

Model Checking Epistemic Properties of Interpreted Systems
by Franco Raimondi — 2003 — In Proceedings of ESSLLI03 - Student Session
… and temporal properties of multi-agent system. Submitted, 2003. [20] A. S. Rao. AgentSpeak(L): BDI agents speak…
Cited by 1 (1 self) – Add To MetaCart

Automating Defeasible Reasoning with Logic Programming (DeReLop)
by Jürgen Dix, Jürgen Dix (project Leader, Guillermo R. Simari, eta l., Frieder Stolzenburg, Guillermo R. Simari (project Leader, Pablo R. Fillottrani — 1999
… Notes on AI. Springer Verlag, Berlin, 1998. [Rao96] Anand S. Rao. AgentsSpeak(L): BDI agents speak out…
Cited by 6 (4 self) – Add To MetaCart

AgentSpeak(L): BDI Agents speak out in a logical
by Computable Language Anand, Anand S. Rao — 1996
…AgentSpeak(L): BDI Agents speak out in a logical computable language Anand S. Rao Australian…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB