Name Card

Full name Familienname, Vorname
Janhunen, Tomi
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan Forgetting in Modular Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
2Bomanson, Jori ; Janhunen, Tomi ; Weinzierl, Antonius Enhancing Lazy Grounding with Lazy Normalization in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2019
3Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan Forgetting in Modular Answer Set ProgrammingKonferenzbeitrag Inproceedings 2019
4Weinzierl, Antonius ; Bogaerts, Bart ; Bomanson, Jori ; Eiter, Thomas ; Friedrich, Gerhard ; Janhunen, Tomi ; Kaminski, Tobias ; Langowski, Michael ; Leutgeb, Lorenz ; Schenner, Gottfried ; Taupe, Richard The Alpha Solver for Lazy-GroundingAnswer-Set ProgrammingArtikel Article2019
5Woltran, Stefan ; Goncalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, Joao Variable Elimination for DLP-FunctionsKonferenzbeitrag Inproceedings 2018
6Janhunen, Tomi ; Niemelä, Ilkka ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonKonferenzbeitrag Inproceedings 2011
7Niemelä, Ilkka ; Janhunen, Tomi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans On Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2010
8Janhunen, Tomi ; Oikarinen, Emilia ; Tompits, Hans ; Woltran, Stefan Modularity Aspects of Disjunctive Stable ModelsKonferenzbeitrag Inproceedings2007

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan Answer Set Solving with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings2017
2Weinzierl, Antonius Blending Lazy-Grounding and CDNL Search for Answer-Set SolvingKonferenzbeitrag Inproceedings 2017
3Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans $$\mathsf {Harvey}$$ : A System for Random Testing in ASPKonferenzbeitrag Inproceedings 2017
4Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas The DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
5Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
6Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
7Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Inconsistency Assessment in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
8Fink, Michael ; Pearce, David A Logical Semantics for Description Logic ProgramsKonferenzbeitrag Inproceedings 2010
9Creignou, Nadia ; Schmidt, Johannes ; Thomas, Michael ; Woltran, Stefan Sets of Boolean Connectives That Make Argumentation EasierKonferenzbeitrag Inproceedings 2010