Cited By
View all- Kato SOono SSeki HItoh H(1999)Cost-Based Abduction Using Binary Decision DiagramsMultiple Approaches to Intelligent Systems10.1007/978-3-540-48765-4_25(215-225)Online publication date: 1999
A parallel implementation of cost-based abductive reasoning
Pages 111 - 118
References
[1]
ALl, K. A. M., AND KARLSSON, R. The Muse Or- Parallel Prolog Model and its Performance. In Proc. OI the North American Conf. on Logic Programming (1990), The MIT Press, pp. 757-776.
[2]
CHARNIAK, E., AND SHIMONY, S. E. Cost-based abduction and MAP explanation. Artificial Intelligence 66 (1994), 345-374.
[3]
COSTA, V. S., WARREN, D. H. S., AND YANG, R. The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. In Proc. of the Eighth Intl. Conf. on Logic Programming (1991), The MIT Press, pp. 825-839.
[4]
HUANG, S., AND DAVIS, L. S. Parallel Iterative A~ Search: An Admissible Distributed Heuristic Search Algorithm. In Proc. of the IJCAI-89 (1989), pp. 23- 29.
[5]
KATO, S., SEKI, H., AND ITOH, H. An Eiticient Abductive Reasoning System Based on Program Analysis. In Static Analysis, Proc. of the 3rd Intl. Workshop, LNCS- 724 (Padova, 1993), Springer-Verlag, pp. 230-241.
[6]
KATO, S., SEKI, H., AND ITOH, H. Cost-based Horn Abduction and its Optimal Search. In Proc. of the 3rd Intl. Conf. on Automation, Robotics and Computer Vision (Singapore, Nov. 1994), pp. 831-835.
[7]
LLOYD, J. W. Foundations of Logic Programming. Springer, 1984. Second, extended edition, 1987.
[8]
LusK, E., WARREN, D. H. D., HARIDI, S., ET AL. The Aurora or-parallel Prolog system. New Generation Computing 7(~,3) (1990), 243-271.
[9]
NILSSON, N. J. Principles of Artificial Intelligence. Tioga, Palo Alto, CA, 1980.
[10]
POOLE, D. A Logical Framework for Default Reasoning. Artificial Intelligence 36 (1988), 27-47.
[11]
POOLE, D. Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence 64 (1993), 81-129.
Index Terms
- A parallel implementation of cost-based abductive reasoning
Recommendations
Abductive case-based reasoning: Research Articles
This article introduces abductive case-based reasoning (CBR) and attempts to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, ...
Parallel cost-based abductive reasoning for distributed memory systems
PRICAI'96: Proceedings of the 4th Pacific Rim International Conference on Topics in Artificial IntelligenceThis paper describes efficient parallel first-order cost-based abductive reasoning for distributed memory systems. A search control technique of parallel best-first search is introduced into abductive reasoning mechanism, thereby finding much more ...
A parallel cost-based abductive reasoning system on workstation cluster
This paper proposes a method for dynamic load balancing which works efficiently in the workstation cluster environment. A parallel abductive reasoning system based on the proposed method is also proposed. In the workstation cluster environment, parallel ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
July 1997
223 pages
Copyright © 1997 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 20 July 1997
Check for updates
Qualifiers
- Article
Conference
PASCO97: International Symposium on Parallel Symbolic Computation
July 20 - 22, 1997
Hawaii, Maui, USA
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 217Total Downloads
- Downloads (Last 12 months)43
- Downloads (Last 6 weeks)8
Reflects downloads up to 10 Dec 2024
Other Metrics
Citations
Cited By
View all- Kato SOono SSeki HItoh H(1999)Cost-Based Abduction Using Binary Decision DiagramsMultiple Approaches to Intelligent Systems10.1007/978-3-540-48765-4_25(215-225)Online publication date: 1999
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in