Learnability of quantified formulas.
type: Item
instance of: scholarly article
title: Learnability of quantified formulas.
zbMATH Open document ID: 1060.68049
DOI: 10.1016/S0304-3975(03)00342-6
published in: Theoretical Computer Science
publication date: 2004-03-14T00:00:00Z
Mathematics Subject Classification ID: 68Q32
zbMATH DE Number: 2056812
zbMATH Keywords: Computational learning
zbMATH Keywords: Quantified formulas
zbMATH Keywords: Clones
author: Víctor Dalmau
author: P. Jeavons
MaRDI profile type: Publication
cites work: Queries and concept learning
cites work: Learning conjunctions of Horn clauses
cites work: When won't membership queries help?
cites work: Polynomial interpolation and the Chinese remainder theorem for algebraic systems
cites work: Exact learning Boolean functions via the monotone theory
cites work: Learning counting functions with queries
cites work: Q5515373
cites work: Characterising tractable constraints
cites work: A dichotomy theorem for learning quantified Boolean formulas
cites work: The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
cites work: Group-theoretic algorithms and graph isomorphism
cites work: An efficient membership-query algorithm for learning DNF with respect to the uniform distribution
cites work: Constraints, consistency and closure
cites work: Closure properties of constraints
cites work: Tractable constraints on ordered domains
cites work: Cryptographic limitations on learning Boolean formulae and finite automata
cites work: Q3751631
cites work: Q4004339
cites work: Inductive Logic Programming: Theory and methods
cites work: Q4354427
cites work: Prediction-preserving reducibility
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Q3739182
cites work: The complexity of satisfiability problems
cites work: Q3739181
cites work: Q3770585
cites work: A theory of the learnable
cites work: Q3281057
full work available at URL: s0304-3975(03)00342-6
OpenAlex ID: W2170491051
description: scientific article; zbMATH DE number 2056812