Summary: Polynomial Certificates for Propositional
Classes
Marta Arias
Center for Computational Learning Systems
Columbia University
New York, NY 10115, USA
Aaron Feigelson
Leydig, Voit & Mayer, Ltd.
Chicago, IL 60601, USA
Roni Khardon
Department of Computer Science
Tufts University
Medford, MA 02155, USA
Rocco A. Servedio
Department of Computer Science
Columbia University
New York, NY 10027, USA
Abstract
This paper studies the complexity of learning classes of expressions in propositional
logic from equivalence queries and membership queries. In particular, we focus on

Source: Arias, Marta - Departament of Llenguatges i Sistemes Informátics, Universitat Politècnica de Catalunya

Collections: Computer Technologies and Information Sciences