Compiling a default reasoning system into Prolog-Reference-Cited by-同舟云学术

Compiling a default reasoning system into Prolog

Published:1991-04 Issue:1 Volume:9 Page:3-38
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Poole David

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037149.pdf

Reference42 articles.

1. Brewka, G., “Tweety—Still Flying: Some Remarks on Abnormal Birds, Applicable Rules and a Default Prover,”Proc. AAAI-86 pp. 8–12.

2. Chang, C-L. and Lee, R. C-T.,Symbolic Logic and Mechanical Theorem Proving, Academic Press, 1973.

3. Bruynooghe, M. and Pereira, L. M., “Deductive Revision by Intelligent Backtracking,” inImplementation of Prolog (J. A. Campbell ed.), Ellis Horwood, 1984.

4. Cox, P. T. and Pietrzykowski, T., “General Diagnosis by Abductive Inference,”Technical Report, CS8701, School of Computer Science, Technical University of Nova Scotia, April 1987.

5. Dincbas, M., Simonis, H., and Van Hentenryck, P., “Solving Large Combinatorial Problems in Logic Programming,”ECRC Technical Report, TR-LP-21, June 1987.

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

1. A Combined Approach for Information Flow Analysis in Fault Tolerant Hardware;12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007);2007

2. Retracted: Shared Ontology for Pervasive Computing;Advances in Computer Science – ASIAN 2005. Data Management on the Web;2005

3. Intelligent agents meet the semantic Web in smart spaces;IEEE Internet Computing;2004-11

4. Automated Abduction;Computational Logic: Logic Programming and Beyond;2002

5. LAILA: a language for coordinating abductive reasoning among logic agents;Computer Languages;2001-12