Travelled to:1 × Austria
1 × Canada
1 × United Kingdom
Collaborated with:G.Kern-Isberner ∅ C.Beierle M.Finthammer
Talks about:probabilist (2) represent (2) knowledg (2) relat (2) comprehens (1) intellig (1) artifici (1) approach (1) librari (1) collect (1)
Person: Matthias Thimm
DBLP: Thimm:Matthias
Contributed to:
2014
20102010Wrote 3 papers:
- KR-2014-Thimm #aspect-oriented #information management #java #library #logic #named #representation
- Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (MT).
- IJCAR-2010-BeierleFKT #automation #information management #probability #reasoning #relational #representation
- Automated Reasoning for Relational Probabilistic Knowledge Representation (CB, MF, GKI, MT), pp. 218–224.
- KR-2010-Kern-IsbernerT #novel #probability #relational #semantics
- Novel Semantical Approaches to Relational Probabilistic Conditionals (GKI, MT).