Download:
|
by J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira
http://www.iasi.rm.cnr.it/~adp/lopstr01_preproc/alferes.ps.gz
Add To MetaCart
Abstract:
Environment-aware computations
Citations
|
1126
|
The Stable Model Semantics for Logic Programming
– Gelfond, Lifschitz
- 1988
|
|
615
|
alski, ‘‘The semantics of predicate logic as a programming language
– Emden, Kow
- 1976
|
|
556
|
A Companion to Modal Logic
– Hughes, Cresswell
- 1984
|
|
357
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
274
|
AgentSpeak(L): BDI Agents speak out in a logical computable language
– Rao
- 1996
|
|
268
|
On the development of reactive systems
– Harel, Pnueli
- 1985
|
|
140
|
An architecture for real-time reasoning and system control
– Ingrand, Georgeff, et al.
- 1992
|
|
96
|
Dynamic updates of non-monotonic knowledge bases
– ALFERES, LEITE, et al.
- 2000
|
|
92
|
Synchronous programming with events and relations: the SIGNAL language and its semantics
– Benveniste, Guernic, et al.
- 1991
|
|
91
|
A survey of concurrent MetateM- the language and its applications
– Fisher
- 1994
|
|
82
|
METATEM: a Framework for Programming in Temporal Logic
– BARRINGER, FISHER, et al.
- 1989
|
|
64
|
Lups—a language for updating logic programs
– Alferes, Pereira, et al.
|
|
32
|
Computational Logic and Multiagent Systems: a Roadmap
– Sadri, Toni
- 1999
|
|
19
|
A Formal Embedding of AgentSpeak(L) in 3APL
– Meyer
- 1998
|
|
14
|
Towards a Uni Agent Architecture that Combines Rationality with Reactivity
– Kowalski, Sadri
- 1996
|
|
13
|
A modified semantics for LUPS
– Leite
- 2001
|
|
7
|
Probabilistic behaviours of reactive agents
– Brogi
|
|
7
|
Action languages. Linkoping Electronic
– Gelfond, Lifschitz
- 1998
|
|
3
|
On the interplay between reactivity and computation
– Brogi, Contiero, et al.
- 2000
|
|
3
|
LUSTRE: A declarative language for programming synchronous systems
– Plaice
- 1987
|
