Functional Semantics for Non-prenex QBF.

Published in: ICAART (1) (2014)

Keyphrases

normal form
formal semantics
quantified boolean formulas
logic programming
conceptual model
databases
neural network
search algorithm
relational databases
orders of magnitude
semantic information
quantified boolean formulae