|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Hecher, Markus ; Fichte, Johannes ; Morak, Michael ; Woltran, Stefan ; Balduccini, Marcello ; Janhunen, Tomi | Answer Set Solving with Bounded Treewidth Revisited | Konferenzbeitrag Inproceedings | 2017 |
| 2 | | Weinzierl, Antonius ; Balduccini, Marcello ; Janhunen, Tomi | Blending Lazy-Grounding and CDNL Search for Answer-Set Solving | Konferenzbeitrag Inproceedings  | 2017 |
| 3 | | Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans ; Balduccini, Marcello ; Janhunen, Tomi | $$\mathsf {Harvey}$$ : A System for Random Testing in ASP | Konferenzbeitrag Inproceedings | 2017 |
| 4 | | Creignou, Nadia ; Schmidt, Johannes ; Thomas, Michael ; Woltran, Stefan ; Janhunen, Tomi ; Niemelä, Ilkka | Sets of Boolean Connectives That Make Argumentation Easier | Konferenzbeitrag Inproceedings | 2010 |
| 5 | | Bögl, Markus ; Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Janhunen, Tomi ; Niemelä, Ilkka | The mcs-ie System for Explaining Inconsistency in Multi-Context Systems | Konferenzbeitrag Inproceedings | 2010 |
| 6 | | Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Janhunen, Tomi ; Niemelä, Ilkka | Decomposition of Distributed Nonmonotonic Multi-Context Systems | Konferenzbeitrag Inproceedings | 2010 |
| 7 | | Bairakdar, Seif El-Din ; Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Janhunen, Tomi ; Niemelä, Ilkka | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems | Konferenzbeitrag Inproceedings | 2010 |
| 8 | | Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius ; Janhunen, Tomi ; Niemelä, Ilkka | Preference-Based Inconsistency Assessment in Multi-Context Systems | Konferenzbeitrag Inproceedings | 2010 |
| 9 | | Fink, Michael ; Pearce, David ; Janhunen, Tomi ; Niemelä, Ilkka | A Logical Semantics for Description Logic Programs | Konferenzbeitrag Inproceedings | 2010 |
