ASPOCP@LPNMR

Keyphrases

Publications

2017

Javier Romero, Torsten Schaub, Tran Cao Son
Generalized Answer Set Planning with Incomplete Information. ASPOCP@LPNMR (2017)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR (2017)
Pedro Cabalar, Stefania Costantini, Andrea Formisano
Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR (2017)
Ryan Young, Marcello Balduccini, Ankush Israney
CASP for Robot Control in Hybrid Domains. ASPOCP@LPNMR (2017)
Bin Wang, Zhizheng Zhang
Solver: Primary Report. ASPOCP@LPNMR (2017)
Evgenii Balai, Michael Gelfond
Refining and Generalizing P-log - Preliminary Report. ASPOCP@LPNMR (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR (2017)
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
A Multiparametric View on Answer Set Programming. ASPOCP@LPNMR (2017)
Johannes Klaus Fichte, Stefan Szeider
Backdoor Trees for Answer Set Programming. ASPOCP@LPNMR (2017)

volume 1868, 2017

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. ASPOCP@LPNMR 1868 (2017)