Ulrich Furbach und Claudia - Info zur Person

(1 - 17 von 20

)

UQAM | École d'été en sciences cognitives 2016

www.summer16.isc.uqam.ca

11:30 - Ulrich Furbach – Automated Reasoning for Cognitive Com…ng New York, NY: Routledge Furbach, Ulrich, Björn Pelzer, and Claudia Schon.

[ ] The RatioLog Project: Rational Extensions of Logical...

arxiv.org

Authors: Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth. (Submitted on 20 Mar (v1), last revised 30 Jul (this ...

dblp: Claudia Schon

dblp.uni-trier.de

List of computer science publications by Claudia Schon

Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Rafal Rzepka, Claudia Schon, Jordi Vallverdú, Andre Wlodarczyk: Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao ...

Search results for "Ulrich Furbach" – FacetedDBLP

dblp.l3s.uni-hannover.de

Ulrich Furbach(112) Peter Baumgartner(28) Frieder Stolzenburg(14) Claudia Schon(13) Björn Pelzer(7) Jürgen Dix(7) Margret Groß-Hardt(6) Ammar Mohammed(5) Christian ...

CEUR-WS.org/Vol Bridging the Gap between …

ceur-ws.org

· Ulrich Furbach, Andrew S. Gordon, Claudia Schon Interactive Theorem Proving - Modelling the User in the Proof Process Bernhard Beckert, Sarah Grebing The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface ...

KIT - Anwendungsorientierte Formale Verifikation - Veröffentlichungen

formal.kastel.kit.edu

... {Ulrich Furbach and Claudia Schon}, volume = {1412}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, url = {http://ceur-ws.org/Vol-1412} ...

Corg - Cognitive Reasoning

corg.hs-harz.de

Ulrich Furbach, Teresa Krämer, and Claudia Schon. Names are not just sound and smoke: Word embeddings for axiom selection. In Pascal Fontaine, editor, Automated Deduction - CADE th International Conference on Automated Deduction, Natal, Brazil, August , 2019, Proceedings, volume of Lecture Notes in Computer Science, pages 250–268.