3970 search results - page 494 / 794 » A Logic For Causal Reasoning |
191
click to vote
ILP
2007
Springer
16 years 26 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
184
click to vote
ISPA
2007
Springer
16 years 26 days ago
2007
Springer
The number of processors embedded in high performance computing platforms is growing daily to solve larger and more complex problems. The logical network topologies must also suppo...
183
click to vote
LPNMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
188
click to vote
WDAG
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
173
click to vote
IAT
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...