12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)

View Statistics Email Alert RSS Feed

Description

Event name
12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)
 
Event type
Event for scientific audience
 
Start date
15-09-2013
End date
19-09-2013
 
Location
Corunna
Country
Spain
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-8 of 8 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter ActHEX: Implementing HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2013
2Delgrande, James ; Peppas, Pavlos ; Woltran, Stefan AGM-Style Belief Revision of Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings 2013
3Ambroz, Thomas ; Charwat, Günther ; Jusits, Andreas ; Wallner, Johannes Peter ; Woltran, Stefan ARVis: Visualizing Relations between Answer SetsKonferenzbeitrag Inproceedings 2013
4Frühstück, Melanie ; Puehrer, Joerg ; Friedrich, Gerhard Debugging Answer-Set Programs with Ouroboros - Extending the SeaLion PluginKonferenzbeitrag Inproceedings 2013
5Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
6Antić, Christian ; Eiter, Thomas ; Fink, Michael Hex Semantics via Approximation Fixpoint TheoryKonferenzbeitrag Inproceedings 2013
7Barilaro, Rosmaria ; Fink, Michael ; Ricca, Francesco ; Terracina, Giorgio Towards Query Answering in Relational Multi-Context SystemsKonferenzbeitrag Inproceedings 2013
8Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013