Filters








661 Hits in 3.4 sec

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report) [article]

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
2020 arXiv   pre-print
This motivates our interest in finding small proofs for Description Logic (DL) entailments.  ...  Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences.  ...  [36] Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pages 930-941, 2013. URL: http://ceur-ws.org/Vol-1014/paper_36.pdf.  ... 
arXiv:2004.08311v2 fatcat:rz4frvtnrndj7ik36ouq4w47ku

Jahresbericht 2013 Institut für Nachrichtentechnik (IfN), Technische Universität Braunschweig

:None, Universitätsbibliothek Braunschweig
2013 Jahresbericht Institut für Nachrichtentechnik (IfN)  
International Journal on Document Analy- sis and Recognition (IJDAR), elektronisch (22 Seiten), Springer Berlin Heidelberg, 2013. [REI1] Reimers, U.: Quo Vadis DTT -Germany as a Case Study.  ...  Die Arbeiten des externen Doktoranden Timo Mattheja bei der Firma Nuance in Ulm sind weiter fortgeschritten.  ...  Im Januar 2013 startete das vom Qatar National Research Fund geförderte Projekt CellCar ("Advanced Cellular Technologies for Connected Cars"), bei dem wir mit Wissenschaftlern des Qatar Mobile Innovations  ... 
doi:10.24355/dbbs.084-201401231206-0 fatcat:uigsnzi6vnepvb5l3q4qt2ltfa

Implementation of a population-based epidemiological rare disease registry: study protocol of the amyotrophic lateral sclerosis (ALS) - registry Swabia

Gabriele Nagel, Hatice Ünal, Angela Rosenbohm, Albert C Ludolph, Dietrich Rothenbacher
2013 BMC Neurology  
The objective of this work is to describe the study protocol and the implementation steps of the amyotrophic lateral sclerosis (ALS) registry Swabia, located in the South of Germany.  ...  Swabia started in October 2010 with both, the retrospective (01.10.2008-30.09.2010) and prospective (from 01.10.2010) collection of ALS cases, in a target population of 8.6 million persons in Southern Germany  ...  Figure 1 1 Study region of the ALS-registry Swabia located in the South of Germany.  ... 
doi:10.1186/1471-2377-13-22 pmid:23414001 pmcid:PMC3582473 fatcat:vobnftauszcoziar4wbarj7zrq

"Catalysts for Alcohol-Fuelled Direct Oxidation Fuel Cells"

Alex Martinez Bonastre
2013 Platinum Metals Review  
Catalyst Preparation Quantum Mechanical Modelling Chapter 3, 'Theoretical Studies of Formic Acid Oxidation', by Wang Gao and Timo Jacob (Universität Ulm, Germany), is the only chapter dedicated to the  ...  Johnson Matthey http://dx.doi.org/10.1595/147106713X671871•Platinum Metals Rev., 2013, 57, (4)•  ... 
doi:10.1595/147106713x671871 fatcat:4hrudgoirfcqjj7ojifdercwoy

Finding Small Proofs for Description Logic Entailments: Theory and Practice

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
unpublished
This motivates our interest in finding small proofs for Description Logic (DL) entailments.  ...  Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences.  ...  [36] Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pages 930-941, 2013. URL: http://ceur-ws.org/Vol-1014/paper_36.pdf.  ... 
doi:10.29007/nhpp fatcat:pa6ao2xhrvewvenwxo5t4tccmy

Special Issue on Semantic Web

Birte Glimm, Heiner Stuckenschmidt
2016 Künstliche Intelligenz  
Ulm, Germany 2 Chair of Artificial Intelligence, University of Mannheim, 68161 Mannheim, Germany and look at the development of research trends and methodologies within the last 15 years; the survey  ...  Logic EL??.  ... 
doi:10.1007/s13218-016-0430-3 fatcat:w5snd5bggfhytduqs7cx5wfnly

Development and psychometric properties of a five-language multiperspective instrument to assess clinical decision making style in the treatment of people with severe mental illness (CDMS)

Bernd Puschner, Petra Neumann, Harriet Jordan, Mike Slade, Andrea Fiorillo, Domenico Giacco, Anikó Égerházi, Tibor Ivánka, Malene Krogsgaard Bording, Helle Østermark Sørensen, Arlette Bär, Wolfram Kawohl (+1 others)
2013 BMC Psychiatry  
validity, and long-term stability of the CDMS were examined using Spearman correlations in a sample of 588 people with severe mental illness and 213 mental health professionals in 6 European countries (Germany  ...  Study centre Ulm, n (%) 48 (22.54) London, n (%) 38 (17.84) Naples, n (%) 17 (7.98) Debrecen, n (%) 8 (3.79) Aalborg, n (%) 59 (27.69) Zurich, n (%) 43 (20.19) Gender; female, n (%) 128 (61.84) Age; years  ...  II, Ulm University, Germany (coordinating centre); South London and Maudsley NHS Foundation Trust, London, U.K.; the Department of Psychiatry at Second University of Naples, Italy; the Department of Psychiatry  ... 
doi:10.1186/1471-244x-13-48 pmid:23379280 pmcid:PMC3570278 fatcat:ubpvnlkxzjedvocgpv2hja6nsm

Psychosomatic Assessment and Integrative Care: 22nd World Congress on Psychosomatic Medicine Lisboa, September 12–14, 2013

2013 Psychotherapy and Psychosomatics  
Kaschka WP, Steyer J, Hodgkinson S, Jandl M University of Ulm, Department of Psychiatry I, Zentrum für Psychiatrie Südwürttemberg, Ulm, Germany Introduction: burnout syndrome is now a common reason for  ...  Alexithymia is associated with altered top down control of behaviour Herbert BM Department of Health Psychology, University of Ulm, Ulm, Germany Introduction: alexithymia typically comprises difficulties  ...  Case description: a 49 years old man, immune competent, was diagnosed with Cryptococcal Meningitis, whose presentation was essentially neuropsychiatric.  ... 
doi:10.1159/000354142 pmid:24052068 fatcat:bu3zzfnxk5fltoue7e37wtcjeq

Front & Back Matter

2013 Pediatric Neurosurgery  
or further Karger offices or representatives: Germany S.  ...  Each chapter off ers a concise description of useful 'pearls' and dangerous 'pitfalls' which must be avoided.  ...  er, I think such a distinc tion betwee n 'pure' senescen ce and patholo gical age-ass ociated process es is a rather academ ic issue, raising unnece ssary barrier s betwee n basic and applied geronto logical  ... 
doi:10.1159/000362179 fatcat:ok26sfxkjfcbpmb67ew4gtiska

Pleased to Meet You!

Anni-Yasmin Turhan
2015 Künstliche Intelligenz  
My work is mainly on formal ontology languages or more precisely, on Description Logics, which are nowadays often included in the wider field of semantic technologies.  ...  Susanne Biundo-Stephan Daniel Höller Pascal Bercher Institute of Artificial Intelligence Ulm University 89069 Ulm susanne.biundo@uni-ulm.de daniel.hoeller@uni-ulm.de pascal.bercher@uni-ulm.de Semantic  ... 
doi:10.1007/s13218-015-0393-9 fatcat:mz4lrpl3rndnnnj36fdubggpyi

Experiences of Polish Forced Laborers from Łódź Employed for Telefunken in Ulm in Years 1944–1945 with Consideration of Medical Care

Florian Steger, Marcin Orzechowski
2020 Acta Universitatis Lodziensis Folia Philosophica Ethica-Aesthetica-Practica  
In years 1944–1945, more than 1.400 girls and young women from the Polish city of Łódź were displaced to Ulm in Germany and forced to work there.  ...  46 Interview with a former forced laborer for Telefunken in Ulm (I-003).  ...  Wolfgang Proske (München and Ulm: Klemm + Oelschläger, 2013). 44 Ulrich Seemüller, "Industrie, Gewerbe und Handel." 45 Annette Schäfer, Der Einsatz polnischer und russischer Zwangsarbeiter, 296.  ... 
doi:10.18778/0208-6107.37.03 fatcat:saky2ho66nfxzj3qkjgcpibfqy

A Generic Approach for the Semantic Annotation of Conceptual Models Using a Service-Oriented Architecture

Hans-Georg Fill, Daniela Schremser, Dimitris Karagiannis
2013 International Journal of Knowledge Management  
Ulm, Germany: Springer. Höfferer, P. (2007) . Achieving business process model interoperability using metamodels and ontologies. In H. Oesterle, J. Schelp, & R.  ...  International Journal of Knowledge Management, 9(1), 76-88, January-March 2013Copyright © 2013, IGI Global.  ...  Copyright © 2013, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited.  ... 
doi:10.4018/jkm.2013010105 fatcat:gz6diaxv45dk7enryrnrmd47vu

The Linked Data Benchmark Council Project

Peter Boncz, Irini Fundulaki, Andrey Gubichev, Josep Larriba-Pey, Thomas Neumann
2013 Datenbank-Spektrum  
As an example consider the following set of triples: (Albert Einstein, bornIn, Ulm) (Ulm, locatedIn, Baden-Württemberg) (Berlin, locatedIn, Germany) and the SPARQL query: SELECT ?person WHERE { ?  ...  place <locatedIn>* <Germany> } This query finds all the people born in Germany by matching the entities-places that can reach Germany via several instances of the <locatedIn> predicate (using the transitive  ... 
doi:10.1007/s13222-013-0125-y fatcat:qmqlsg23djf5dn24eavhffhuou

Jahresbericht der Universität Ulm 2013

Karl Joachim Ebeling, Universität Ulm
2016
Jahresbericht der Universität Ulm 2013 in deutscher und englischer Sprache  ...  Etwas mehr als dieGermany ScholarshipThe number of Germany Scholarships awarded at Ulm University increased again. For the 2013/2014 winter semester, 81 scholarships were awarded.  ...  Yevgeny Kazakov, Institut für Künstliche Intelligenz 2006 2007 2008 2009 2005 2004 2010 Heisenberg-Stipendium der DFG 2011 2012 2013 Logical Methods for Ontology Engineering 2007 2008 2006 2005 2004 2009  ... 
doi:10.18725/oparu-3824 fatcat:wx7ttcv6yna4xiqjx3fl2e2yvq

Joint Meeting of the FESN (Federation of the European Societies of Neuropsychology)/GNP (Gesellschaft für Neuropsychologie) September 12-14, 2013, Berlin, Germany

2013 Behavioural Neurology  
Ingo Uttner, Universität Ulm, Neurologische Klinik, Oberer Eselsberg 45, D-89081 Ulm, Germany.  ...  Neurosci, 2011. [4] Schulz R. et al (2013) Non-invasive brain stimulation in neurological diseases. Neuropharmacology, 2013 [5] Marangolo, P. et al.  ... 
doi:10.3233/ben-139900 pmid:28149002 pmcid:PMC5215690 fatcat:f4olin3ogfg7zlznht4ryjbtym
« Previous Showing results 1 — 15 out of 661 results