|
| | Preview | Author(s) | Title | Type | Issue Date |
| 141 | | Dvorak, Wolfgang ; Pührer, Jörg ; Wallner, Johannes Peter ; Woltran, Stefan ; Diller, Martin | Application of ASP in formal argumentation | Konferenzbeitrag Inproceedings  | 2018 |
| 142 | | Padilla Montani, Joaquı́n ; Schüller, Peter | TUWienKBS at GermEval 2018: German Abusive Tweet Detection | Konferenzbeitrag Inproceedings | 2018 |
| 143 | | Leutgeb, Lorenz ; Weinzierl, Antonius | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2018 |
| 144 | | Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Combining Rules and Ontologies into Clopen Knowledge Bases | Konferenzbeitrag Inproceedings | 2018 |
| 145 | | Eiter, Thomas ; Ichise, Ryutaro ; Xavier Parreira, Josiane ; Schneider, Patrik ; Zhao, Lihua | Deploying Spatial-Stream Query Answering in C-ITS Scenarios | Konferenzbeitrag Inproceedings | 2018 |
| 146 | | Bajraktari, Labinot ; Ortiz, Magdalena ; Simkus, Mantas | Compiling Model Representations for Querying Large ABoxes in Expressive DLs | Konferenzbeitrag Inproceedings | 2018 |
| 147 | | Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Taming Complex Role Inclusions for DL-Lite | Konferenzbeitrag Inproceedings | 2018 |
| 148 | | Andresel, Medina-Petrina ; Ibanez Garcia, Yazmin Angelica ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Relaxing and Restraining Queries for OBDA - Extended Abstract | Konferenzbeitrag Inproceedings | 2018 |
| 149 | | Gogacz, Tomasz ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip | Finite Query Answering in Expressive Description Logics with Transitive Roles | Konferenzbeitrag Inproceedings | 2018 |
| 150 | | Timm, Ingo J. ; Staab, Steffen ; Siebers, Michael ; Schon, Claudia ; Schmid, Ute ; Sauerwald, Kai ; Reuter, Lukas ; Ragni, Marco ; Niederee, Claudia ; Maus, Heiko ; Kern-Isberner, Gabriele ; Eiter, Thomas ; Jilek, Christian ; Friemann, Paulina ; Dengel, Andreas ; Dames, Hannah ; Bock, Tanja ; Berndt, Jan Ole ; Beierle, Christoph | Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges | Konferenzbeitrag Inproceedings | 2018 |
| 151 | | Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph | Answering Regular Path Queries over SQ ontologies | Konferenzbeitrag Inproceedings | 2018 |
| 152 | | Saribatur, Zeynep Gözen ; Eiter, Thomas | Towards Abstraction in ASP with an Application on Reasoning about Agent Policies | Konferenzbeitrag Inproceedings | 2018 |
| 153 | | Ahmetaj, Shqiponja ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Rewriting Guarded Existential Rules into Small Datalog Programs | Konferenzbeitrag Inproceedings | 2018 |
| 154 | | Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina | Expansion-Based QBF Solving Without Recursion | Konferenzbeitrag Inproceedings | 2018 |
| 155 | | Kiesl, Benjamin ; Rebola Pardo, Adrian ; Heule, Marijn | Extended Resolution Simulates DRAT | Konferenzbeitrag Inproceedings | 2018 |
| 156 | | Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard | Towards Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP | Konferenzbeitrag Inproceedings | 2018 |
| 157 | | Schüller, Peter | The Hexlite Solver | Konferenzbeitrag Inproceedings | 2018 |
| 158 | | Böhm, Katinka ; Ortiz de la Fuente, M.Magdalena | A Tool for Building Topic-specific Ontologies Using a Knowledge Graph | Konferenzbeitrag Inproceedings | 2018 |
| 159 | | Abiteboul, Serge ; Arenas, Marcelo ; Barceló, Pablo ; Bienvenu, Meghyn ; Calvanese, Diego ; David, Claire ; Hull, Richard ; Hüllermeier, Eyke ; Kimelfeld, Benny ; Libkin, Leonid ; Martens, Wim ; Milo, Tova ; Murlak, Filip ; Neven, Frank ; Ortiz de la Fuente, M.Magdalena ; Schwentick, Thomas ; Stoyanovich, Julia ; Su, Jianwen ; Suciu, Dan ; Vianu, Victor ; Yi, Ke | Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) | Beitrag in Tagungsband Inproceedings | 2018 |
| 160 | | Redl, Christoph | Explaining Inconsistency in Answer Set Programs and Extensions | Konferenzbeitrag Inproceedings | 2017 |
