Constraint propagation and value acquisition: Why we should do it Interactively

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 468-473

  Lamma, E ^a   Mello, P ^a   Milano, M ^a   Cucchiara, R ^b   Gavanelli, M ^c   Piccardi, M ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

^c UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

3D OBJECT RECOGNITION; CONSTRAINT PROPAGATION; CSP MODEL; RESOLUTION PROCESS; VARIABLE DOMAIN;

ARTIFICIAL INTELLIGENCE; CONSTRAINT THEORY;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84880664199     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. R. Cucchiara, E. Lamina, P. Mello, and M. Milano. An interactive constraint-based system for selective attention in visual search. In Proceedings ISMJS'97, LNAI, 1997.
2. M.I. Dent and R.E. Mercer. Minimal forward checking. In Proceedings of ICTAI9J, 1994.
3. M. Fromhcrz and J. Conlcy. Issues in reactive constraint, solving. In Proceedings of CO TIC'97 -Workshop m CP97. 1997.
4. P. Van Hentenryck. Constraint Satisfaction in. Logic Programming. MIT Press, 1989.
5. A. Hoover. G. Jean-Baptist.e, X. Jiang, P.J. Flynn, H.Bunke. D.B.Coldgof, K. Bowyer, D.W. Eggerf, A.Fitzgibbon. and R.B. Fisher. An experimental comparison of range image segmentation algorithms. IEEE Transactions on PAML 18(7):673-689, 1996.
6. M.Herman and T.Kanade. Incremental reconstruction of 3D scene from multiple complex image. Artificial Intelligence, 30:289-341, 1986.
7. M.II.Yang and M.Marefat. Constrained based feature recognition: handling non uniquitess in feature interaction. In IEEE International Conference on Robotics and Automations, 1996.
8. S. Mittal and B. Falkenhainer. Dynamic constraint satisfaction problems. In Proc. of AAAI-90, 1990.
9. J.A. Murder, A.K.Mackworth, and W.S.Havens. Knowledge structuring and constraint satisfaction: the MAPSEE approach. IEEE Trans, on PAML 10(6):866 879, 1988.
10. V.A. Saraswat. Concurrent Constraint Logic Programming. MIT Press, 1993.
11. M. Sergot. A query-the-user facility for logic programming. In P. Degano and E. Sandewall, editors, Integrated Interactive Computing Systems, pages 27-41. North-Holland, 1983.
12. E. Shapiro, editor. Concurrent Prolog - Vol. L MIT Press, 1987.