A blackboard architecture for guiding interactive proofs-Reference-Cited by-同舟云学术

A blackboard architecture for guiding interactive proofs

Published:1998 Issue: Volume: Page:102-114
ISSN:0302-9743
Container-title:Artificial Intelligence: Methodology, Systems, and Applications
language:
Short-container-title:

Author:

Benzmüller Christoph,Sorge Volker

Publisher

Springer Berlin Heidelberg

Link

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

Reference13 articles.

1. P. B. Andrews. An Introduction To Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, San Diego, CA, USA, 1986.

2. P. B. Andrews, M. Bishop, S. Issar, D. Nesmith, F. Pfenning, and H. Xi. Tps: A Theorem Proving System for Classical Type Theory. Journal of Automated Reasoning, 16(3):321–353, 1996.

3. C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, E. Melis, A. Meier, W. Schaarschmidt, J. Siekmann, and V. Sorge. ΩMega: Towards a Mathematical Assistant. In W. McCune, editor, Proceedings of the 14th Conference on Automated Deduction (CADE-14), LNAI, Townsville, Australia, 1997. Springer Verlag, Berlin, Germany.

4. R. Engelmore and T. Morgan, editors. Blackboard Systems. Addison-Wesley, 1988.

5. L. D. Erman, F. Hayes-Roth, and R. D. Reddy. The HERSAY-II speech understanding system: Integrating knowledge to resolve uncertainty. ACM Computing Surveys, 12(2), 1980.

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

1. Body Area Networks: A Data Sharing and Use Model Based on the Blackboard Architecture and Boundary Node Discovery;Advances in Intelligent Systems and Computing;2021

2. Modeling Attack, Defense and Threat Trees and the Cyber Kill Chain, ATT&CK and STRIDE Frameworks as Blackboard Architecture Networks;2020 IEEE International Conference on Smart Cloud (SmartCloud);2020-11

3. A Distributed Blackboard Approach Based Upon a Boundary Node Concept;Journal of Intelligent & Robotic Systems;2015-09-30

4. Computer supported mathematics with Ωmega;Journal of Applied Logic;2006-12

5. Can a Higher-Order and a First-Order Theorem Prover Cooperate?;Logic for Programming, Artificial Intelligence, and Reasoning;2005