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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Bart Bogaerts 0001, Amelia Harrison, editors, 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. Volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]

Conference: lpnmr2017

Abstract is missing.

Generalized Answer Set Planning with Incomplete InformationJavier Romero 0003, Torsten Schaub, Tran Cao Son. [doi]

Forgetting Auxiliary Atoms in ForksFelicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal. [doi]

CASP for Robot Control in Hybrid DomainsRyan Young, Marcello Balduccini, Ankush Israney. [doi]

A Multiparametric View on Answer Set ProgrammingJohannes Klaus Fichte, Martin Kronegger, Stefan Woltran. [doi]

Multi-Context Systems: Dynamics and EvolutionPedro Cabalar, Stefania Costantini, Andrea Formisano. [doi]

MLN Solver: Primary ReportBin Wang, Zhizheng Zhang. [doi]

clingo goes Linear Constraints over Reals and IntegersTomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko. [doi]

Refining and Generalizing P-log - Preliminary ReportEvgenii Balai, Michael Gelfond. [doi]

Backdoor Trees for Answer Set ProgrammingJohannes Klaus Fichte, Stefan Szeider. [doi]

runs on WebDSL