A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
[article]
2020
arXiv
pre-print
Preserved Fulltext
Other Versions
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
2013
Jahresbericht Institut für Nachrichtentechnik (IfN)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
BMC Neurology
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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"
2013
Platinum Metals Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2013
BMC Psychiatry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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!
2015
Künstliche Intelligenz
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2020
Acta Universitatis Lodziensis Folia Philosophica Ethica-Aesthetica-Practica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Journal of Knowledge Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Datenbank-Spektrum
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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