KRHyper – In Your Pocket-Reference-Cited by-同舟云学术

KRHyper – In Your Pocket

Published:2005 Issue: Volume: Page:452-457
ISSN:0302-9743
Container-title:Automated Deduction – CADE-20
language:
Short-container-title:

Author:

Sinner Alex,Kleemann Thomas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11532231_33.pdf

Reference16 articles.

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: Description Logic Handbook. Cambridge University Press, Cambridge (2002)

2. Baumgartner, P.: Hyper Tableaux — The Next Generation. Technical Report 32–97, Universität Koblenz-Landau (1997)

3. Baumgartner, P., Furbach, U.: PROTEIN: A PROver with a theory extension INterface. In: Conference on Automated Deduction, pp. 769–773 (1994)

4. Lecture Notes in Artificial Intelligence;P. Baumgartner,2004

5. Baumgartner, P., Furbach, U., Niemelä, I.: Hyper Tableaux. Technical Report 8–96, Universität Koblenz-Landau (1996)

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

1. Towards the Deployment of Knowledge Based Systems in Safety-Critical Systems;Lecture Notes in Computer Science;2023

2. Benchmarking semantic reasoning on mobile platforms: Towards optimization using OWL2 RL;Semantic Web;2019-05-23

3. Mini-ME Swift: The First Mobile OWL Reasoner for iOS;The Semantic Web;2019

4. Mini-ME Matchmaker and Reasoner for the Semantic Web of Things;Innovations, Developments, and Applications of Semantic Web and Information Systems;2018

5. A Mobile Matchmaker for the Ubiquitous Semantic Web;Mobile Computing and Wireless Networks;2016