John-Jules Meyer, Frank De Boer, Rogier Van Eijk, Koen Hindriks, Wiebe Van Der Hoek  Home/Search
Context Related
| www3.oup.co.uk/igpl/Volume_...Meyer.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www3.oup.co.uk/igpl/Volum...#Wong (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: After having defined the KARO logic for specifying intelligent agents (an amalgam of various modal logics to reason about both informational and motivational attitudes of agents) in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic. (Update)
Cited by: More
Deciding Agent Logics - From KARO to WSnS - Hirsch (2001) (Correct)
Active bibliography (related documents): More All
5.6: On Programming KARO Agents - Meyer, de Boer, van Eijk, Hindriks.. (2001) (Correct)
1.6: Dynamic Logic Reasoning about Actions and Agents - Meyer (1999) (Correct)
0.3: Reasoning about Knowledge and Belief: A Syntactical Treatment - Fasli (2002) (Correct)
Similar documents based on text: More All
0.6: Failure Semantics for the Exchange of Information.. - de Boer, van.. (2000) (Correct)
0.5: Translations of Vocabularies in Systems of.. - van Eijk, de Boer.. (1998) (Correct)
0.4: Generalised Object-Oriented Concepts for Inter-Agent .. - van Eijk, de Boer.. (2001) (Correct)
BibTeX entry: (Update)
John-Jules Ch. Meyer, Frank de Boer, Rogier van Eijk, Koen Hindriks, and Wiebe van der Hoek. On programming Karo agents. Logic Journal of the IGPL, 9(22):261-272, 2001. http://citeseer.ist.psu.edu/meyer01programming.html More
@misc{ ch01programming,
author = "J. Ch and M. Frank and d Rogier and v Koen and H. Wiebe",
title = "On programming Karo agents",
text = "John-Jules Ch. Meyer, Frank de Boer, Rogier van Eijk, Koen Hindriks, and
Wiebe van der Hoek. On programming Karo agents. Logic Journal of the IGPL,
9(22):261-272, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/meyer01programming.html" }
Citations (may not include all citations):604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
453 Agent-Oriented Programming (context) - Shoham - 1993
399 Intention is Choice with Commitment (context) - Cohen, Levesque - 1990
362 Dynamic Logic - Harel - 1984
327 Modeling rational agents within a BDI-architecture - Rao, George - 1991
200 and Practical Reason (context) - Bratman, Plans - 1987
100 Epistemic Logic for AI and Computer Science (context) - Ch, van der Hoek - 1995
72 Agent technology: Foundations (context) - Jennings, Wooldridge - 1997
66 Intelligent Agents - Wooldridge, Jennings - 1995
21 An Integrated Modal Approach to Rational Agents (context) - van der Hoek, van Linder et al. - 1998
10 van der Hoek & J (context) - van Linder - 1997
10 van der Hoek & J (context) - van Linder - 1995
9 van der Hoek & J (context) - Hindriks, de Boer - 1999
9 van der Hoek & J (context) - Hindriks, de Boer
9 van der Hoek & J (context) - van Eijk, de Boer - 2000
9 van der Hoek & J (context) - Hindriks, de Boer - 2000
6 Belief and Time (context) - Kraus, Lehmann - 1986
6 Modal Logics for Rational agents (context) - van Linder - 1996
6 Systems for Knowledge and Belief (context) - van der Hoek - 1993
4 Formalizing Potential of Agents: The KARO Framework Revisite.. (context) - van der Hoek, Ch et al. - 2000
3 van der Hoek & B (context) - Ch - 1999
3 The Logic of Objective Knowledge and Rational Belief (context) - Voorbraak - 1991
3 Verification within the KARO Agent Theory - Dixon, Fisher et al.
2 As Far as I Know: Epistemic Logic and Uncertainty (context) - Voorbraak - 1993
2 Agent Communication Programming Languages (context) - van Eijk
2 Part 2 - Agent Communication Language (context) - Intelligent, Agents et al. - 1997
2 Agent Programming Languages (context) - Hindriks
1 An Overview of KQML: AKnowledge Query and Manipulation Langu.. (context) - Finin, McKay et al. - 1992
Documents on the same site (http://www3.oup.co.uk/igpl/Volume_09/Issue_02/#Wong): More
Information Compression by Multiple Alignment, Unification and.. - Wolff (1996) (Correct)
Creating Collective Intention through Dialogue - Dignum (2000) (Correct)
On the Emergence of Reasons in Inductive Logic - Paris, Wafy (2001) (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