Tomi Janhunen
Tomi Janhunen
Tampere University, Finland
Dirección de correo verificada de tuni.fi - Página principal
Título
Citado por
Citado por
Año
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
2232006
Answer set programming via mixed integer programming
G Liu, T Janhunen, I Niemela
Thirteenth International Conference on the Principles of Knowledge …, 2012
1022012
Modular equivalence for normal logic programs
E Oikarinen, T Janhunen
ECAI 6, 412-416, 2006
902006
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
832006
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
762009
Representing normal programs with clauses
T Janhunen
Proceedings of the 16th European Conference on Artificial Intelligence, 358-362, 2004
762004
Computing stable models via reductions to difference logic
T Janhunen, I Niemelä, M Sevalnev
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
612009
GNT—A solver for disjunctive logic programs
T Janhunen, I Niemelä
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2004
512004
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
492011
On the intertranslatability of non‐monotonic logics
T Janhunen
Annals of Mathematics and Artificial Intelligence 27 (1-4), 79-128, 1999
481999
Achieving compositionality of the stable model semantics for smodels programs
E Oikarinen, T Janhunen
arXiv preprint arXiv:0809.4582, 2008
462008
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
432005
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
422011
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
402009
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
372001
SAT modulo graphs: Acyclicity
M Gebser, T Janhunen, J Rintanen
European Workshop on Logics in Artificial Intelligence, 137-151, 2014
362014
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
362013
Answer Set Programming as SAT modulo Acyclicity.
M Gebser, T Janhunen, J Rintanen
ECAI 263, 351-356, 2014
352014
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2007
352007
Normalizing cardinality rules using merging and sorting constructions
J Bomanson, T Janhunen
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2013
332013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20