Nasim Farsinia

	2009
3		Nasim Farsinia, Volker Haarslev: Optimizing Reasoning with Qualified Number Restrictions in SHQ. Description Logics 2009
	2008
2		Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008
1		Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726

Coauthor Index

1	Jocelyne Faddoul	[1] [2]
2	Volker Haarslev	[1] [2] [3]
3	Ralf Möller	[1] [2]