{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:02Z","timestamp":1725664322865},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615514"},{"type":"electronic","value":"9783540706205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61551-2_76","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:56:01Z","timestamp":1330293361000},"page":"209-223","source":"Crossref","is-referenced-by-count":7,"title":["Defeasibility in CLP( $$\\mathcal{Q}$$ ) through generalized slack variables"],"prefix":"10.1007","author":[{"given":"Christian","family":"Holzbaur","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Menezes","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"15_CR1","first-page":"405","volume-title":"Symposion on Logic Programming","author":"B. Backer","year":"1991","unstructured":"Backer B.de, Beringer H.: Intelligent Backtracking for CLP Languages: An Application to CLP(R), in Saraswat V. & Ueda K. (eds.), Symposion on Logic Programming, MIT Press, Cambridge, MA, pp.405\u2013419, 1991."},{"key":"15_CR2","first-page":"149","volume-title":"Constraints hierarchies and logic programming","author":"A. Borning","year":"1989","unstructured":"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\u2013164, Lisbon, Portugal, June 1989. The MIT Press."},{"key":"15_CR3","volume-title":"CLP(R)","author":"J. Burg","year":"1994","unstructured":"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."},{"issue":"7","key":"15_CR4","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Colmerauer A.: An Introduction to Prolog III, Communications of the ACM, 33(7), 69\u201390, 1990.","journal-title":"Communications of the ACM"},{"key":"15_CR5","volume-title":"Linear Programming and Extensions","author":"G.B. Dantzig","year":"1963","unstructured":"Dantzig G.B.: Linear Programming and Extensions, Princeton University Press, Princeton, NJ, 1963."},{"key":"15_CR6","unstructured":"Hentenryck P.van, Ranachandran V.: Backtracking without Trailing in CLP(R) Dept.of Computer Science, Brown University, CS-93-51, 1993."},{"key":"15_CR7","unstructured":"Holzbaur C.: Specification of Constraint Based Inference Mechanisms through Extended Unification, Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Dissertation, 1990."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013268, 1992.","DOI":"10.1007\/3-540-55844-6_141"},{"key":"15_CR9","first-page":"56","volume-title":"TR-93-004","author":"C. Holzbaur","year":"1993","unstructured":"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\u201360, 1993."},{"issue":"3","key":"15_CR10","first-page":"235","volume":"16","author":"J.-L. Imbert","year":"1993","unstructured":"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\u2013253, 1993.","journal-title":"Special Issue: Constraint Logic Programming, Journal of Logic Programming"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013173, 1990.","DOI":"10.1007\/3-540-52531-9_136"},{"key":"15_CR12","volume-title":"Proceedings of EPIA '93","author":"F. Menezes","year":"1993","unstructured":"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."},{"key":"15_CR13","unstructured":"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."},{"key":"15_CR14","volume-title":"Defeasible Constraint Solving","author":"F. Menezes","year":"1994","unstructured":"Menezes F., Barahona P.: Defeasible Constraint Solving. In Proceedings of Iberamia 94, McGraw-Hill Interamericana de Venezuela, Caracas, October 1994."},{"key":"15_CR15","volume-title":"Linear and Combinatorial Programming","author":"K.G. Murty","year":"1976","unstructured":"Murty K.G.: Linear and Combinatorial Programming, Wiley, New York, 1976."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Wilson M., Borning A.: Hierarchical Constraint Logic Programming. J. Logic Programming, 1993:16.","DOI":"10.1016\/0743-1066(93)90046-J"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61551-2_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:54Z","timestamp":1605647274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61551-2_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615514","9783540706205"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61551-2_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}