Unfolding partiality and disjunctions in stable model semantics T Janhunen, I Niemelä, D Seipel, P Simons, JH You ACM Transactions on Computational Logic (TOCL) 7 (1), 1-37, 2006 | 229 | 2006 |

Answer set programming via mixed integer programming G Liu, T Janhunen, I Niemela Thirteenth International Conference on the Principles of Knowledge …, 2012 | 105 | 2012 |

Modular equivalence for normal logic programs E Oikarinen, T Janhunen ECAI 6, 412-416, 2006 | 93 | 2006 |

Some (in) translatability results for normal logic programs and propositional theories T Janhunen Journal of Applied Non-Classical Logics 16 (1-2), 35-86, 2006 | 86 | 2006 |

Modularity aspects of disjunctive stable models T Janhunen, E Oikarinen, H Tompits, S Woltran Journal of Artificial Intelligence Research 35, 813-857, 2009 | 80 | 2009 |

Representing normal programs with clauses T Janhunen Proceedings of the 16th European Conference on Artificial Intelligence, 358-362, 2004 | 77 | 2004 |

Computing stable models via reductions to difference logic T Janhunen, I Niemelä, M Sevalnev International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 62 | 2009 |

Compact translations of non-disjunctive answer set programs to propositional clauses T Janhunen, I Niemelä Logic programming, knowledge representation, and nonmonotonic reasoning, 111-130, 2011 | 51 | 2011 |

GNT—A solver for disjunctive logic programs T Janhunen, I Niemelä International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004 | 51 | 2004 |

On the intertranslatability of non‐monotonic logics T Janhunen Annals of Mathematics and Artificial Intelligence 27 (1-4), 79-128, 1999 | 49 | 1999 |

Achieving compositionality of the stable model semantics for smodels programs E Oikarinen, T Janhunen arXiv preprint arXiv:0809.4582, 2008 | 48 | 2008 |

Tight integration of non-ground answer set programming and satisfiability modulo theories T Janhunen, G Liu, I Niemelä Proceedings of the First Workshop on Grounding and Transformation for …, 2011 | 45 | 2011 |

Platypus: A platform for distributed answer set solving J Gressmann, T Janhunen, RE Mercer, T Schaub, S Thiele, R Tichy International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005 | 43 | 2005 |

Learning chordal Markov networks by constraint satisfaction J Corander, T Janhunen, J Rintanen, H Nyman, J Pensar Advances in Neural Information Processing Systems, 1349-1357, 2013 | 40 | 2013 |

A module-based framework for multi-language constraint modeling M Järvisalo, E Oikarinen, T Janhunen, I Niemelä International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 40 | 2009 |

Normalizing cardinality rules using merging and sorting constructions J Bomanson, T Janhunen International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013 | 38 | 2013 |

SAT modulo graphs: Acyclicity M Gebser, T Janhunen, J Rintanen European Workshop on Logics in Artificial Intelligence, 137-151, 2014 | 37 | 2014 |

Answer Set Programming as SAT modulo Acyclicity. M Gebser, T Janhunen, J Rintanen ECAI 263, 351-356, 2014 | 37 | 2014 |

On the effect of default negation on the expressiveness of disjunctive rules T Janhunen International Conference on Logic Programming and Nonmonotonic Reasoning, 93-106, 2001 | 37 | 2001 |

Modularity aspects of disjunctive stable models T Janhunen, E Oikarinen, H Tompits, S Woltran International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007 | 35 | 2007 |