ML Anthology
Authors
Search
About
Laux, Armin
1 publications
IJCAI
1995
Terminological Logics with Modal Operators
Franz Baader
,
Armin Laux