3119 search results - page 527 / 624 » General Default Logic |
103
Voted
AAAI
2008
15 years 1 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
117
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
90
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
114
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
124
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...