Michael Halfmann und Liebig - Info zur Person

(1 - 9 von 9

)

Automated Reasoning with Analytic Tableaux and Related ...google.de

books.google.de

... Michael Halfmann Dept. of AI, University of Ulm, D Ulm, Germany {liebig, -ulm.de Abstract. This paper describes the ...

Automated Reasoning with Analytic Tableaux and Related ...

books.google.de

A. Tableau-Based. Explainer. for. DL. Subsumption. Thorsten Liebig and Michael Halfmann Dept. of AI, University of Ulm, D Ulm, Germany {liebig, ...

News — Digitalisierung, E-Business und Operations ...Justus-Liebig-Universität Gießen

www.uni-giessen.de

Das Interview mit Omer Biran and Michael Halfmann zum Thema “Conversational Agents at SAP” ist nun veröffentlicht.

A Tableau-Based Explainer for DL Subsumption

www.uni-ulm.de

WebThorsten Liebig and Michael Halfmann Dept. of AI, University of Ulm, D Ulm, Germany -ulm.de -ulm.de Abstract. …

Publikationen — Digitalisierung, E-Business und ...Justus-Liebig-Universität Gießen

www.uni-giessen.de

Pfeiffer, Jella (2020). Interview with Omer Biran and Michael Halfmann on "Conversational Agents at SAP". Business & information Systems Engineering, 62, p. Pfeiffer, Jella (2020). Interview with Omer Biran and Michael Halfmann on "Conversational Agents at SAP". Business & information Systems Engineering, 62, p.

A Tableau-Based Explainer for DL SubsumptionSpringer

link.springer.com

von T Liebig · · Zitiert von: 4 — Michael Halfmann. Part of the book series ... Authors and Affiliations. Dept. of AI, University of Ulm, D , Ulm, Germany. Thorsten Liebig & Michael Halfmann. von T Liebig · · Zitiert von: 4 — Michael Halfmann. Part of the book series ... Authors and Affiliations. Dept. of AI, University of Ulm, D , Ulm, Germany. Thorsten Liebig & Michael Halfmann.

Speedups for QGMG on KSR1 and IBM SP2. - ResearchGate

www.researchgate.net

Thorsten Liebig · Michael Halfmann. This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi ... › figure

Alle Infos zum Namen "Michael Halfmann"

Verwandte Suchanfragen zu Michael Halfmann

Burkhard Dierks
Tobias Duwe
Jost Halfmann

Ulrike Halfmann
Julian Halfmann
Torsten Mörchel

Personen
Vorname "Michael" (149265)
Name "Halfmann" (405)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Michael Halfmann und Liebig Person-Info