Članki z zahtevami za javni dostop - Tomi JanhunenVeč o tem
Ni na voljo nikjer: 1
Cumulativity Tailored for Nonmonotonic Reasoning
T Janhunen, I Niemelä
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015
Zahteve: Academy of Finland
Na voljo nekje: 44
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
Zahteve: Austrian Science Fund
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
Zahteve: German Research Foundation, Academy of Finland
The answer set programming paradigm
T Janhunen, I Nimelä
AI Magazine 37 (3), 13-24, 2016
Zahteve: Academy of Finland
SAT modulo graphs: Acyclicity
M Gebser, T Janhunen, J Rintanen
European Workshop on Logics in Artificial Intelligence, 137-151, 2014
Zahteve: 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
Zahteve: German Research Foundation, 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
Zahteve: 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
Zahteve: Academy of Finland
Solving QBF Instances with Nested SAT Solvers.
B Bogaerts, T Janhunen, S Tasharrofi
AAAI Workshop: Beyond NP 16, 05, 2016
Zahteve: Academy of Finland
On testing answer-set programs
T Janhunen, I Niemelä, J Oetsch, J Pührer, H Tompits
ECAI 2010, 951-956, 2010
Zahteve: Austrian Science Fund
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
Zahteve: Academy of Finland
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
Zahteve: 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
Zahteve: Austrian Science Fund
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
Zahteve: Academy of Finland
Plingo: A System for Probabilistic Reasoning in Clingo Based on
S Hahn, T Janhunen, R Kaminski, J Romero, N Rühling, T Schaub
International Joint Conference on Rules and Reasoning, 54-62, 2022
Zahteve: German Research Foundation
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
Zahteve: Austrian Science Fund, Academy of Finland, Fundação para a Ciência e a …
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
Zahteve: Natural Sciences and Engineering Research Council of Canada, 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
Zahteve: 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
Zahteve: 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
Zahteve: German Research Foundation, Academy of Finland
Podatke o objavi in financiranju samodejno določi računalniški program