|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Leutgeb, Lorenz ; Weinzierl, Antonius | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings  | 2018 |
| 2 | | Leutgeb, Lorenz ; Weinzierl, Antonius | Techniques for Efficient Lazy-Grounding ASP Solving | Konferenzbeitrag Inproceedings | 2017 |
| 3 | | Tompits, Hans ; Fang, Min | An Approach for Representing Answer Sets in Natural Language | Konferenzbeitrag Inproceedings | 2017 |
| 4 | | Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph | HEX-Programs with Nested Program Calls | Konferenzbeitrag Inproceedings | 2013 |
| 5 | | Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin | Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected Papers | Konferenzband Proceedings | 2013 |
| 6 | | Szeider, Stefan | The Parameterized Complexity of Constraint Satisfaction and Reasoning | Konferenzbeitrag Inproceedings | 2013 |
| 7 | | Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan | Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems | Konferenzbeitrag Inproceedings | 2013 |
| 8 | | Lierler, Yuliya ; Schüller, Peter | Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report | Konferenzbeitrag Inproceedings | 2011 |
| 9 | | Abreu, Salvador ; Oetsch, Johannes ; Puehrer, Joerg ; Seipel, Dietmar ; Tompits, Hans ; Umeda, Masanobu ; Wolf, Armin | Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011) | Konferenzband Proceedings | 2011 |
| 10 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT | Konferenzbeitrag Inproceedings | 2009 |
| 11 | | Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics | Konferenzbeitrag Inproceedings | 2009 |