Autor der Publikation

System Feature Description: Importing Refutations into the GAPT Framework.

, , , , , , und . PxTP, Volume 878 von CEUR Workshop Proceedings, Seite 51-57. CEUR-WS.org, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A general proof certification framework for modal logic., und . CoRR, (2018)NAI: The Normative Reasoner., und . ICAIL, Seite 262-263. ACM, (2019)A Resolution Calculus for Second-order Logic with Eager Unification., und . PAAR@IJCAR, Volume 21 von EPiC Series in Computing, Seite 95. EasyChair, (2012)Do Lawyers Use Automated Reasoning? (invited paper).. ARQNL@IJCAR, Volume 3326 von CEUR Workshop Proceedings, Seite 1-10. CEUR-WS.org, (2022)Legal linguistic templates and the tension between legal knowledge representation and reasoning.. Frontiers Artif. Intell., (Februar 2023)System Description: The Proof Transformation System CERES., , , , und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 427-433. Springer, (2010)Towards an Executable Methodology for the Formalization of Legal Texts., und . CLAR, Volume 12061 von Lecture Notes in Computer Science, Seite 151-165. Springer, (2020)Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers., und . PAAR@IJCAR, Volume 1635 von CEUR Workshop Proceedings, Seite 82-94. CEUR-WS.org, (2016)Giving Examples Instead of Answering Questions: Introducing Legal Concept-Example Systems, und . IOS Press, (Dezember 2023)Automated Reasoning in Normative Detachment Structures with Ideal Conditions., und . CoRR, (2018)