Terminating Tableau Systems for Hybrid Logic with Difference and Converse.

Mark Kaminski Gert Smolka

Published in: J. Log. Lang. Inf. (2009)

Keyphrases

real world
intelligent systems
knowledge based systems
digital circuits
database
data sets
software engineering
description logics
computer systems
complex systems
asynchronous circuits