Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1608.06910
Cited By
v1
v2 (latest)
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster
Annals of Mathematics and Artificial Intelligence (AMAI), 2016
24 August 2016
P. Kahl
A. Leclerc
Tran Cao Son
KELM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster"
4 / 4 papers shown
Refining the Semantics of Epistemic Specifications
Ezgi Iraz Su
48
7
0
17 Sep 2021
Thirty years of Epistemic Specifications
Jorge Fandinno
Wolfgang Faber
Michael Gelfond
KELM
213
11
0
17 Aug 2021
selp: A Single-Shot Epistemic Logic Program Solver
Theory and Practice of Logic Programming (TPLP), 2020
Manuel Bichler
Michael Morak
S. Woltran
LRM
ReLM
142
11
0
04 Jan 2020
A survey of advances in epistemic logic program solvers
A. Leclerc
P. Kahl
ReLM
LRM
138
16
0
19 Sep 2018
1
Page 1 of 1
