Name Card

Full name Familienname, Vorname
Niemelä, Ilkka
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Janhunen, Tomi ; Niemelä, Ilkka ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental ComparisonKonferenzbeitrag Inproceedings 2011
2Niemelä, Ilkka ; Janhunen, Tomi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans On Testing Answer-Set ProgramsKonferenzbeitrag Inproceedings 2010

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas The DMCS Solver for Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
2Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas Decomposition of Distributed Nonmonotonic Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
3Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter The mcs-ie System for Explaining Inconsistency in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
4Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Preference-Based Inconsistency Assessment in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
5Fink, Michael ; Pearce, David A Logical Semantics for Description Logic ProgramsKonferenzbeitrag Inproceedings 2010
6Creignou, Nadia ; Schmidt, Johannes ; Thomas, Michael ; Woltran, Stefan Sets of Boolean Connectives That Make Argumentation EasierKonferenzbeitrag Inproceedings 2010
7Eiter, Thomas Answer Set Programming for the Semantic Web (Tutorial)Konferenzbeitrag Inproceedings 2007
8Calì, Andrea ; Lukasiewicz, Thomas Tightly Integrated Probabilistic Description Logic Programs for the Semantic WebKonferenzbeitrag Inproceedings 2007