The problem of choosing the type of subsumption to use-Reference-Cited by-同舟云学术

The problem of choosing the type of subsumption to use

Published:1991 Issue:3 Volume:7 Page:435-438
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Wos Larry

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

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

Reference14 articles.

1. Guard, J., Oglesby, F., Bennett, J., and Settle, L., ?Semi-automated mathematics?, J. ACM 16, 49?62, (1969).

2. Lusk, E., and Overbeek, R., The Automated Reasoning System ITP, Technical Report ANL-84-27, Argonne National Laboratory (April 1984).

3. Lusk, E., and Overbeek, R., Logic Machine Architecture Inference Mechanisms?Layer 2 User Reference Manual Release 2.0, Technical Report ANL-82-84, Rev. 1, Argonne National Laboratory (April 1984).

4. McCune, W., OTTER 2.0 Users Guide, Technical Report ANL-90/9, Argonne National Laboratory (1990).

5. McCune, W., ?Experiments with discrimination tree indexing and path indexing for term retrieval?, MSC Preprint P191-1190, Mathematics and Computer Science Division, Argonne National Laboratory, 1990 (to appear in J. Automated Reasoning).

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

1. Flaw and Configuration Analysis of Cloud Component Using First Order Logic;2012 Seventh Asia Joint Conference on Information Security;2012-08

2. Faster Log Analysis and Integration of Security Incidents Using Knuth-Bendix Completion;Neural Information Processing;2011

3. Log Analysis of Exploitation in Cloud Computing Environment Using Automated Reasoning;Lecture Notes in Computer Science;2010

4. Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning;Neural Information Processing;2009

5. A robotic workstation for the Lerici natural science museum;8th IEEE International Workshop on Robot and Human Interaction. RO-MAN '99 (Cat. No.99TH8483)