default search action
ASPOCP@LPNMR 2017: Espoo, Finland
- Bart Bogaerts, Amelia Harrison:
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. CEUR Workshop Proceedings 1868, CEUR-WS.org 2017 - Pedro Cabalar, Stefania Costantini, Andrea Formisano:
Multi-Context Systems: Dynamics and Evolution. - Javier Romero, Torsten Schaub, Tran Cao Son:
Generalized Answer Set Planning with Incomplete Information. - Ryan Young, Marcello Balduccini, Ankush Israney:
CASP for Robot Control in Hybrid Domains. - Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko:
clingo goes Linear Constraints over Reals and Integers. - Bin Wang, Zhizheng Zhang:
A Parallel LPMLN Solver: Primary Report. - Evgenii Balai, Michael Gelfond:
Refining and Generalizing P-log - Preliminary Report. - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Forgetting Auxiliary Atoms in Forks. - Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran:
A Multiparametric View on Answer Set Programming. - Johannes Klaus Fichte, Stefan Szeider:
Backdoor Trees for Answer Set Programming.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.