3446 search results - page 393 / 690 » A Reasoning Algorithm for pD* |
208
click to vote
LICS
2005
IEEE
16 years 26 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...
209
click to vote
ATAL
2005
Springer
16 years 25 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 ...
174
click to vote
CIE
2005
Springer
16 years 25 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...
181
click to vote
ECSQARU
2005
Springer
16 years 25 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...
167
click to vote
EMO
2005
Springer
16 years 25 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...