3891 search results - page 387 / 779 » A logic for strategic reasoning |
173
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
174
click to vote
ILP
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we focus on the problem of learning reactive skills for use by physical agents. We propose a new representation for such procedures, teleoreactive logic programs, al...
164
Voted
TARK
2005
Springer
16 years 8 days ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
165
click to vote
CSL
2004
Springer
16 years 6 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
182
click to vote
LOPSTR
2004
Springer
16 years 5 days ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...