3693 search results - page 13 / 739 » Splitting a Logic Program |
PPCP
1993
13 years 12 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
AAAI
2006
13 years 9 months ago
2006
Several forms of reasoning in AI
JEC
2006
13 years 7 months ago
2006
This paper shows that even very small data caches, when split to serve data streams exhibiting temporal and spatial localities, can improve performance of embedded applications wit...
MP
2011
13 years 2 months ago
2011
Integer programs defined by two equations with two free integer variables and nonnegative continuous variables have three types of nontrivial facets: split, triangle or quadrilat...
KR
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: on...