Theory revision with queries: Horn, read-once, and parity formulas

DOI10.1016/J.ARTINT.2004.01.002zbMATH Open1085.68071OpenAlexW1970275339MaRDI QIDQ814598FDOQ814598

Balázs Szörényi, R. H. Sloan, Gy. Turán, J. Goldsmith

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2004.01.002

zbMATH Keywords

Horn formulasComputational learning theoryKnowledge revisionBoolean function learningQuery learningTheory revision

Mathematics Subject Classification ID

Computational learning theory (68Q32)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
• Learning regular sets from queries and counterexamples
• Learning conjunctions of Horn clauses
• Queries and concept learning
• Read-twice DNF formulas are properly learnable
• Learning read-once formulas with queries
• Exact learning Boolean functions via the monotone theory
• The Semantics of Predicate Logic as a Programming Language
• The decision problem for some classes of sentences without quantifiers
• When won't membership queries help?
• On sentences which are true of direct unions of algebras
• Fast learning of \(k\)-term DNF formulas with queries.
• Cryptographic limitations on learning Boolean formulae and finite automata
• Structure identification in relational data
• Combinatorial characterization of read-once formulae
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Adaptive versus nonadaptive attribute-efficient learning
• Logical settings for concept-learning
• Knowledge-based artificial neural networks
• Asking questions to minimize errors
• Functions computed by monotone Boolean formulas with no repeated variables
• Lower bound methods and separation results for on-line learning models
• Complexity theoretic hardness results for query learning
• Attribute-efficient learning in query and mistake-bound models
• Theory refinement combining analytical and empirical methods
• The complexity of theory revision
• Structural results about on-line learning models with and without queries
• Projection learning
• Effective and efficient knowledge base refinement
• More theory revision with queries (extended abstract)
• The complexity of revising logic programs
• Learning Theory and Kernel Machines
• Theory revision with queries: DNF formulas

Cited In (3)

• Projective DNF formulae and their revision
• Revising threshold functions
• Explaining AI decisions using efficient methods for learning sparse Boolean formulae

This page was built for publication: Theory revision with queries: Horn, read-once, and parity formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814598)