3970 search results - page 485 / 794 » A Logic For Causal Reasoning |
200
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
174
click to vote
ICLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
185
click to vote
KES
2004
Springer
16 years 2 days ago
2004
Springer
Artificial Intelligence algorithms can be divided into two groups according to the type of problems they solve. Knowledge-intensive domains contain explicit knowledge, whereas know...
154
click to vote
TPHOL
2003
IEEE
16 years 2 hour ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
178
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...