453 search results - page 24 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
180
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
192
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
154
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
204
click to vote
LOGCOM
1998
15 years 5 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
158
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...