B. van Linder. Modal Logics for Rational Agents. PhD thesis, Utrecht University, 1996. To appear. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Dialogue in Team Formation: A Formal Approach - Dignum (1999) (4 citations) (Correct)
....pairs is de ned in the obvious manner inspired by CTL and epistemic logic. able(b; if is in a pre given set of agent b s abilities. opp(b; is true in a world and a state if there is a branch through that state such that at a later point on that branch, agent b has just seen to it that . In [10] more formal de nitions are given for ability and opportunity based on dynamic logic. The spirit of these de nitions is captured in the ones given above except that we use states instead of actions. As to commitments strategies, the strongest one is followed by the blindly committed agent, who ....
B. van Linder. Modal Logics for Rational Agents, Ph.D. thesis, Rijks Universiteit Utrecht, 1996.
The Dynamics of Default Reasoning - Van Linder Van (1995) Self-citation (Van linder) (Correct)
No context found.
B. van Linder. Modal Logics for Rational Agents. PhD thesis, Utrecht University, 1996. To appear.
Deciding Agent Logics - From KARO to WSnS - Hirsch (2001) (Correct)
No context found.
Bernd van Linder. Modal Logics for Rational Agents. PhD thesis, Universiteit Utrecht, 1996.
On Programming KARO Agents - Meyer, De Boer, Van Eijk, Hindriks.. (2001) (1 citation) (Correct)
No context found.
B. van Linder, Modal Logics for Rational agents, PhD. Thesis, Utrecht University, 1996.
On Programming KARO Agents - Meyer, de Boer, van Eijk, Hindriks.. (2001) (1 citation) (Correct)
No context found.
B. van Linder, Modal Logics for Rational agents, PhD. Thesis, Utrecht University, 1996.
Motivational Attitudes of Agents: On Desires, Obligations.. - Dignum, Kinny, Sonenberg (Correct)
No context found.
B. van Linder. Modal Logics for Rational Agents, PhD thesis, 1996, University of Utrecht.
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