M. Wooldridge, `Computationally grounded theories of agency', in Proceedings of ICMAS, International Conference of Multi-Agent Systems, ed., E. Durfee, IEEE Press, (2000). 10  Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, Lomuscio (2003) (Correct)
Grounding Knowledge and Action Selection in Agent-Based Systems - Alechina, Logan (Correct)
Investigations in Grounded Semantics for Multi-Agent Systems .. - Lomuscio, Sergot (2000) (1 citation) (Correct)
Towards Model Checking Interpreted Systems - Lomuscio, Raimondi, Sergot (2002) (1 citation) (Correct)
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
Unbounded Model Checking for Knowledge and Time - Kacprzak, Lomuscio, Penczek (2003) (Correct)
A Tool For Specification And Verification Of Epistemic.. - Raimondi, Lomuscio (2004) (3 citations) (Correct)
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
A Complete and Decidable Logic for Resource-Bounded Agents - Alechina, Logan, Whitsey (2004) (Correct)
Verification In Multi-Agent Systems - Raimondi (Correct)
Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
A Tool for Specification and Verification of Epistemic.. - Raimondi, Lomuscio (2003) (3 citations) (Correct)
Model Checking Epistemic Properties of Interpreted Systems - Raimondi (2003) (Correct)
Running AgentSpeak(L) Agents on SIM AGENT - Machado, Bordini (2001) (1 citation) (Correct)
Extending the Operational Semantics of a BDI - Agent-Oriented Programming.. (Correct)
A Complete and Decidable Logic for Resource-Bounded Agents - Alechina, Logan, Whitsey (2004) (Correct)
Socio-Cognitive Grids: A Partial ALFEBIITE Perspective - Pitt, Artikis (Correct)
Running AgentSpeak(L) Agents on SIM AGENT - Rodrigo Machado And (2001) (1 citation) (Correct)
Running AgentSpeak(L) Agents on SIM AGENT - Machado, Bordini (2001) (1 citation) (Correct)
A Computationally Grounded Logic of Visibility, Perception.. - Wooldridge, Al. (2001) (2 citations) Self-citation (Wooldridge) (Correct)
Model Checking Multi-Agent Systems with MABLE - Wooldridge, Fisher, Huget.. (2002) (27 citations) Self-citation (Wooldridge) (Correct)
A Computationally Grounded Logic of Visibility.. - Wooldridge, Lomuscio (2001) (2 citations) Self-citation (Wooldridge) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC