LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the development of reactive systems
Logics and models of concurrent systems
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Theoretical Computer Science - Special issue: database theory
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Formal Embedding of AgentSpeak(L) in 3APL
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
LUPS - A Language for Updating Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
Toward context-awareness: a workflow embedded middleware
UIC'06 Proceedings of the Third international conference on Ubiquitous Intelligence and Computing
On modelling multi-agent systems declaratively
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Engineering stable multi-agent systems
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Data-bound variables for WS-BPEL executable processes
Computer Languages, Systems and Structures
| Hi-index | 0.00 |
The ability ofreacting to changes in the external environment is ofcrucial importance within the context ofsof tware agents. Such feature must however be suitably reconciled with a more deliberative rational behaviour. In this paper we show how different behaviours of environment-aware agents can be naturally specified and computed in terms oflogic program updates. Logic program updates are specified, in our setting, by the language ofup dates LUPS. We show how such language can be used to model the more reactive behaviours, while keeping the more deliberative features provided by its underlying Dynamic Logic Programming paradigm. The obtained declarative semantics sets a firm basis for the development, implementation, and analysis of environmentaware agents.