Mer informasjon/publikasjoner/programvare på http://jens-otten.de/uio.
jeotten
Kan ikke hente personopplysninger fra ekstern kilde
Publikasjoner
-
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, s. 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. I Kahle, Reinhard & Rathjen, Michael (Red.), The Legacy of Kurt Schütte. Springer. ISSN 978-3-030-49423-0. s. 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, s. 76–92. Fulltekst i vitenarkiv
-
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, s. 3–17. doi: 10.4204/EPTCS.301.3. Fulltekst i vitenarkiv
-
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, s. 49–57. Fulltekst i vitenarkiv
-
Otten, Jens (2017). nanoCoP: Natural Non-clausal Theorem Proving. IJCAI International Joint Conference on Artificial Intelligence. ISSN 1045-0823. s. 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. s. 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, s. 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, s. 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, s. 9–20.
-
Otten, Jens (2016). NanoCoP: A non-clausal connection prover. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9706, s. 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, s. 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.
Publisert
9. des. 2016 10:34
- Sist endret
16. aug. 2017 23:41