|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan ; Baumann, Ringo | A General Notion of Equivalence for Abstract Argumentation | Konferenzbeitrag Inproceedings | 2017 |
| 2 | | Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? | Konferenzbeitrag Inproceedings  | 2017 |
| 3 | | Eiter, Thomas ; Shen, Yi-Dong | Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) | Konferenzbeitrag Inproceedings | 2017 |
| 4 | | Eiter, Thomas ; Kaminski, Tobias ; Weinzierl, Antonius | Lazy-Grounding for Answer Set Programs with External Source Access | Konferenzbeitrag Inproceedings | 2017 |
| 5 | | Morak, Michael ; Pieris, Andreas ; Bourhis, Pierre | Making Cross Products and Guarded Ontology Languages Compatible | Konferenzbeitrag Inproceedings | 2017 |
| 6 | | Kröll, Markus ; Pichler, Reinhard ; Woltran, Stefan | On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks | Konferenzbeitrag Inproceedings | 2017 |
| 7 | | Erkinger, Christoph ; Musliu, Nysret | Personnel Scheduling as Satisfiability Modulo Theories | Konferenzbeitrag Inproceedings | 2017 |
| 8 | | Eiter, Thomas ; Dao-Tran, Minh | Streaming Multi-Context Systems | Konferenzbeitrag Inproceedings | 2017 |
| 9 | | Bellomarini, Luigi ; Gottlob, Georg ; Pieris, Andreas ; Sallinger, Emanuel | Swift Logic for Big Data and Knowledge Graphs | Konferenzbeitrag Inproceedings | 2017 |
| 10 | | Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | The Impact of Treewidth on ASP Grounding and Solving | Konferenzbeitrag Inproceedings | 2017 |
