computational logic Kostas Stathis, Wenjin Lu City University, London EC1V...  Home/Search
Context
Related
| di.unipi.it/~stath...2AI4_CRC_NEW.ps.gz 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: di.unipi.it/~stath...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present the design and implementation of PROSOCS, a platform supporting the programming of software agents that have a mind and a body. The mind reasons autonomously and logically via a collection of logic theories with generic functionality, developed using various extensions of logic programming, and controls the overall behaviour of the agent via a cycle theory that speci es preferred patterns of operation. The body, on the other hand, provides sensors and e ectors for the... (Update)
Similar documents based on text: More All
1.2: PROSOCS: a platform for programming software agents in - Kostas (2004) (Correct)
0.4: The KGP Model of Agency - Kakas, Mancarella, Sadri, Stathis.. (2004) (Correct)
0.2: A Game-Based Architecture for Developing Interactive Components.. - Stathis (2000) (Correct)
BibTeX entry: (Update)
@misc{ kostas-prosocs,
author = "Computational Logic Kostas",
title = "PROSOCS: a platform for programming software agents in",
url = "citeseer.ist.psu.edu/697820.html" }
Citations (may not include all citations):269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
260 BDI Agents: from theory to practice - Rao, George - 1995
245 Plans and resource-bounded practical reasoning - Bratman, Israel et al. - 1988
212 Abductive Logic Programming - Kakas, Kowalski et al. - 1993
141 BDI agents speak out in a logical computable language (context) - Rao - 1996
103 Prediction is deduction but explanation is abduction - Shanahan - 1989
78 April: Agent process interaction language - McCabe, Clark - 1995
62 Logic and Objects (context) - McCabe - 1992
51 a concurrent programming language based on the situation cal.. (context) - De Giacomo, Lesperance et al. - 2000
50 The IFF proof procedure for abductive logic programming (context) - Fung, Kowalski - 1997
46 The acceptability semantics for logic programs (context) - Kakas, Mancarella et al. - 1994
35 Autonomous Agents and Multi-Agent Systems (context) - Hindriks, de Boer et al. - 1999
24 IMPACT: a Platform for Collaborating Agents - Arisha, Ozcan et al. - 1999
23 Heterogenous Active Agents (context) - Subrahmanian, Bonatti et al. - 2000
14 Learning non-monotonic logic programs: Learning exceptions (context) - Dimopoulos, Kakas - 1995
[Article contains additional citations not shown here]
Documents on the same site (http://www.di.unipi.it/~stathis/publications.html):
A Dialectic Architecture for Computational Autonomy - Mark Witkowski And (Correct)
The KGP Model of Agency - Kakas, Mancarella, Sadri, Stathis.. (2004) (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