• "Live+Gov": Reality Sensing, Mining and Augmentation for Mobile Citizen-eGovernment Dialogue (2012-2015, funded by EU 7th Framework Programme)
• "SocialSensor": Sensing User Generated Input for Improved Media Discovery and Experience (2011-2014, funded by EU 7th Framework Programme)
• "KReate": Logic-based probabilistic knowledge representation for relational learning, modeling, and reasoning (2008-2011, funded by Deutsche Forschungsgemeinschaft)
• "PROALAR BR+ARG": Combining belief revision and argumentation for enhancing the reasoning capabilities of agents in multiagent system (2010-2011, funded by Deutscher Akademischer Auslandsdienst)
• "Exchange and Fusion of Information under Availability and Confidentiality Requirements in Multi-Agent Systems" in the collaborative research center "SFB 876: Providing Information by Ressource-Constrained Data Analysis", (2011-?, funded by Deutsche Forschungsgemeinschaft)

• KReator: A toolbox for relational probabilistic knowledge representation, reasoning, and learning.
• Tweety: A comprehensive Java library for logic aspects of artificial intelligence and knowledge representation.

© Matthias Thimm