![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.