Manuel Bichler

1 papers · 2018–2018 · 1 conference · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (14)

Conferences

IJCAI (1)

Top co-authors

Michael Morak (1) Stefan Woltran (1)

Keywords

automated reasoning (1) answer set programming (1) logic programming (1) epistemic logic (1)

Papers

Single-Shot Epistemic Logic Program Solving IJCAI 2018