Defeasible constraint solving

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

Volumn 1106, Issue , 1996, Pages 151-170

  Menezes, Francisco ^a   Barahona, Pedro ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CONSTRAINT THEORY; LOGIC PROGRAMMING;

CONSTRAINT SOLVERS; CONSTRAINT SOLVING; DEFEASIBLE CONSTRAINTS; LARGE PROBLEMS; OVER-CONSTRAINED PROBLEM; PROGRAMMING ENVIRONMENT; REACTIVE SYSTEM;

PROLOG (PROGRAMMING LANGUAGE);

EID: 21344469404     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61479-6_20     Document Type: Conference Paper

References (17)

1. A. Borning, M. Maher, A. Martingale, and M. Wilson. Constraints hierarchies and logic programming. Logic Programming: Proceedings of the 6th International Conference., pages 149-164, Lisbon, Portugal, June 1989. The MIT Press.
2. C. Codognet, P. Codognet, and G. Filé. Yet Another Intelligent Backtracking Method. In Proceedings of 5th ICLP/SLP, Seattle, 1988.
3. R. Davis and W. Hamscher. Model-based Reasoning: Troubleshooting. Exploring Artificial Intelligence, chapter 8, pages 297-379. Morgan Kaufmann Publisher, INC., 1988.
4. J. de Kleer. Problem Solving with the ATMS. Artificial Intelligence, 28:197-224, 1986.
5. J. Doyle. A Truth Maintenance System. Artificial Intelligence, 12:231-272, 1979.
6. Michael R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completness. W. H. Freeman and Company, New York, 1979.
7. U. Junker. Generating Diagnoses by Prioritized Defaults. In Working Notes of 2nd International Workshop on Principles of Diagnosis, Milano, 1991.
8. Vipin Kumar. Algorithms for Constraint-Satisfaction-Problems: A Survey. AI Magazine, pages 32-44, Spring 1992.
9. Alan K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8:99-118, 1977.
10. Alan K. Mackworth and Eugene C. Freuder. The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artificial Intelligence, 25:65-74, 1985.
11. F. Menezes and P. Barahona. Preliminary Formalization of an Incremental Hierarchical Constraint Solver. In Proceedings of EPIA’93, Porto, October 1993.
12. F. Menezes and P. Barahona. An Incremental Hierarchical Constraint Solver. Principles and Practice of Constraint Programming, MIT Press, 1994.
13. L. M. Pereira, C. Damásio, and J. J. Alferes. Diagnosis and Debugging as Contradiction Removal. 2nd Int. Ws. on Logic Programming and NonMonotonic Reasoning, pages 316-330. MIT Press, 1993.
14. Luis Moniz Pereira and M. Bruynooghe. Deduction Revision by Intelligent Backtracking. Implementations of Prolog, pages 194-215. J. A. Campbell, 1984.
15. D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence, 36:27-47, 1988.
16. H. Simonis. Test Generation using the Constraint Logic Programming Language CHIP. Logic Programming: Proceedings of the 6th International Conference, pages 101-112, Lisbon, Portugal, June 1989. The MIT Press.
17. P. Van Hentenryck, Y. Deville, and C.-M. Teng. A Generic Arc Consistency Algorithm and its Specializations. Technical Report RR 91-22, K. U. Leuven, F. S. A., December 1991.