Constraint Logic Programming: CLP
Edit Page
Report
Scan day: 16 February 2014 UTC
-33
Virus safety - good
Description: Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics.
Technical Reports - Query Results (Q) through Generalized Slack Variables Christian Holzbaur, Francisco Menezes, Pedro Barahona This paper presents a defeasible constraint solver for the domain of linear equations, disequations and inequalities over the body of rational/real numbers. As extra requirements resulting from the incorporation of the solver into an Incremental Hierarchical Constraint Solver (IHCS) scenario we identified: a)the ability to refer to individual constraints by a label, b) the ability to report the (minimal) cause for the unsatisfiability of a set of constraints, and c) the ability to undo the effects of a formerly activated constraint.
Size: 666 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | OFAI |
| Keywords: | |
| Description: | |
| IP-address: | 193.171.142.190 |