Laleh Roosta Pour

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Reasoning Process

Consistency Checking

Qualitative Spatial

Top Venues

Description Logics

Publications

Laleh Roosta Pour, Volker Haarslev
Algebraic Reasoning for SHIQ. Description Logics (2012)