|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Javier Romero 0003, Torsten Schaub, Tran Cao Son |
Generalized Answer Set Planning with Incomplete Information. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Bart Bogaerts 0001, Amelia Harrison (eds.) |
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 |
2017 |
DBLP BibTeX RDF |
|
1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal |
Forgetting Auxiliary Atoms in Forks. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Pedro Cabalar, Stefania Costantini, Andrea Formisano 0001 |
Multi-Context Systems: Dynamics and Evolution. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Ryan Young, Marcello Balduccini, Ankush Israney |
CASP for Robot Control in Hybrid Domains. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Bin Wang 0061, Zhizheng Zhang 0002 |
A Parallel LPMLN Solver: Primary Report. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Evgenii Balai, Michael Gelfond |
Refining and Generalizing P-log - Preliminary Report. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |
clingo goes Linear Constraints over Reals and Integers. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran |
A Multiparametric View on Answer Set Programming. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
1 | Johannes Klaus Fichte, Stefan Szeider |
Backdoor Trees for Answer Set Programming. |
ASPOCP@LPNMR |
2017 |
DBLP BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|