Jose Julio Alferes, Antonio Brogi, Joao Alexandre Leite, Luís Moniz Pereira  Home/Search
Context
Related
| centria.di.fct.unl...opstr01_lnai.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...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably reconciled with a more deliberative rational behaviour. In this paper we show how di#erent behaviours of environment-aware agents can be naturally specified and computed in terms of logic program updates. Logic program updates are specified, in our setting, by the language of updates LUPS. We show how such language can be... (Update)
Similar documents (at the sentence level):
52.9%: Environment-Aware Computations Via Program Updates - Alferes, Brogi, Leite, Pereira (Correct)
Active bibliography (related documents): More All
0.9: Environment-Aware Computations via Program Updates - Alferes, Brogi, Leite, Pereira (Correct)
0.4: Evolving Logic Programs - Alferes, Brogi, Leite, Pereira (2002) (Correct)
0.3: A Language for Multi-dimensional Updates - Leite, Alferes, Pereira.. (Correct)
Similar documents based on text: More All
0.7: Planning as Abductive Updating - Alferes, Leite, Pereira, Quaresma (2000) (Correct)
0.6: Dynamic Logic Programming - Alferes, Leite, Pereira, Przymusinski (1998) (Correct)
0.6: Combining Societal Agents' Knowledge - Leite, Alferes, Pereira (Correct)
BibTeX entry: (Update)
@misc{ alferes-computing,
author = "Jose Julio Alferes and Antonio Brogi and Joao Alexandre Leite and Luís
Moniz Pereira",
title = "Computing Environment-Aware Agent Behaviours with Logic Program Updates",
url = "citeseer.ist.psu.edu/521007.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
77 Answer sets in general non-monotonic reasoning (context) - Lifschitz, Woo - 1992
69 An action language based on causal explanation: Preliminary .. - Giunchiglia, Lifschitz - 1998
65 A survey of concurrent METATEM: The language and its applica.. - Fisher - 1994
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. - 2002
27 Negation as failure in the head - Inoue, Sakama - 1998
25 Theoretical Computer Science (context) - Marek, Truszcczynski - 1998
23 On properties of update sequences based on causal rejection (context) - Eiter, Fink et al. - 2002
20 Linkoping Electronic Articles in Computer and Information Sc.. (context) - Gelfond, Lifschitz - 1998
15 Planning as abductive updating - Alferes, Leite et al. - 2000
14 A formal embedding of AgentSpeak (context) - Hindriks, de Boer et al. - 1998
7 A modified semantics for LUPS (context) - Leite
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/~jleite/publications.html): More
Dynamic Logic Programming - Alferes, Leite, Pereira, Przymusinski (1998) (Correct)
Dynamic Updates of Non-Monotonic Knowledge Bases - Alferes, Leite, Pereira.. (2000) (Correct)
Hypothetical Reasoning: an application to Optical Music Recognition - Cardoso (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