Decidability Problems in Languages with Henkin Quantifiers.

Michal Krynicki Marcin Mostowski

Published in: Ann. Pure Appl. Log. (1992)

Keyphrases

np complete
artificial intelligence
real time
optimization problems
expressive power
decision problems
problems involving
information retrieval
website
lower bound
relational databases
state space
description logics
first order logic
benchmark problems
solving problems