Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1608.06910
Cited By
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster
24 August 2016
P. Kahl
A. Leclerc
Tran Cao Son
KELM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster"
1 / 1 papers shown
Title
ASP-Core-2 Input Language Format
Francesco Calimeri
Wolfgang Faber
Martin Gebser
Giovambattista Ianni
Roland Kaminski
T. Krennwallner
Nicola Leone
Marco Maratea
Francesco Ricca
Torsten Schaub
KELM
53
260
0
11 Nov 2019
1
