Till Mossakowski | Papers With Codepaperswithcode.com › author › till-mossakowski
paperswithcode.com
no code implementations • 15 Dec • Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus. Moreover, Ontohub is the first repository ...
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski ...philpapers.org › rec › CODOAS-3
philpapers.org
Ontohub: A semantic repository engine for heterogeneous ontologies · Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski & Fabian Neuhaus.
Theoretical Computer Science Till Mossakowski
www.theo.ovgu.de
Eugen Kuksa (2016). Driving in the Rain and Eating Cookies – Do We Need This? Logic-independent Axiom Selection for Automated Theorem Proving in Ontohub;
Theoretical Computer Science Fabian Neuhaus
www.theo.ovgu.de
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus. [doi] [BibTeX] Between Contact and Support: Introducing a logic for image schemas and directed movement .
Ontohub: A semantic repository engine for heterogeneous ...az.art1lib.org › book
az.art1lib.org
... Eugen Kuksa b , Oliver Kutz a , Till Mossakowski b,∗ and Fabian Neuhaus b a Free University of Bozen-Bolzano, Italy E-mails: Mihai.
Search | arXiv e-print repository
arxiv.org
Ontohub: A semantic repository for heterogeneous ontologies. Authors: Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus. Abstract: Ontohub is a repository engine for managing distributed heterogeneous ontologies. The distributed nature enables communities to share and exchange their ...
Ontohub - CEUR-WSceur-ws.org › Vol › demo-paper2
ceur-ws.org
von E Kuksa — Version Control, Linked Data and Theorem Proving for Ontologies. Eugen Kuksa a Till Mossakowski a a Otto-von-Guericke University of Magdeburg, Germany.
Ontohub: A semantic repository for heterogeneous ontologies - arXivarxiv.org › cs
arxiv.org
von M Codescu · · Zitiert von: 32 — Authors:Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus · Download PDF. Abstract: Ontohub is a repository engine ...
Orchestrating a network of mereotopological theoriesdl.acm.org › doi › abs
dl.acm.org
von CM Keet · · Zitiert von: 2 — Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, and Fabian Neuhaus. Ontohub: A semantic repository engine for heterogeneous ontologies.
Automating Type Soundness Proofs for Domain-Specific Languagestuprints.ulb.tu-darmstadt.de › SylviaGreweDissertation
tuprints.ulb.tu-darmstadt.de
von S Grewe · Zitiert von: 1 — Eugen Kuksa and Till Mossakowski. “Prover-independent Axiom Se- lection for Automated Theorem Proving in Ontohub.” In: Proceedings.
Alle Infos zum Namen "Eugen Kuksa"
CEUR-WS.org/Vol th Workshop on Practical Aspects of Automated...
ceur-ws.org
Eugen Kuksa, Till Mossakowski; On Checking Kripke Models for Modal Logic K Jean Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail; Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers Tomer Libal, Alexander Steen;
Till Mossakowski: Supervised theses
iks.cs.ovgu.de
Eugen Kuksa (current master student) Ramya Dirsumilli (current master student) Codruta Girlea (2011). An Extended Modal Logic Institution Second referee of Master theses.
Theoretical Computer Science Publications
www.theo.ovgu.de
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April ,
(PDF) HETS for Common Logic Users | Christoph Langewww.academia.edu › HETS_for_Common_Logic_...
www.academia.edu
HETS for Common Logic Users – Version – Till Mossakowski, Christian Maeder, Mihai Codescu, Eugen Kuksa, Christoph Lange DFKI GmbH, Bremen, Germany.
Reasoning with ontologies in Ontohub - SLIDELEGEND.COM
slidelegend.com
Mar 22, Eugen Kuksa and Till Mossakowski. Ontohub: Version control, linked data and theorem proving for ontologie...
[PDF] Ontohub: A semantic repository for heterogeneous ontologiesresearchain.net › archives › Ontohub-A-Semantic-R...
researchain.net
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus. Abstract. Ontohub is a repository engine for managing distributed heterogeneous ...
[PDF] Prover-independent Axiom Selection for Automated Theorem ...www.semanticscholar.org › paper › Prover-indepen...
www.semanticscholar.org
... Axiom Selection for Automated Theorem Proving in Ontohub}, author={Eugen Kuksa and Till Mossakowski}, booktitle={PAAR@IJCAR}, year={2016} }.
5th Workshop on Practical Aspects of Automated Reasoningcs.ru.nl › paar16
cs.ru.nl
— Eugen Kuksa and Till Mossakowski (15: :30 ) Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.
sortiert nach Relevanz / Datum