Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-17 of 17

2020
1 Bibel, Wolfgang; Otten, Jens.
From Schütte’s Formal Systems to Modern Automated Deduction. I: The Legacy of Kurt Schütte. Springer 2020 ISBN 978-3-030-49423-0. p. 217-251
UiO Untitled
 
2 Oliver, Benjamin; Otten, Jens.
Equality Preprocessing in Connection Calculi. CEUR Workshop Proceedings 2020 ;Volume 2752. p. 76-92
UiO Untitled
 
2019
3 Otten, Jens.
Build Your Own First-Order Prover. 27th International Conference on Automated Deduction; 2019-08-23 - 2019-08-30
UiO Untitled
 
4 Otten, Jens.
How to Build an Automated Theorem Prover. 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods; 2019-09-03 - 2019-09-06
UiO Untitled
 
5 Palmeira, Eunice; Freitas, Fred; Otten, Jens.
Converting ALC connection proofs into ALC sequents. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2019 ;Volume 301. p. 3-17
UiO Untitled
 
2018
6 Benzmüller, Christoph; Otten, Jens.
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings 2018 ;Volume 2095. p. -
UiO Untitled
 
7 Otten, Jens.
Bibel’s Connection Method – A General Framework for Automated Reasoning. Artificial Intelligence – Scientific Symposium on the Occasion of Wolfgang Bibel's 80th Birthday; 2018-11-23
UiO Untitled
 
8 Otten, Jens.
Proof search optimizations for non-clausal connection calculi. CEUR Workshop Proceedings 2018 ;Volume 2162. p. 49-57
UiO Untitled
 
9 Otten, Jens.
The Pocket Reasoner - Automatic Reasoning on Small Devices. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 p. -
UiO Untitled
 
2017
10 Filho, Dimas Melo; Freitas, Fred; Otten, Jens.
RACCOON: A Connection Reasoner for the Description Logic ALC. EPiC Series in Computing 2017 ;Volume 46. p. 200-211
UiO Untitled
 
11 Otten, Jens.
nanoCoP: Natural Non-clausal Theorem Proving. IJCAI International Joint Conference on Artificial Intelligence 2017 p. 4924-4928
UiO Untitled
 
12 Otten, Jens.
nanoCP: Natural Non-clausal Theorem Proving. IJCAI International Joint Conference on Artificial Intelligence 2017
UiO Untitled
 
13 Otten, Jens.
Non-clausal Connection Calculi for Non-classical Logics. Lecture Notes in Computer Science (LNCS) 2017 ;Volume LNAI 10501. p. 209-227
UiO Untitled
 
14 Otten, Jens; Bibel, Wolfgang.
Advances in Connection-Based Automated Theorem Proving. NASA Monographs in Systems and Software Engineering 2017 p. 211-241
UiO Untitled
 
2016
15 Otten, Jens.
NanoCoP: A non-clausal connection prover. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9706. p. 302-312
UiO Untitled
 
16 Benzmüller, Christoph; Otten, Jens.
Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings 2016 ;Volume 1770. p. -
UiO Untitled
 
17 Otten, Jens.
Non-clausal connection-based theorem proving in intuitionistic first-order logic. CEUR Workshop Proceedings 2016 ;Volume 1770. p. 9-20
UiO Untitled