178 search results - page 1 / 36 » Splitting a CR-Prolog Program |
PLDI
1990
ACM
15 years 1 months ago
1990
ACM
49
Voted
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
PLDI
2004
ACM
15 years 2 months ago
2004
ACM
105
click to vote
AAAI
1996
14 years 10 months ago
1996
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
118
Voted
ICLP
1994
Springer
15 years 1 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...