A. S. Rao and M. George#. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--344, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Model Checking Agent Dialogues - Christopher Walton Centre (Correct)
No context found.
A. S. Rao and M. George#. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--344, 1998.
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
No context found.
Rao A. S., and M. Georgeff (1998) Decision procedures for BDI logics, Journal of Logic and Computation 8(3), pp. 293--344.
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
No context found.
Rao A. S., and M. Georgeff (1998) Decision procedures for BDI logics, Journal of Logic and Computation 8(3), pp. 293--344.
AgentSpeak(XL): - Selection (Correct)
No context found.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--343, 1998.
Learning in BDI Multi-agent Systems - Alejandro Guerra-Hernandez Amal (Correct)
No context found.
Rao A.S., George#, M.P.: Decision procedures of BDI logics. Journal of Logic and Computation, 8(3):293--344 (1998)
Towards a Logic of Rational Agency - van der Hoek, Wooldridge (2003) (5 citations) (Correct)
No context found.
A. S. Rao and M. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-344, 1998.
Decision Procedure for a Fragment of Temporal Logic of .. - PLIUSKEVICIUS.. (2004) (Correct)
No context found.
Rao, A.S., M.P. Georgeff, "Decision procedures for BDI logics", Journal of Logic and Computation, vol. 8 (3), pp. 292--343, 1998.
Coo-BDI: Extending the BDI Model with Cooperativity - Ancona, Mascardi (2003) (Correct)
No context found.
A. S. Rao and M. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293 - 342, 1998.
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
No context found.
A. S. Rao and M. P. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-343, June 1998.
A tableux system for Deontic Interpreted Systems - Governatori, Lomuscio, Sergot (Correct)
No context found.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--343, June 1998.
Specifying Multiagent Organizations - van der Torre, Hulstijn, Dastani.. (2004) (Correct)
No context found.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--343, 1998.
Reasoning about Knowledge and Belief: A Syntactical Treatment - Fasli (2002) (3 citations) (Correct)
No context found.
A. Rao and M. George. Decision procedures for bdi logics. journal of Logic and Computation, 8(3):293--343, 1998.
On Commitments, Roles and Obligations - Fasli (2001) (Correct)
No context found.
A.Rao and M.George (1998). Decision Procedures for BDI Logics. Journal of Logic and Computation, 8(3), pp. 293-343.
State-Space Reduction Techniques in Agent Verification - Rafael Bordini Michael (2004) (Correct)
No context found.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. J. Logic and Computation, 8(3):293--343, 1998.
Learning in BDI Multi-agent Systems - Alejandro Guerra-Hernandez Amal (Correct)
No context found.
Rao A.S., George#, M.P.: Decision procedures of BDI logics. Journal of Logic and Computation, 8(3):293--344 (1998)
An Axiomatization of Prior's Ockhamist Logic of Historical.. - Reynolds (2003) (Correct)
No context found.
A. Rao and M. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-342, 1998.
Using the BDI Architecture to Produce - Autonomous Characters In (2003) (Correct)
No context found.
Rao, A. S. and Georgeff, M. P. 1998. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--343.
Specifying and Verifying the Game Cluedo Using Temporal Logics of.. - Dixon (2004) (Correct)
No context found.
A. S. Rao and M. P. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-342, 1998.
Dialogue Protocols for Multi-Agent Systems - Walton (2003) (Correct)
No context found.
A. S. Rao and M. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-344, 1998.
Decisions, Deliberation, and Agent Types CDT - QDT - BDI.. - Dastani, van der Torre (Correct)
No context found.
A. Rao and M. George#. Decision procedures for BDI logics. Journal of Logic and Computation, 8:293--342, 1998.
Specifying Multiagent Organizations - van der Torre, Hulstijn, Dastani.. (2004) (Correct)
No context found.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--343, 1998.
Permission and Authorization in Policies for Virtual.. - Boella, van der Torre (Correct)
No context found.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293--343, June 1998.
What is a Normative Goal? Towards Goal-based Normative.. - Dastani, van der Torre (Correct)
No context found.
A. S. Rao and M. P. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8:293--342, 1998.
Multi-Agent Dialogue Protocols - Walton (2003) (Correct)
No context found.
A. S. Rao and M. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-344, 1998.
Specifying the Merging of Desires into Goals - In The Context (Correct)
No context found.
A.S. Rao and M.P. George . Decision procedures for BDI logics. Journal of Logic and Computation, 8(3):293-342, 1998.
First 50 documents Next 50
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