Следене
Tomi Janhunen
Tomi Janhunen
Tampere University, Finland
Потвърден имейл адрес: tuni.fi - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
2472006
Answer set programming via mixed integer programming
G Liu, T Janhunen, I Niemela
Thirteenth International Conference on the Principles of Knowledge …, 2012
1122012
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
982006
Modular equivalence for normal logic programs
E Oikarinen, T Janhunen
ECAI 6, 412-416, 2006
972006
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
932009
Representing normal programs with clauses
T Janhunen
ECAI 16, 358, 2004
882004
Computing stable models via reductions to difference logic
T Janhunen, I Niemelä, M Sevalnev
Logic Programming and Nonmonotonic Reasoning: 10th International Conference …, 2009
642009
Compact translations of non-disjunctive answer set programs to propositional clauses
T Janhunen, I Niemelä
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning …, 2011
582011
Achieving compositionality of the stable model semantics for smodels programs1
E Oikarinen, T Janhunen
Theory and Practice of Logic Programming 8 (5-6), 717-761, 2008
532008
SAT modulo graphs: Acyclicity
M Gebser, T Janhunen, J Rintanen
Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014
522014
Gnt-a solver for disjunctive logic programs
T Janhunen, I Niemelä
LPNMR 2004, 331-335, 2004
512004
On the intertranslatability of non‐monotonic logics
T Janhunen
Annals of Mathematics and Artificial Intelligence 27, 79-128, 1999
501999
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
482011
Answer Set Programming as SAT modulo Acyclicity.
M Gebser, T Janhunen, J Rintanen
ECAI 263, 351-356, 2014
462014
Clingo goes linear constraints over reals and integers
T Janhunen, R Kaminski, M Ostrowski, S Schellhorn, P Wanko, T Schaub
Theory and Practice of Logic Programming 17 (5-6), 872-888, 2017
452017
The answer set programming paradigm
T Janhunen, I Nimelä
AI Magazine 37 (3), 13-24, 2016
452016
Platypus: A platform for distributed answer set solving
J Gressmann, T Janhunen, RE Mercer, T Schaub, S Thiele, R Tichy
LPNMR, 227-239, 2005
452005
Learning chordal Markov networks by constraint satisfaction
J Corander, T Janhunen, J Rintanen, H Nyman, J Pensar
Advances in Neural Information Processing Systems 26, 2013
432013
Normalizing cardinality rules using merging and sorting constructions
J Bomanson, T Janhunen
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
412013
A Module-Based Framework for Multi-language Constraint Modeling.
M Järvisalo, E Oikarinen, T Janhunen, I Niemelä
LPNMR, 155-168, 2009
402009
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20