3891 search results - page 431 / 779 » A logic for strategic reasoning |
205
Voted
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
182
Voted
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
213
Voted
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
209
Voted
ICFEM
2005
Springer
16 years 1 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
212
Voted
ILP
2005
Springer
16 years 1 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...