Name Card

Full name Familienname, Vorname
Seipel, Dietmar
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-11 of 11 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Leutgeb, Lorenz ; Weinzierl, Antonius Techniques for Efficient Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2018
2Leutgeb, Lorenz ; Weinzierl, Antonius Techniques for Efficient Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2017
3Tompits, Hans ; Fang, Min An Approach for Representing Answer Sets in Natural LanguageKonferenzbeitrag Inproceedings 2017
4Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
5Tompits, 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 PapersKonferenzband Proceedings 2013
6Szeider, Stefan The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
7Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag Inproceedings 2013
8Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
9Abreu, 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
10Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccTKonferenzbeitrag Inproceedings 2009
11Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan spock: A Debugging Support Tool for Logic Programs under the Answer-Set SemanticsKonferenzbeitrag Inproceedings 2009