Defeasibility in CLP(Q) through generalized slack variables

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1118, Issue , 1996, Pages 209-223

  Holzbaur, Christian ^a   Menezes, Francisco ^b   Barahona, Pedro ^b  

^a UNIVERSITY OF VIENNA   (Austria)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Constraint logic programming; Defeasible constraint solving; Linear programming

Indexed keywords

EID: 84957869707     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61551-2_76     Document Type: Conference Paper

References (16)

1. Backer B.de, Beringer H. Intelligent Backtracking for CLP Languages: An Application to CLP(R), in Saraswat V. & Ueda K.(eds.), Symposion on Logtc Programming, MIT Press, Cambridge, MA, pp 405-419, 1991.
2. A. Borning, M. Maher, A. Martingale, and M. Wilson. Constraints hierarchies and logic programming. In Levi and Martelli, editors, Logic Programming: Proceedings of the 6th International Conference, pages 149-164, Lisbon, Portugal, June 1989. The MIT Press.
3. Burg J., Lang S.-D., Hughes G.E. Finding Conflict Sets and Backtrack Points in CLP(R), in Hentenryck P.van(ed.), Proceedings of the Eleventh International Conference on Logic Programming (ICLP94), MIT Press, Cambridge, MA, 1994.
4. Colmeraner A. An Introduction to Prolog 111, Communications of the ACM, 33(7), 69-90, 1990.
5. Dantzig G.B. Linear Programming and Extensions, Princeton University Press, Princeton, NJ, 1963.
6. Hentenryck P.van, Ranachandran V. Backtracking without Trailing in CLP(R), Dept.of Computer Science, Brown University, CS-93-51, 1993.
7. Holzbaur C. Specification of Constraint Based Inference Mechanisms through Extended Unification, Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Dissertation, 1990.
8. Holzbaur C. Metastructures vs. Attributed Variables in the Context of Extensible Unification, in Bruynooghe M. & Wirsing M.(eds.), Programming Language Implementation and Logic Programming, Springer, LNCS 631, pp 260-268, 1992.
9. Holzbaur C. Extensible Unification as Basis for the Implementation of CLP Languages, in Baader F., et al, Proceedings of the Sixth International Workshop on Unification, Boston University, MA, TR-93-004, pp 56-60, 1993.
10. Imbert J. L., Cohen J., Weeger M. D. An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP, in Special Issue: Constraint Logic Programming, Journal of Logic Programming, 16(3&4), 235-253, 1993.
11. Lassez J.L. Parametric Queries, Linear Constraints and Variable Elimination, in Proceedings of the Conference on Design and Implementation of Symbolic Computation Systems, Capri, pp 164-173, 1990.
12. Menezes F., Barahona P. Preliminary Formalization of an Incremental Hierarchical Constraint Solver. In L. Damas L and M. Filgueiras (eds.), In Proceedings of EPIA '93, Springer-Verlag, Porto, October 1993.
13. Menezes F., Barahona P. An Incremental Hierarchical Constraint Solver. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, MIT Press, 1995.
14. Menezes F., Barahona P. Defeasible Constraint Solving. In Proceedings of Ib-eramta 94, McGraw-Hill Interamericana de Venezuela, Caracas, October 1994.
15. Murty K.G. Linear and Combinatorial Programming, Wiley, New York 1976
16. Wilson M., Borning A. Hierarchical Constraint Logic Programming. J. Logic Programming, 1993:16.