3970 search results - page 573 / 794 » A Logic For Causal Reasoning |
138
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
189
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
161
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
192
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
157
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...