• "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 Resource-Constrained Data Analysis", (2011-?, funded by Deutsche Forschungsgemeinschaft)

• Tweety: A comprehensive Java library for logic aspects of artificial intelligence and knowledge representation
• probo: A Benchmark Framework for Computational Argumentation Competitions
• KReator: A toolbox for relational probabilistic knowledge representation, reasoning, and learning

• LISA (local information, search, and aggregation): A web-based platform for exploring open data of local governments (in German only). **first prize winner in the "Apps4Germany" competition 2012**

© Matthias Thimm