Decidability issues for action guarded logics.

M.-Elisabeth Goncalves Erich Grädel

Published in: Description Logics (2000)

Keyphrases

decision procedures
query answering
modal logic
description logics
expressive power
key issues
databases
multi agent
computational properties
data sets
neural network
automated reasoning