Author:
Furbach Ulrich,Schon Claudia,Stolzenburg Frieder,Weis Karl-Heinz,Wirth Claus-Peter
Publisher
Springer Science and Business Media LLC
Reference24 articles.
1. Baumgartner P, Furbach U, Niemelä I (1996) Hyper tableaux. In: Alferes JJ, Pereira LM, Orlowska E (eds) Logics in Artificial Intelligence. Proceedings JELIA 96, Lecture Notes in Aritificial Intelligence. European Workshop on Logic in AI, 1126, Springer, New York, pp 1–17
2. Beckert B, Hähnle R (2014) Reasoning and verification: state of the art and current trends. IEEE Intell Syst 29(1):20–29
3. Bender M, Pelzer B, Schon C (2013) System description: E-KRHyper 1.4: extensions for unique names and description logic. In: Bonacina MP (ed) CADE-24, LNCS, vol 7898. Springer, New York, pp 126–134
4. Bergmann R (2002) Experience management: foundations. Development methodology and internet-based applications. Springer, New York
5. Bos J (2005) Towards wide-coverage semantic interpretation. In: Proceedings of 6th international workshop on computational semantics IWCS-6, Tilburg, Netherlands, pp 42–53
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The CoRg Project: Cognitive Reasoning;KI - Künstliche Intelligenz;2019-07-01
2. Commonsense Reasoning Using Theorem Proving and Machine Learning;Lecture Notes in Computer Science;2019
3. A series of revisions of David Poole’s specificity;Annals of Mathematics and Artificial Intelligence;2015-10-20
4. Automated Reasoning in the Wild;Automated Deduction - CADE-25;2015