J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira  Home/Search
Context
Related
| centria.di.fct.unl.pt/...lopstr01.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: centria.di.fct.unl.pt/~l...Biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show how di#erent behaviours of environment-aware agents can be naturally specified in terms of logic program updates. The obtained declarative semantics sets a firm basis for the development and the analysis of environment-aware agents. (Update)
Similar documents (at the sentence level):
64.3%: Environment-Aware Computations Via Program Updates - Alferes, Brogi, Leite, Pereira (Correct)
Active bibliography (related documents): More All
0.9: Computing Environment-Aware Agent Behaviours with.. - Alferes, Brogi.. (Correct)
0.4: Evolving Logic Programs - Alferes, Brogi, Leite, Pereira (2002) (Correct)
0.2: A Language for Multi-dimensional Updates - Leite, Alferes, Pereira.. (Correct)
Similar documents based on text: More All
0.5: Dynamic Logic Programming - Alferes, Leite, Pereira, Przymusinski (1998) (Correct)
0.4: An Evolving Agent with EVOLP - Alferes Brogi Leite (Correct)
0.4: An Evolvable Rule-Based E-mail Agent - Alferes, Brogi, Leite, Pereira (Correct)
BibTeX entry: (Update)
@misc{ alferes-environmentaware,
author = "J. J. Alferes and A. Brogi and J. A. Leite and L. M. Pereira",
title = "Environment-Aware Computations via Program Updates",
url = "citeseer.ist.psu.edu/653263.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
256 Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
194 the development of reactive systems (context) - Harel, Pnueli - 1985
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
141 BDI Agents Speak Out in a Logical Computable Language (context) - Rao - 1996
112 LUSTRE: A declarative language for programming synchronous s.. (context) - Caspi, Pilaud et al. - 1987
107 A new introduction to modal logic (context) - Hughes, Cresswell - 1996
103 An architecture for real-time reasoning and system control (context) - Ingrand, George et al. - 1992
92 Synchronous programming with events and relations: the SIGNA.. (context) - Benveniste, Le Guernic et al. - 1991
65 A survey of Concurrent METATEM - the language and its applic.. - Fisher - 1995
64 Dynamic updates of non-monotonic knowledge bases - Alferes, Leite et al. - 2000
60 METATEM: A framework for programming in temporal logic - Barringer, Fisher et al. - 1989
46 Towards a unified agent architecture that combines rationali.. - Kowalski, Sadri - 1996
39 LUPS: A language for updating logic programs - Alferes, Pereira et al. - 2001
30 Computational Logic and Multiagent Systems: a Roadmap - Sadri, Toni - 1999
23 On Properties of Update Sequences Based on Causal Rejection (context) - Eiter, Fink et al. - 2001
20 Linkoping Electronic Articles in Computer and Information Sc.. (context) - Gelfond, Lifschitz - 1998
14 A Formal Embedding of AgentSpeak (context) - Hindriks, de Boer et al. - 1998
7 A modified semantics for LUPS (context) - Leite - 2001
5 Electronic Notes in Theoretical Computer Science (context) - Brogi, of - 2001
3 the interplay between reactivity and computation (context) - Brogi, Contiero et al. - 2000
Documents on the same site (http://centria.di.fct.unl.pt/~lmp/publications/Biblio.html): More
Belief Revision in Non-Monotonic Reasoning and Logic Programming - Alferes, Pereira (1996) (Correct)
Updating Temporal Knowledge Bases with the Possible Causes.. - Li, Pereira (1996) (Correct)
LUPS - a language for updating logic programs - Alferes, Pereira.. (1999) (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