See this document in CiteSeerX!

Computing Environment-Aware Agent Behaviours with Logic Program Updates  (Make Corrections)  
Jose Julio Alferes, Antonio Brogi, Joao Alexandre Leite, Luís Moniz Pereira



  Home/Search   Context   Related

 
View or download:
centria.di.fct.unl...opstr01_lnai.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  centria.di.fct.unl...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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