Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark Kaminski
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Terminating Tableaux for $\Mathcal{SOQ}$ With Number Restrictions on Transitive Roles
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
