Name Card

Full name Familienname, Vorname
Wolf, Armin
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Krennwallner, Thomas ; Redl, Christoph HEX-Programs with Nested Program CallsKonferenzbeitrag Inproceedings 2013
2Tompits, 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
3Szeider, Stefan The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
4Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Wallner, Johannes Peter ; Woltran, Stefan Making Use of Advances in Answer-Set Programming for Abstract Argumentation SystemsKonferenzbeitrag Inproceedings 2013
5Lierler, Yuliya ; Schüller, Peter Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary ReportKonferenzbeitrag Inproceedings 2011
6Abreu, 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
7Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccTKonferenzbeitrag Inproceedings 2009
8Gebser, 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
9Oetsch, Johannes ; Schwengerer, Martin ; Tompits, Hans Kato: A Plagiarism-Detection Tool for Answer-Set ProgramsKonferenzbeitrag Inproceedings 2009