240 search results - page 6 / 48 » Constrained Partial Deduction |
NA
2010
15 years 1 months ago
2010
A method for linearly constrained optimization which modifies and generalizes recent box-constraint optimization algorithms is introduced. The new algorithm is based on a relaxed...
69
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
132
click to vote
ISMIS
2000
Springer
15 years 6 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
121
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
153
click to vote
ASE
2005
15 years 2 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...