Patrick Thor Kahl

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Answer Set Programming

Top Venues

Ann. Math. Artif. Intell.

ICLP (Technical Communications)

Publications

Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son
A parallel memory-efficient epistemic logic program solver: harder, better, faster. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Patrick Thor Kahl, Anthony P. Leclerc
Epistemic Logic Programs with World View Constraints. ICLP (Technical Communications) (2018)
Anthony P. Leclerc, Patrick Thor Kahl
A survey of advances in epistemic logic program solvers. CoRR (2018)
Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc
On Computing World Views of Epistemic Logic Programs. IJCAI (2017)
Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster. CoRR (2016)