Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B D G K L M N O P S

B
Benzmüller, Christoph	Automated verification of deontic correspondences in Isabelle/HOL - First results Solving QMLTP Problems by Translation to Higher-order Logic
D
Dalmonte, Tiziano	Reasoning in Non-normal Modal Description Logics
de Almeida Borges, Ana	Towards a Coq formalization of a quantified modal logic
G
Gleißner, Tobias	Solving QMLTP Problems by Translation to Higher-order Logic
K
Kanckos, Annika	Intuitionistic derivability in Anderson's variant of the ontological argument
L
Libal, Tomer	Do Lawyers Use Automated Reasoning?
M
Mazzullo, Andrea	Reasoning in Non-normal Modal Description Logics
N
Neele, Thomas	(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems
O
Otten, Jens	Advancing Automated Theorem Proving for the Modal Logics D and S5
Ozaki, Ana	Reasoning in Non-normal Modal Description Logics
P
Parent, Xavier	Automated verification of deontic correspondences in Isabelle/HOL - First results
S
Schmidt, Renate	Advances and Challenges in the Development and Application of Forgetting Tools
Steen, Alexander	Solving QMLTP Problems by Translation to Higher-order Logic
Sutcliffe, Geoff	Solving QMLTP Problems by Translation to Higher-order Logic