E-LIB Suche - Ergebnisse für: Steen, Alexander

1

Non-Classical Reasoning for Contemporary AI Applications:

Steen, Alexander ; Benzmüller, Christoph
KI - Künstliche Intelligenz. , 2024

Link: https://doi.org/10.1007/..

2

An encoding of abstract dialectical frameworks into higher-..:

Martina, Antoine ; Steen, Alexander
Journal of Logic and Computation. , 2024

Link: https://doi.org/10.1093/..

3

What are Non-classical Logics and Why Do We Need Them? An E..:

Steen, Alexander ; Benzmüller, Christoph
KI - Künstliche Intelligenz. , 2024

Link: https://doi.org/10.1007/..

4

Challenges for Non-Classical Reasoning in Contemporary AI A..:

Steen, Alexander ; Benzmüller, Christoph
KI - Künstliche Intelligenz. , 2024

Link: https://doi.org/10.1007/..

5

Encapsulation of Transketolase into In Vitro-Assembled Prot..:

Van de Steen, Alexander ; Wilkinson, Henry C. ; Dalby, Paul A..
ACS Applied Bio Materials. 7 (2024) 6 - p. 3660-3674 , 2024

Link: https://doi.org/10.1021/..

6

Solving Modal Logic Problems by Translation to Higher-Order..:

, In: Lecture Notes in Computer Science; Logic and Argumentation,

Steen, Alexander ; Sutcliffe, Geoff ; Scholl, Tobias. - p. 25-43 , 2023

Link: https://doi.org/10.1007/..

7

KI 2023: Advances in Artificial Intelligence: 46th German C..

Lecture Notes in Artificial Intelligence, 14236

Seipel, Dietmar ; Steen, Alexander - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

8

Who finds the short proof?:

Benzmüller, Christoph ; Fuenmayor, David ; Steen, Alexander.
Logic Journal of the IGPL. 32 (2023) 3 - p. 442-464 , 2023

Link: https://doi.org/10.1093/..

9

Flexible Automation of Quantified Multi-Modal Logics with I..:

, In: KI 2023: Advances in Artificial Intelligence; Lecture Notes in Computer Science,

Taprogge, Melanie ; Steen, Alexander - p. 215-230 , 2023

Link: https://doi.org/10.1007/..

10

A formalization of abstract argumentation in higher-order l..:

Steen, Alexander ; Fuenmayor, David
Journal of Logic and Computation. , 2023

Link: https://doi.org/10.1093/..

11

Bridging Between LegalRuleML and TPTP for Automated Normati..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,

Steen, Alexander ; Fuenmayor, David - p. 244-260 , 2022

Link: https://doi.org/10.1007/..

12

Bioengineering bacterial encapsulin nanocompartments as tar..:

Van de Steen, Alexander ; Khalife, Rana ; Colant, Noelle...
Synthetic and Systems Biotechnology. 6 (2021) 3 - p. 231-241 , 2021

Link: https://doi.org/10.1016/..

13

Extensional Higher-Order Paramodulation in Leo-III:

Steen, Alexander ; Benzmüller, Christoph
Journal of Automated Reasoning. 65 (2021) 6 - p. 775-807 , 2021

Link: https://doi.org/10.1007/..

14

LogiKEy workbench: Deontic logics, logic combinations and e..:

Benzmüller, Christoph ; Farjami, Ali ; Fuenmayor, David...
Data in Brief. 33 (2020) - p. 106409 , 2020

Link: https://doi.org/10.1016/..

15

Towards an Executable Methodology for the Formalization of ..:

, In: Lecture Notes in Computer Science; Logic and Argumentation,

Libal, Tomer ; Steen, Alexander - p. 151-165 , 2020

Link: https://doi.org/10.1007/..