Learnability of quantified formulas

We consider the following classes of quantified formulas. Fix a set of basic relations called a basis. Take conjunctions of these basic relations applied to variables and constants in arbitrary ways. Finally, quantify existentially or universally some of the variables. We introduce some conditions o...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs: Dalmau, V, Jeavons, P
Formaat: Journal article
Taal:English
Gepubliceerd in: 2003

Gelijkaardige items