|
| | Preview | Author(s) | Title | Type | Issue Date |
| 101 | | Creignou, Nadia ; Egly, Uwe ; Schmidt, Johannes | Complexity Classifications for Logic-Based Argumentation | Artikel Article | 2014 |
| 102 | | Calvanese, Diego ; Eiter, Thomas ; Ortiz, Magdalena | Answering Regular Path Queries in Expressive Description Logics via Alternating Tree-Automata | Artikel Article | 2014 |
| 103 | | Widl, Magdalena ; Musliu, Nysret | The break scheduling problem: complexity results and practical algorithms | Artikel Article | 2014 |
| 104 | | Ganian, Robert ; Hliněný, Petr ; Kneis, Joachim ; Langer, Alexander ; Obdržálek, Jan ; Rossmanith, Peter | Digraph Width Measures in Parameterized Algorithmics | Artikel Article | 2014 |
| 105 | | Gaspers, Serge ; Szeider, Stefan | Guarantees and limits of preprocessing in constraint satisfaction and reasoning | Artikel Article | 2014 |
| 106 | | PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN | Tractable answer-set programming with weight constraints: bounded treewidth is not enough | Artikel Article | 2014 |
| 107 | | Eiter, Thomas ; Fink, Michael ; Schüller, Peter ; Weinzierl, Antonius | Finding Explanations of Inconsistency in Multi-Context Systems | Artikel Article | 2014 |
| 108 | | Zhang, Xiaowang ; Xiao, Guohui ; Lin, Zuoquan ; Van den Bussche, Jan | Inconsistency-tolerant reasoning with OWL DL | Artikel Article | 2014 |
| 109 | | Shen, Yi-Dong ; Wang, Kewen ; Eiter, Thomas ; Fink, Michael ; Redl, Christoph ; Krennwallner, Thomas ; Deng, Jun | FLP answer set semantics without circular justifications for general logic programs | Artikel Article | 2014 |
| 110 | | Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. | Efficient HEX-Program Evaluation based on Unfounded Sets | Artikel Article | 2014 |
| 111 | | ANTIĆ, CHRISTIAN | On cascade products of answer set programs | Artikel Article | 2014 |
| 112 | | Eiter, Thomas ; Krennwallner, Thomas ; Prandtstetter, Matthias ; Rudloff, Christian ; Schneider, Patrik ; Straub, Markus | Semantically Enriched Multi-Modal Routing | Artikel Article  | 2014 |
| 113 | | Cabalar, Pedro ; Fandinno, Jorge ; Fink, Michael | Causal Graph Justifications of Logic Programs | Artikel Article | 2014 |
| 114 | | Delgrande, James ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | A Model-Theoretic Approach to Belief Change in Answer Set Programming | Artikel Article | 2013 |
| 115 | | Bova, Simone ; Chen, Hubie ; Valeriote, Matthew | Generic Expression Hardness Results for Primitive Positive Formula Comparison | Artikel Article | 2013 |
| 116 | | Eiter, Thomas ; Fink, Michael ; Pührer, Jörg ; Tompits, Hans ; Woltran, Stefan | Model-Based Recasting in Answer-Set Programming | Artikel Article | 2013 |
| 117 | | Eiter, Thomas ; Gottlob, Georg | Marco Cadoli's Work on Nonmonotonic Reasoning | Artikel Article | 2013 |
| 118 | | Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan | Satisfiability of acyclic and almost acyclic CNF formulas | Artikel Article | 2013 |
| 119 | | Ordyniak, S. ; Szeider, S. | Parameterized Complexity Results for Exact Bayesian Network Structure Learning | Artikel Article | 2013 |
| 120 | | Calvanese, D. ; Ortiz, M. ; Simkus, M. ; Stefanoni, G. | Reasoning about Explanations for Negative Query Answers in DL-Lite | Artikel Article | 2013 |
