Name Card

Full name Familienname, Vorname
De Vos, Marina
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1De Vos, Marina ; Kisa, Doga Gizem ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans LANA: A Language for Annotating Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
2Kaminski, Tobias Answer Set Programs with External Source Access: Integrated Evaluation and New ApplicationsKonferenzbeitrag Inproceedings 2017
3Schüller, Peter ; Weinzierl, Antonius Answer Set Application Programming: a Case Study on TetrisKonferenzbeitrag Inproceedings 2015
4Kiesl, Benjamin ; Schüller, Peter ; Tompits, Hans On Structural Analysis of Non-Ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2015
5Charwat, Günther Dynamic Programming on Tree Decompositions using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
6De Vos, Marina ; Eiter, Thomas ; Lierler, Yuliya ; Toni, Francesca Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)Konferenzband Proceedings2015
7Faber, Wolfgang ; Woltran, Stefan A Framework for Programming with Module ConsequencesKonferenzbeitrag Inproceedings 2009
8Brain, Martin ; Faber, Wolfgang ; Maratea, Marco ; Polleres, Axel Florian ; Schaub, Torsten ; Schindlauer, Roman What should an ASP Solver output?Konferenzbeitrag Inproceedings 2007
9Ianni, Giovambattista ; Panetta, Claudio ; Ricca, Francesco Specification of Assessment-Test Criteria through ASP SpecificationsKonferenzbeitrag Inproceedings 2005
10Tompits, Hans ; Woltran, Stefan Towards Implementations for Advanced Equivalence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005