Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper).

Renate A. Schmidt

Published in: RAMiCS (2011)

Keyphrases

invited paper
sequent calculi
description logics
relational data
relational databases
expressive power
modal logic
inference rules
information technology
lecture notes
neural network
information systems
decision making
future directions
reasoning problems