Thimm, Matthias

1. Towards Inconsistency Measurement in Business Rule Bases
   2019/11/19 by Corea, Carl, Thimm, Matthias · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
2. Fudge: A light-weight solver for abstract argumentation based on SAT\n reductions
   2021/09/07 by Matthias Thimm, Federico Cerutti, Thimm, Matthias +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Model-Driven Software Engineering Techniques #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
3. The Realizability of Revision and Contraction Operators in Epistemic Spaces
   2024/07/30 by Kai Sauerwald, Sauerwald, Kai, Matthias Thimm +1 · 2 citations
   Computer Science · Mathematics · #03B42 #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.4 #Mathematical and Theoretical Analysis