599 search results - page 82 / 120 » Integrating answer set programming and constraint logic prog... |
143
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
149
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
139
Voted
LANMR
2007
15 years 5 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
155
Voted
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
93
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...