Search Sciweavers | Sciweavers

85 search results - page 3 / 17

» Reimagining literate programming

click to vote

FUIN
2006

145views more FUIN 2006»

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming

13 years 6 months ago

Download www.mimuw.edu.pl

We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...

Linh Anh Nguyen

claim paper

Read More »

click to vote

IPL
2008

111views more IPL 2008»

Adding cardinality constraints to integer programs with applications to maximum satisfiability

13 years 6 months ago

Download wwwhome.math.utwente.nl

Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...

Markus Bläser, Thomas Heynen, Bodo Manthey

claim paper

Read More »

click to vote

ILP
2003
Springer

79views Automated Reasoning» more ILP 2003»

Query Optimization in Inductive Logic Programming by Reordering Literals

13 years 11 months ago

Download dtai.cs.kuleuven.be

Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...

Jan Struyf, Hendrik Blockeel

claim paper

Read More »

click to vote

APSEC
2002
IEEE

74views Software Engineering» more APSEC 2002»

Theme-Based Literate Programming

13 years 11 months ago