Janhunen, Tomi

1. Clingo goes Linear Constraints over Reals and Integers
   2017/07/13 by Janhunen, Tomi, Kaminski, Roland, Ostrowski, Max +3 · 5 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
2. Stable-Unstable Semantics: Beyond NP with Normal Logic Programs
   2016/08/05 by Bogaerts, Bart, Janhunen, Tomi, Tasharrofi, Shahab · 1 citation
   #68T30 #Artificial Intelligence (cs.AI) #D.1.6 #F.4.1 #FOS: Computer and information sciences #I.2.3
3. Explainability via Short Formulas: the Case of Propositional Logic with Implementation
   2022/09/03 by Reijo Jaakkola, Tomi Janhunen, Jaakkola, Reijo +7 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Formal Methods in Verification
4. Short Boolean Formulas as Explanations in Practice
   2023/07/13 by Jaakkola, Reijo, Janhunen, Tomi, Kuusisto, Antti +2 · 1 citation
   #Artificial Intelligence (cs.AI) #D.1.6 #F.4.1 #FOS: Computer and information sciences #I.2.4 #I.2.6 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)