Patrick Thor Kahl

According to our database, Patrick Thor Kahl authored at least 5 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

A parallel memory-efficient epistemic logic program solver: harder, better, faster.

Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son

Ann. Math. Artif. Intell., 2019

2018

A survey of advances in epistemic logic program solvers.

Anthony P. Leclerc, Patrick Thor Kahl

CoRR, 2018

Epistemic Logic Programs with World View Constraints.

Patrick Thor Kahl, Anthony P. Leclerc

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

On Computing World Views of Epistemic Logic Programs.

Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2014

Refining the semantics for epistemic logic programs.

Patrick Thor Kahl

PhD thesis, 2014