Defeasible constraint solving-Reference-Cited by-同舟云学术

Defeasible constraint solving

Published:1996 Issue: Volume: Page:151-170
ISSN:0302-9743
Container-title:Over-Constrained Systems
language:
Short-container-title:

Author:

Menezes Francisco,Barahona Pedro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61479-6_20.pdf

Reference17 articles.

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.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Resource allocation in a mobile telephone network: A constructive repair algorithm;RAIRO - Operations Research;2001-04

2. Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1;The Journal of Logic Programming;1998-10

3. Defeasible Constraint Solving over the Booleans;Lecture Notes in Computer Science;1998

4. Generation of Test Patterns for Differential Diagnosis of Digital Circuits;Principles and Practice of Constraint Programming — CP98;1998