Suche
Kategorie
Erscheinungsjahr
38452 Treffer
×
Publikationen
×
Universität Koblenz
×
Universität Trier
×
Hochschule Trier
×
Hochschule Worms
×
Theologische Fakultät Trier
×
Hochschule für Wirtschaft und Gesellschaft Ludwigshafen
- Thimm, Matthias
- The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation.
- KI. Bd. 31. H. 1. 2017 S. 93 - 97
- Janke, Daniel; Staab, Steffen; Thimm, Matthias
- On data placement strategies in distributed RDF stores.
- SBD@SIGMOD. 2017 S. 1:1 - 1:6
- Brewka, Gerhard; Thimm, Matthias; Ulbricht, Markus
- Strong Inconsistency in Nonmonotonic Reasoning.
- IJCAI. 2017 S. 901 - 907
- Thimm, Matthias
- On the Expressivity of Inconsistency Measures (Extended Abstract).
- IJCAI. 2017 S. 5070 - 5074
- Thimm, Matthias
- The Formal Argumentation Libraries of Tweety.
- TAFA. 2017 S. 137 - 142
- Hopfgartner, Frank; Gurrin, Cathal; Joho, Hideo
- Enabling Research and Innovation Beyond Continental Borders: A Case for Satellite Events in Evaluation Campaigns
- ERCIM NEWS. H. 108. 2017 S. 54 - 55
- Janke, Daniel; Staab, Steffen; Thimm, Matthias
- Koral: A Glass Box Profiling System for Individual Components of Distributed RDF Stores.
- International Semantic Web Conference (Posters, Demos & Industry Tracks). 2017
- Thimm, Matthias
- On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture.
- KI. Bd. 31. H. 1. 2017 S. 31 - 39
- Geilen, Nils; Thimm, Matthias
- Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation.
- TAFA. 2017 S. 143 - 149
- Sarasua, Cristina; Staab, Steffen; Thimm, Matthias
- Methods for Intrinsic Evaluation of Links in the Web of Data.
- ESWC (1). 2017 S. 68 - 84