Parallel cost-based abductive reasoning for distributed memory systems

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

Volumn 1114, Issue , 1996, Pages 300-311

  Kato, Shohei ^a   Seki, Hirohisa ^a   Itoh, Hidenori ^a  

^a NAGOYA INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33644881281     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61532-6_26     Document Type: Conference Paper

References (11)

1. Khayri A. M. Ali and Roland Karlsson. The Muse Or-Parallel Prolog Model and its Performance. In Proc. of the North American Conf. on Logic Programming, pages 757-776. The MIT Press, 1990.
2. E. Charniak and S. E. Shimony. Cost-based abduction and MAP explanation. Artificial Intelligence, 66:345-374, 1994.
3. Vitor S. Costa, David H. D. Warren, and Rong Yang. The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. In Proc. of the Eighth Intl. Conf. on Logic Programming, pages 825-839. The MIT Press, 1991.
4. S. Huang and L. S. Davis. Parallel Iterative A* Search: An Admissible Distributed Heuristic Search Algorithm. In Proc. of the IJCAI-89, pages 23-29, 1989.
5. S. Kato, H. Seki, and H. Itoh. An Efficient Abductive Reasoning System Based on Program Analysis. In Static Analysis, Proc. of the 3rd Intl. Workshop, LNCS-724, pages 230-241, Padova, 1993. Springer-Verlag.
6. S. Kato, H. Seki, and H. Itoh. Cost-based Horn Abduction and its Optimal Search. In Proc. of the 3rd Intl. Conf. on Automation, Robotics and Computer Vision, pages 831-835, Singapore, November 1994.
7. J. W. Lloyd. Foundations of Logic Programming. Springer, 1984. Second, extended edition, 1987.
8. E. Lusk, David H. D. Warren, S. Haridi, et al. The Aurora or-parallel Prolog system. New Generation Computing, 7(2,3):243-271, 1990.
9. N. J. Nilsson. Principles of Artificial Intelligence. Tioga, Palo Alto, CA, 1980.
10. D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence, 36:27-47, 1988.
11. D. Poole. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64:81-129, 1993.