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)
 
Start date
15-09-2013
End date
19-09-2013
 
Location
Corunna, Spain
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-7 of 7 (Search time: 0.006 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fink, Michael ; Germano, Stefano ; Ianni, Giovambattista ; Redl, Christoph ; Schüller, Peter ; Cabalar, Pedro ; Son, Tran Cao ActHEX: Implementing HEX Programs with Action AtomsKonferenzbeitrag Inproceedings 2013
2Delgrande, James ; Peppas, Pavlos ; Woltran, Stefan ; Cabalar, Pedro ; Son, Tran Cao 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 ; Cabalar, Pedro ; Son, Tran Cao 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 ; Cabalar, Pedro ; Son, Tran Cao The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
6Barilaro, Rosmaria ; Fink, Michael ; Ricca, Francesco ; Terracina, Giorgio ; Cabalar, Pedro ; Son, Tran Cao Towards Query Answering in Relational Multi-Context SystemsKonferenzbeitrag Inproceedings 2013
7Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Son, Tran Cao ; Cabalar, Pedro VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013