3773 search results - page 424 / 755 » Logical Reasoning |
179
click to vote
ECSQARU
2007
Springer
16 years 27 days 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...
154
click to vote
EPIA
2007
Springer
16 years 27 days 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...
182
Voted
LPNMR
2007
Springer
16 years 26 days 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...
185
click to vote
ICFEM
2005
Springer
16 years 7 days 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...
180
click to vote
ILP
2005
Springer
16 years 7 days 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...