( en | de | ru )

 

Disambiguierung von "Steen, Alexander"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version).

, und . CoRR, (2022)

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.

Mareike Steen

Steen Meyer

Klaus Steen

Henrikus Steen

Lieselotte Steen

 

Weitere Publikationen von Autoren mit dem selben Namen

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.. Künstliche Intell., 34 (1): 105-108 (2020)Solving Modal Logic Problems by Translation to Higher-Order Logic., , , und . CLAR, Volume 14156 von Lecture Notes in Computer Science, Seite 25-43. Springer, (2023)The Higher-Order Prover Leo-III., und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2937-2938. IOS Press, (2020)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)Extensional Higher-Order Paramodulation in Leo-III., und . CoRR, (2019)Solving QMLTP Problems by Translation to Higher-order Logic., , , und . CoRR, (2022)An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning.. CoRR, (2022)A Formalisation of Abstract Argumentation in Higher-Order Logic., und . CoRR, (2021)Extensional Higher-Order Paramodulation in Leo-III., und . J. Autom. Reason., 65 (6): 775-807 (2021)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)