Jens Otten - RankMe

53 papers A* 1A 6B 11C 2Misc 1Journal 4Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Implementing the First-Order Logic of Here and There. ICLP Jens Otten, Torsten Schaub
2024	—	`conf`	Implementing Intermediate Logics. ARQNL@IJCAR Bastiaan Haaksema, Jens Otten, Revantha Ramanayake
2024	—	`ed.`	Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), Prague, Czech Republic, September 18, 2023. AReCCa@TABLEAUX Jens Otten, Wolfgang Bibel
2024	—	`ed.`	Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 1, 2024. ARQNL@IJCAR Christoph Benzmüller, Jens Otten, Revantha Ramanayake
2023	—	`conf`	20 Years of leanCoP - An Overview of the Provers. AReCCa@TABLEAUX Jens Otten
2023	—	`conf`	A Syntax for Connection Proofs. AReCCa@TABLEAUX Jens Otten, Sean B. Holden
2023	—	`conf`	Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi. AReCCa@TABLEAUX Fredrik Rømming, Jens Otten, Sean B. Holden
2023	—	`ed.`	Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), Haifa, Israel, August 11, 2022. ARQNL@IJCAR Christoph Benzmüller, Jens Otten
2022	—	`conf`	A Highly-Integrated 20-300V 0.5W Active-Clamp Flyback DCDC Converter with 76.7% Peak Efficiency. CICC Christoph Rindfleisch, Jens Otten, Bernhard Wicht
2022	—	`conf`	Advancing Automated Theorem Proving for the Modal Logics D and S5. ARQNL@IJCAR Jens Otten
2021	B	`conf`	The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics. TABLEAUX Jens Otten
2020	—	`conf`	Equality Preprocessing in Connection Calculi. PAAR+SC²@IJCAR Benjamin E. Oliver, Jens Otten
2019	—	`conf`	Converting ALC Connection Proofs into ALC Sequents. PxTP Eunice Palmeira da Silva, Fred Freitas, Jens Otten
2018	—	`ed.`	Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018. ARQNL@IJCAR Christoph Benzmüller, Jens Otten
2018	—	`conf`	Proof Search Optimizations for Non-Clausal Connection Calculi. PAAR@FLoC Jens Otten
2018	—	`conf`	The Pocket Reasoner -- Automatic Reasoning on Small Devices. NIK Jens Otten
2017	—	`ch.`	Advances in Connection-Based Automated Theorem Proving. Provably Correct Systems Jens Otten, Wolfgang Bibel
2017	B	`conf`	Non-clausal Connection Calculi for Non-classical Logics. TABLEAUX Jens Otten
2017	B	`conf`	RACCOON: A Connection Reasoner for the Description Logic ALC. LPAR Dimas Melo Filho, Fred Freitas, Jens Otten
2017	A*	`conf`	nanoCoP: Natural Non-clausal Theorem Proving. IJCAI Jens Otten
2016	—	`conf`	A Connection Calculus for the Description Logic Canadian AI Fred Freitas, Jens Otten
2016	—	`conf`	Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic. ARQNL@IJCAR Jens Otten
2016	—	`ed.`	Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016. ARQNL@IJCAR Christoph Benzmüller, Jens Otten
2016	A	`conf`	nanoCoP: A Non-clausal Connection Prover. IJCAR Jens Otten
2015	—	`ed.`	Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014 ARQNL@IJCAR Christoph Benzmüller, Jens Otten
2014	A	`conf`	MleanCoP: A Connection Prover for First-Order Modal Logic. IJCAR Jens Otten
2014	—	`conf`	Problem Libraries for Non-Classical Logics. ARQNL@IJCAR Jens Otten, Thomas Raths
2013	—	`—`	Connection calculi for automated theorem proving in classical and non-classical logics. Jens Otten
2013	—	`ch.`	Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken. Ausgezeichnete Informatikdissertationen Jens Otten
2012	—	`conf`	Implementing Connection Calculi for First-order Modal Logics. IWIL@LPAR Jens Otten
2012	—	`conf`	Implementing Different Proof Calculi for First-order Modal Logics. PAAR@IJCAR Christoph Benzmüller, Jens Otten, Thomas Raths
2012	A	`conf`	Implementing and Evaluating Provers for First-order Modal Logics. ECAI Christoph Benzmüller, Jens Otten, Thomas Raths
2012	A	`conf`	The QMLTP Problem Library for First-Order Modal Logics. IJCAR Thomas Raths, Jens Otten
2011	B	`conf`	A Non-clausal Connection Calculus. TABLEAUX Jens Otten
2011	—	`conf`	Implementing and Evaluating Theorem Provers for First-Order Modal Logics. TABLEAUX (Workshops, Tutorials, and Short Papers) Thomas Raths, Jens Otten
2010	J	`jnl`	Restricting backtracking in connection calculi. AI Commun. Jens Otten
2010	—	`conf`	Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
2008	A	`conf`	leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions). IJCAR Jens Otten
2008	—	`conf`	randoCoP: Randomizing the Proof Search Order in the Connection Calculus. PAAR/ESHOL Thomas Raths, Jens Otten
2007	J	`jnl`	The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reason. Thomas Raths, Jens Otten, Christoph Kreitz
2005	B	`conf`	Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. TABLEAUX Jens Otten
2005	B	`conf`	The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX Thomas Raths, Jens Otten, Christoph Kreitz
2003	J	`jnl`	leanCoP: lean connection-based theorem proving. J. Symb. Comput. Jens Otten, Wolfgang Bibel
2000	—	`conf`	Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
1999	J	`jnl`	Connection-based Theorem Proving in Classical and Non-classical Logics. J. Univers. Comput. Sci. Christoph Kreitz, Jens Otten
1999	B	`conf`	linTAP: A Tableau Prover for Linear Logic. TABLEAUX Heiko Mantel, Jens Otten
1997	C	`conf`	A Multi-level Approach to Program Synthesis. LOPSTR Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
1997	A	`conf`	Connection-Based Proof Construction in Linear Logic. CADE Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
1997	B	`conf`	ileanTAP: An Intuitionistic Theorem Prover. TABLEAUX Jens Otten
1996	Misc	`conf`	A Uniform Proof Procedure for Classical and Non-Classical Logics. KI Jens Otten, Christoph Kreitz
1996	B	`conf`	T-String Unification: Unifying Prefixes in Non-classical Proof Methods. TABLEAUX Jens Otten, Christoph Kreitz
1995	B	`conf`	A Connection Based Proof Method for Intuitionistic Logic. TABLEAUX Jens Otten
1995	C	`conf`	Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR Christoph Kreitz, Jens Otten, Stephan Schmitt