|
| | Preview | Author(s) | Title | Type | Issue Date |
| 121 | | Calvanese, D. ; Ortiz, M. ; Simkus, M. ; Stefanoni, G. | Reasoning about Explanations for Negative Query Answers in DL-Lite | Artikel Article  | 2013 |
| 122 | | Bova, Simone ; Cabrer, Leonardo | Unification and Projectivity in De Morgan and Kleene Algebras | Artikel Article | 2013 |
| 123 | | Dvořák, Wolfgang ; Ordyniak, Sebastian ; Szeider, Stefan | Augmenting Tractable Fragments of Abstract Argumentation | Artikel Article | 2012 |
| 124 | | EITER, THOMAS ; FINK, MICHAEL ; KRENNWALLNER, THOMAS ; REDL, CHRISTOPH | Conflict-driven ASP solving with external sources | Artikel Article | 2012 |
| 125 | | Calimeri, Francesco ; Ianni, Giovambattista ; Krennwallner, Thomas ; Ricca, Francesco | The Answer Set Programming Competition | Artikel Article | 2012 |
| 126 | | Brain, Martin ; Erdem, Esra ; Inoue, Katsumi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Yilmaz, Cemal | Event-Sequence Testing using Answer-Set Programming | Artikel Article | 2012 |
| 127 | | Miljanovic, Milos ; Egly, Uwe ; Eiter, Thomas | Detection of Windows in Facades Using Image Processing Algorithms | Artikel Article | 2012 |
| 128 | | Gaspers, Serge ; Liedloff, Mathieu | A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set | Artikel Article | 2012 |
| 129 | | Gaspers, Serge ; Kratsch, Dieter ; Liedloff, Mathieu | On Independent Sets and Bicliques in Graphs | Artikel Article | 2012 |
| 130 | | PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN | Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough | Artikel Article | 2012 |
| 131 | | Gutin, Gregory ; Kim, Eun Jung ; Soleimanfallah, Arezou ; Szeider, Stefan ; Yeo, Anders | Parameterized Complexity Results for General Factors in Bipartite Graphs with an Application to Constraint Programming | Artikel Article | 2012 |
| 132 | | van ’t Hof, Pim ; Kamiński, Marcin ; Paulusma, Daniël ; Szeider, Stefan ; Thilikos, Dimitrios M. | On Graph Contractions and Induced Minors | Artikel Article | 2012 |
| 133 | | Mathieson, Luke ; Szeider, Stefan | Editing Graphs to Satisfy Degree Constraints: A Parameterized Approach | Artikel Article | 2012 |
| 134 | | Gaspers, Serge ; Sorkin, Gregory B. | A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between | Artikel Article | 2012 |
| 135 | | Fellows, Michael R. ; Gaspers, Serge ; Rosamond, Frances A. | Parameterizing by the Number of Numbers | Artikel Article | 2012 |
| 136 | | Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas | Conjunctive query answering in the description logic SH using knots | Artikel Article | 2012 |
| 137 | | Bischof, Stefan ; Decker, Stefan ; Krennwallner, Thomas ; Polleres, Axel | Mapping between RDF and XML with XSPARQL | Artikel Article | 2012 |
| 138 | | EITER, THOMAS ; ERDEM, ESRA ; ERDOGAN, HALIT ; FINK, MICHAEL | Finding Similar/Diverse Solutions in Answer Set Programming | Artikel Article | 2011 |
| 139 | | FEIER, CRISTINA ; HEYMANS, STIJN | Reasoning with Forest Logic Programs and f-hybrid knowledge bases | Artikel Article | 2011 |
| 140 | | Brewka, Gerhard ; Eiter, Thomas ; Truszczyński, Mirosław | Answer Set Programming at a Glance | Artikel Article | 2011 |
