178 search results - page 1 / 36 » Splitting a CR-Prolog Program |
PLDI
1990
ACM
13 years 8 months ago
1990
ACM
PLDI
2006
ACM
13 years 10 months ago
2006
ACM
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
AAAI
1996
13 years 6 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...
ICLP
1994
Springer
13 years 9 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...