3446 search results - page 393 / 690 » A Reasoning Algorithm for pD* |
196
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
192
click to vote
ATAL
2005
Springer
16 years 8 days 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 ...
164
click to vote
CIE
2005
Springer
16 years 8 days ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
167
click to vote
ECSQARU
2005
Springer
16 years 8 days ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...
144
click to vote
EMO
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...