|
| | Preview | Author(s) | Title | Type | Issue Date |
| 281 | | Fullen, Marta ; Schüller, Peter ; Niggemann, Oliver | Validation of similarity measures for industrial alarm flood analysis? | Buchbeitrag Book Contribution  | 2018 |
| 282 | | Böhm, Katinka ; Ortiz de la Fuente, M.Magdalena | A Tool for Building Topic-specific Ontologies Using a Knowledge Graph | Konferenzbeitrag Inproceedings | 2018 |
| 283 | | Eiter, Thomas ; Esparza, Javier ; Palamidessi, Catuscia ; Plotkin, Gordon ; Shankar, Natarajan | Alonzo Church Award 2018 - Call for Nominations | Artikel Article | 2018 |
| 284 | | Beck, Harald ; Dao-Tran, Minh ; Eiter, Thomas ; Folie, Christian | Stream Reasoning with LARS | Artikel Article | 2018 |
| 285 | | Schüller, Peter | Answer Set Programming Applied to Coreference Resolution and Semantic Similarity | Artikel Article | 2018 |
| 286 | | Schüller, Peter | Answer Set Programming in Linguistics | Artikel Article | 2018 |
| 287 | | Eiter, Thomas ; Friedrich, Gerhard ; Taupe, Richard ; Weinzierl, Antonius | Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP | Artikel Article | 2018 |
| 288 | | 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 |
| 289 | | Lonsing, Florian ; Egly, Uwe | Evaluating QBF Solvers: Quantifier Alternations Matter | Bericht Report | 2017 |
| 290 | | Redl, Christoph | Explaining Inconsistency in Answer Set Programs and Extensions | Konferenzbeitrag Inproceedings | 2017 |
| 291 | | Diller, Martin ; Linsbichler, Thomas ; Woltran, Stefan ; Brewka, Gerhard ; Heissenberger, Georg | Solving Advanced Argumentation Problems with Answer-Set Programming | Konferenzbeitrag Inproceedings | 2017 |
| 292 | | Lonsing, Florian | Parallel QBF Solving: State of the Art Techniques and Future Perspectives | Präsentation Presentation | 2017 |
| 293 | | Lonsing, Florian | An Introduction to QBF Solving | Präsentation Presentation | 2017 |
| 294 | | Lonsing, Florian | Evaluating QBF Solvers: Quantifier Alternations Matter | Präsentation Presentation | 2017 |
| 295 | | Schüller, Peter | ASP-based Inductive Logic Programming applied to Phrase Chunking: Challenges and Improvements | Präsentation Presentation | 2017 |
| 296 | | Fullen, Marta ; Schüller, Peter ; Niggemann, Oliver | Semi-supervised Case-based Reasoning Approach to Alarm Flood Analysis | Präsentation Presentation | 2017 |
| 297 | | Redl, Christoph | DLVHEX: A user-oriented integration of answer set programming with external sources | Präsentation Presentation | 2017 |
| 298 | | Rath, Jakob ; Redl, Christoph | Integrating Answer Set Programming with Procedural Languages | Konferenzbeitrag Inproceedings | 2017 |
| 299 | | Redl, Christoph | Extending Answer Set Programs with Interpreted Functions as First-class Citizens | Konferenzbeitrag Inproceedings | 2017 |
| 300 | | Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
