1
0
0
(1 - 30 von 42
)
Prof. Dr. Christoph Benzmüller - Universität Bamberguni-bamberg.de
www.uni-bamberg.de
Prof. Christoph Benzmüller ist seit Inhaber des Lehrstuhls für KI-Systementwicklung an der Universität Bamberg. Als außerplanmäßiger Professor ist er zudem ...
Artificial Intelligence | Vol 287, October ScienceDirect.comwww.sciencedirect.com › journal › vol › suppl
www.sciencedirect.com
Christoph Benzmüller, Xavier Parent, Leendert van der Torre. Article : Download PDF. Article preview. select article Evaluation of the moral ...
BibTeX records: Christoph Benzmüller - DBLPdblp.uni-trier.de › Christoph Benzmüller
dblp.uni-trier.de
List of computer science publications by BibTeX records: Christoph Benzmüller.
Faceted Answer-Set Navigation – International Center for ...
iccl.inf.tu-dresden.de
Christian Al-Rabaa, Sebastian Rudolph, Lukas Schweizer Faceted Answer-Set Navigation In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September , 2018, Proceedings, volume of Lecture Notes in Computer ScienceSeptember
Christoph Benzmüller - DBLPdblp.org › Persons
dblp.org
· Christoph Benzmüller, Jens Otten: Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics ...
dblp: 60. Birthday: Christoph Walther
dblp.uni-trier.de
Bibliographic content of 60. Birthday: Christoph Walther
Justifications for the Description Logics Knowledge Bases under the...
iccl.inf.tu-dresden.de
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa. Justifications for the Description Logics Knowledge Bases under the Fixed-Domain...
Search results for "Christoph Benzmüller" – FacetedDBLP
dblp.l3s.uni-hannover.de
Christoph Benzmüller(77) Serge Autexier(12) Volker Sorge(12) Jörg H. Siekmann(11) Andreas Meier(8) Marvin R. G. Schiller(8) Michael Kohlhase(8) Armin Fiedler(7 ...
Christoph Benzmüller – ScienceOpen
www.scienceopen.com
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom ...
dblp: User Interfaces for Theorem Provers
dblp.uni-trier.de
Bibliographic content of User Interfaces for Theorem Provers
FotFS - Proceedings
www.math.uni-hamburg.de
Christoph Benzmüller (Saarbrücken) Comparing Approaches to Resolution based Higher-Order Theorem Proving August 13th, 1999; Revised December 1st, ...
dblp1.uni-trier.de
dblp1.uni-trier.de
Christoph Benzmüller, Jens Otten: Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the Internatio
Search results for "Arnaud Fietzke" – FacetedDBLP
dblp.l3s.uni-hannover.de
Publications of "Arnaud Fietzke" ( http://dblp.L3S.de/Authors/Arnaud_Fietzke ) ... Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke:
dblp: record conf/rweb/BenzmullerP15
dblp.uni-trier.de
Bibliographic details on record conf/rweb/BenzmullerP15
KI2020 – Program
ki2020.uni-bamberg.de
Reasonable Machines: A Research Manifesto Christoph Benzmüller and Bertram Lomfeld; A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty Lukas Berger, Marco Ragni and Bernhard Nebel; Earnings Prediction with Deep Leaning Lars Elend, Sebastian Tideman, Kerstin Lopatta and …
dblp: Bruno Woltzenlogel Paleo
dblp.uni-trier.de
Christoph Benzmüller, L. Weber, Bruno Woltzenlogel Paleo: Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy. Logica Universalis 11 ( 1 ) : ( )
Deep Inference for Automated Proof Tutoring?: Publikationen -...
robotik.dfki-bremen.de
... Christoph Benzmüller. Editors: Roman Englert, Michael Beetz, Joachim Hertzberg. In Advances in Artificial Intelligence, (KI-2007)Osnabrück
dblp: Christoph Benzmüller
dblp.uni-trier.de
List of computer science publications by Christoph Benzmüller
Mark Buckley, Saarland University
www.coli.uni-saarland.de
Mark Buckley and Christoph Benzmüller. System Description: A Dialogue Manager supporting Natural Language Tutorial Dialogue on Proofs. In David Aspinall and Christoph Lüth, editors, Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP05), pages , Edinburgh, Scotland, pdf - bibtex
Serge Autexier - Publications
www.informatik.uni-bremen.de
Serge Autexier, Christoph Benzmüller. Preface, In Serge Autexier, Christoph Benzmüller (Ed) 7th Workshop on User Interfaces for Theorem Provers (UITP'06), Vol. 174(2), Electronic Notes on Theoretical Computer Science, p. 1-2, Elsevier, April, Paper Bib; Serge Autexier and …
Search results for "The Seventeen Provers of the World" – FacetedDBLP
dblp.l3s.de
Christoph Benzmüller, Armin Fiedler, Andreas Meier, Martin Pollet, Jörg H. Siekmann: Omega. The Seventeen Provers of the World : 2006: DBLP DOI BibTeX RDF: 1:
FotFS - Participants
www.math.uni-hamburg.de
Foundations of the Formal Sciences. Participants.
Claus Beisbart (München)
Moral dilemmas and problems of Christoph Benzmüller (Saarbrücken)
On Automated Higher-Order Theorem ...
Prof Dr. Chris Benzmüller - Universität Ulmwww.uni-ulm.de › kognitive-systeme › prof-dr-chris-benzmueller
www.uni-ulm.de
· Christoph Benzmüller (FU Berlin, University of Luxembourg). Abstract. If humans and intelligent machines are supposed to peacefully co-exist, ...
Verwandte Suchanfragen zu Christoph Benzmüller
Frank Theiss Alexander Steen Wolfgang Windsteiger | Andreas Meier Serge Autexier Henning Benzmüller | Michael Klemm Dirk Schneider |
Personen Vorname "Christoph" (43400) Name "Benzmüller" (50) |
sortiert nach Relevanz / Datum