1454 search results - page 249 / 291 » Stateful traits and their formalization |
105
Voted
AI
1998
Springer
15 years 15 days ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot...
105
Voted
CORR
1998
Springer
15 years 15 days ago
1998
Springer
We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from spee...
116
Voted
DKE
1999
15 years 14 days ago
1999
A Data Warehouse DW is a database that collects and stores data from multiple remote and heterogeneous information sources. When a query is posed, it is evaluated locally, without...
83
Voted
JUCS
2002
15 years 14 days ago
2002
: Over the last 30 years or so many results have appeared on the descriptional complexity of machines with limited resources. Since these results have appeared in a variety of diff...
88
Voted
TODAES
1998
15 years 14 days ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...