Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl  Home/Search
Context Related
| toronto.edu/pub/cogrob...agentprog.ps.Z isi.edu/~marcu/papers...atalijcai95.ps isi.edu/~marcu/papers/agentprog.ps 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: cs.yorku.ca/~lespe...publications (more) Homepages: Y.Lesperance |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents' basic actions (preconditions and effects) as well as of relevant aspects of the environment, in an extended version of the situation calculus. He can then specify behaviors for the agents in terms of these actions in a programming language where one can refer to conditions in effect in the environment. When an implementation ... (Update)
Cited by: More
Actions That Make You Change - Your Mind Van (Correct)
AFormal Model for Business Process Modeling - And Design Manolis (2000) (Correct)
AgentSpeak(L): BDI Agents speak out in a logical - Computable Language Anand (Correct)
Similar documents (at the sentence level):
26.5%: A Situation Calculus Approach To Modeling And Programming.. - Lespérance, al. (1999) (Correct)
7.4%: A Logical Approach to High-Level Robot Programming -.. - Lesperance.. (1994) (Correct)
Active bibliography (related documents): More All
0.7: Fondements D'une Approche Logique A La Programmation.. - Lesperance, Levesque.. (Correct)
0.7: GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter.. (1997) (Correct)
0.3: Multi-Agent Systems Specification and Certification: a.. - Gouveia, Ramos (2003) (Correct)
Similar documents based on text: More All
0.7: The Frame Problem and Knowledge-Producing Actions - Scherl, Levesque (1993) (Correct)
0.5: How to Execute a Conditional? - Scherl, Lespérance (Correct)
0.4: Distributed Software Agents and Communication in the Situation .. - Daniel Marcu (1995) (Correct)
Related documents from co-citation: More All
18: Agent-oriented programming (context) - Shoham - 1993
13: The Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
12: STRIPS: A new approach to the application of theorem proving to problem solving (context) - Fikes, Nilsson - 1990
BibTeX entry: (Update)
Y. Lesperance, h. Levesque, F. Lin, D. Marcu, R. Reiter, and R. Scherl. Foundations of a logical approach to agent programming. In M. Woolridge, J. Muller, and M. Tambe, editors, Intelligent Agents - II, pages 331--346. 1995. http://citeseer.ist.psu.edu/lesperance95foundations.html More
@inproceedings{ lesperance95foundations,
author = "Yves Lesperance and Hector J. Levesque and Fangzhen Lin and Daniel Marcu and Raymond Reiter and Richard B. Scherl",
title = "Foundations of a Logical Approach to Agent Programming",
booktitle = "Agent Theories, Architectures, and Languages",
pages = "331-346",
year = "1995",
url = "citeseer.ist.psu.edu/lesperance95foundations.html" }
Citations (may not include all citations):663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1979
453 Agent-oriented programming (context) - Shoham - 1993
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
355 Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1995
210 A formal theory of knowledge and action (context) - Moore - 1985
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
151 The frame problem and knowledge-producing actions - Scherl, Levesque - 1993
127 State constraints revisited - Lin, Reiter - 1994
96 Communicative actions for artificial agents - Cohen, Levesque - 1995
65 A survey of Concurrent METATEM --- the language and its appl.. - Fisher - 1994
61 How to progress a database - Lin, Reiter - 1994
60 The case for domain-specific frame axioms (context) - Haas - 1987
54 A situated view of representation and control - Rosenschein, Kaelbling - 1995
52 Center for the Study of Language and Information (context) - Goldblatt, Time et al. - 1987
46 A logical approach to high-level robot programming -- a prog.. - Lesperance, Levesque et al. - 1994
22 Monotonic solution to the frame problem in the situation cal.. (context) - Schubert - 1990
21 Specification of the KQML agent-communication language (context) - Sharing, Interfaces et al. - 1993
14 special issue on intelligent agents (context) - Riecken, Communications et al. - 1994
14 Ability and knowing how in the situation calculus - Lesperance, Levesque et al. - 1995
9 Goals and rational action in the situation calculus --- a pr.. - Shapiro, Lesperance et al. - 1995
5 GOLOG as an agent-programming language: Experiments in devel.. (context) - Ruman - 1995
5 Concurrency in the situation calculus (context) - Levesque - 1995
3 Distributed software agents and communication in the situati.. - Marcu, Lesperance et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.yorku.ca/~lesperan/publications.html): More
Reactivity in a Logic-Based Robot Programming Framework - Lespérance, Tam.. (1998) (Correct)
An Argument for Indexical Representations in Temporal.. - Lespérance.. (1994) (Correct)
Distributed Software Agents and Communication in the Situation .. - Daniel Marcu (1995) (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