Suche
Kategorie
Erscheinungsjahr
38211 Treffer
×
Publikationen
×
Universität Koblenz
×
Universität Trier
×
Hochschule Trier
×
Hochschule Worms
×
Theologische Fakultät Trier
- 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
- Thimm, Matthias
- Measuring inconsistency with many-valued logics.
- Int. J. Approx. Reasoning. Bd. 86. 2017 S. 1 - 23
- Bohlouli, Mahdi; Mittas, Nikolaos; Kakarontzas, George et al.
- Competence assessment as an expert system for human resource management: A mathematical approach.
- Expert Syst. Appl. Bd. 70. 2017 S. 83 - 102