Artikel mit Open-Access-Mandaten - Tomi JanhunenWeitere Informationen
Nicht verfügbar: 1
Cumulativity Tailored for Nonmonotonic Reasoning
T Janhunen, I Niemelä
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015
Mandate: Academy of Finland
Verfügbar: 41
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
Mandate: Fonds zur Förderung der wissenschaftlichen Forschung
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
Mandate: Deutsche Forschungsgemeinschaft, Academy of Finland
The answer set programming paradigm
T Janhunen, I Nimelä
AI Magazine 37 (3), 13-24, 2016
Mandate: Academy of Finland
Answer set programming modulo acyclicity
J Bomanson, M Gebser, T Janhunen, B Kaufmann, T Schaub
Fundamenta Informaticae 147 (1), 63-91, 2016
Mandate: Deutsche Forschungsgemeinschaft, Academy of Finland
Improving the normalization of weight rules in answer set programs
J Bomanson, M Gebser, T Janhunen
European Workshop on Logics in Artificial Intelligence, 166-180, 2014
Mandate: Academy of Finland
Optimizing phylogenetic supertrees using answer set programming
L Koponen, E Oikarinen, T Janhunen, L Säilä
Theory and Practice of Logic Programming 15 (4-5), 604-619, 2015
Mandate: Academy of Finland
Solving QBF instances with nested SAT solvers
B Bogaerts, T Janhunen, S Tasharrofi
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Mandate: Academy of Finland
On testing answer-set programs
T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits
ECAI 2010, 951-956, 2010
Mandate: Fonds zur Förderung der wissenschaftlichen Forschung
Stable-unstable semantics: Beyond NP with normal logic programs
B Bogaerts, T Janhunen, S Tasharrofi
Theory and Practice of Logic Programming 16 (5-6), 570-586, 2016
Mandate: Academy of Finland
Random vs. structure-based testing of answer-set programs: An experimental comparison
T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
Mandate: Fonds zur Förderung der wissenschaftlichen Forschung
Enhancing lazy grounding with lazy normalization in answer-set programming
J Bomanson, T Janhunen, A Weinzierl
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2694-2702, 2019
Mandate: Academy of Finland
Learning discrete decomposable graphical models via constraint optimization
T Janhunen, M Gebser, J Rintanen, H Nyman, J Pensar, J Corander
Statistics and Computing 27, 115-130, 2017
Mandate: Academy of Finland
Forgetting in modular answer set programming
R Gonçalves, T Janhunen, M Knorr, J Leite, S Woltran
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2843-2850, 2019
Mandate: Fonds zur Förderung der wissenschaftlichen Forschung, Academy of Finland …
SAT-TO-SAT: Declarative extension of SAT solvers with new propagators
T Janhunen, S Tasharrofi, E Ternovska
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
Mandate: Natural Sciences and Engineering Research Council of Canada, Academy of Finland
ASP solving for expanding universes
M Gebser, T Janhunen, H Jost, R Kaminski, T Schaub
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
Mandate: Deutsche Forschungsgemeinschaft, Academy of Finland
On robustness in qualitative constraint networks
M Sioutis, Z Long, T Janhunen
Proceedings of the Twenty-Ninth International Conference on International …, 2021
Mandate: National Natural Science Foundation of China, Academy of Finland
Cross-translating answer set programs using the ASPTOOLS collection
T Janhunen
KI-Künstliche Intelligenz 32, 183-184, 2018
Mandate: Academy of Finland
What's a head without a body?
C Anger, M Gebser, T Janhunen, T Schaub
ECAI, 769-770, 2006
Mandate: Deutsche Forschungsgemeinschaft
On syntactic forgetting under uniform equivalence
R Gonçalves, T Janhunen, M Knorr, J Leite
European Conference on Logics in Artificial Intelligence, 297-312, 2021
Mandate: Academy of Finland, Fundação para a Ciência e a Tecnologia, Portugal
Angaben zur Publikation und Finanzierung werden automatisch von einem Computerprogramm ermittelt