More information/publications/software at http://jens-otten.de/uio.
jeotten
Could not get user data from external service
Publications
-
Otten, Jens (2021). The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12842, p. 236–249. doi: 10.1007/978-3-030-86059-2_14.
-
Bibel, Wolfgang & Otten, Jens (2020). From Schütte’s Formal Systems to Modern Automated Deduction. In Kahle, Reinhard & Rathjen, Michael (Ed.), The Legacy of Kurt Schütte. Springer. ISSN 978-3-030-49423-0. p. 217–251. doi: https:/doi.org/10.1007/978-3-030-49424-7_13.
-
Oliver, Benjamin & Otten, Jens (2020). Equality Preprocessing in Connection Calculi. CEUR Workshop Proceedings. ISSN 1613-0073. 2752, p. 76–92. Full text in Research Archive
-
Palmeira, Eunice; Freitas, Fred & Otten, Jens (2019). Converting ALC connection proofs into ALC sequents. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 301, p. 3–17. doi: 10.4204/EPTCS.301.3. Full text in Research Archive
-
Otten, Jens (2018). The Pocket Reasoner - Automatic Reasoning on Small Devices. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
-
Otten, Jens (2018). Proof search optimizations for non-clausal connection calculi. CEUR Workshop Proceedings. ISSN 1613-0073. 2162, p. 49–57. Full text in Research Archive
-
Otten, Jens (2017). nanoCoP: Natural Non-clausal Theorem Proving. IJCAI International Joint Conference on Artificial Intelligence. ISSN 1045-0823. p. 4924–4928. doi: 10.24963/ijcai.2017/695.
-
Otten, Jens & Bibel, Wolfgang (2017). Advances in Connection-Based Automated Theorem Proving. NASA Monographs in Systems and Software Engineering. ISSN 1860-0131. p. 211–241. doi: 10.1007/978-3-319-48628-4_9.
-
Filho, Dimas Melo; Freitas, Fred & Otten, Jens (2017). RACCOON: A Connection Reasoner for the Description Logic ALC. EPiC Series in Computing. ISSN 2398-7340. 46, p. 200–211. doi: 10.29007/3xxd.
-
Otten, Jens (2017). Non-clausal Connection Calculi for Non-classical Logics. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. LNAI 10501, p. 209–227. doi: 10.1007/978-3-319-66902-1_13.
-
Otten, Jens (2017). nanoCP: Natural Non-clausal Theorem Proving. IJCAI International Joint Conference on Artificial Intelligence. ISSN 1045-0823.
-
Otten, Jens (2016). Non-clausal connection-based theorem proving in intuitionistic first-order logic. CEUR Workshop Proceedings. ISSN 1613-0073. 1770, p. 9–20.
-
Otten, Jens (2016). NanoCoP: A non-clausal connection prover. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9706, p. 302–312. doi: 10.1007/978-3-319-40229-1_21.
-
Otten, Jens & Bibel, Wolfgang (2023). AReCCa 2023 - Automated Reasoning with Connection Calculi. CEUR Workshop Proceedings. ISSN 1613-0073. 3613, p. 1–3.
-
Otten, Jens (2019). How to Build an Automated Theorem Prover.
-
Otten, Jens (2019). Build Your Own First-Order Prover.
-
Otten, Jens (2018). Bibel’s Connection Method – A General Framework for Automated Reasoning.
-
Benzmüller, Christoph & Otten, Jens (2018). Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics . CEUR Workshop Proceedings. ISSN 1613-0073. 2095 .
-
Benzmüller, Christoph & Otten, Jens (2016). Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics. CEUR Workshop Proceedings. ISSN 1613-0073. 1770.
Published
Dec. 9, 2016 10:33 AM
- Last modified
Apr. 14, 2017 3:01 AM