3693 search results - page 23 / 739 » Splitting a Logic Program |
ISW
1999
Springer
14 years 4 days ago
1999
Springer
Micropayments are electronic payments of small amount. Given their low value, the cost of the corresponding electronic transactions should also be kept low. Current micropayment sc...
INFSOF
1998
13 years 7 months ago
1998
Changing the internal structure of a program without changing its behavior is called restructuring. This paper presents a transformation called tuck for restructuring programs by ...
SIAMJO
2010
13 years 6 months ago
2010
The imposition of general disjunctions of the form “πx ≤ π0 ∨ πx ≥ π0 + 1”, where π, π0 are integer valued, is a fundamental operation in both the branch-and-bound...
ECAI
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...