NEGATIVE RESULTS FOR EQUIVALENCE QUERIES

被引：91
|
作者：
ANGLUIN, D
机构：
来源：
MACHINE LEARNING | 1990年 / 5卷 / 02期
关键词：
D O I：
10.1007/BF00116034
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：121 / 150
页数：30
相关论文
共 50 条
  • [21] EFFICIENT LEARNING WITH EQUIVALENCE QUERIES OF CONJUNCTIONS OF MODULO FUNCTIONS
    BERTONI, A
    CESABIANCHI, N
    FIORINO, G
    INFORMATION PROCESSING LETTERS, 1995, 56 (01) : 15 - 17
  • [22] Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries
    Zhao, Pinhan
    He, Yang
    Wang, Xinyu
    Wang, Yuepeng
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2024, 17 (12): : 4437 - 4440
  • [23] Learning behaviors of automata from multiplicity and equivalence queries
    Bergadano, F
    Varricchio, S
    SIAM JOURNAL ON COMPUTING, 1996, 25 (06) : 1268 - 1280
  • [24] On Exactly Learning Disjunctions and DNFs Without Equivalence Queries
    Ding, Ning
    COMPUTING AND COMBINATORICS, COCOON 2019, 2019, 11653 : 153 - 165
  • [25] Expansions and Equivalence of Queries using Views with Parameters and Negation
    Felea, Victor
    Balta, Marian
    PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 31 - 38
  • [26] A Chasm Between Identity and Equivalence Testing with Conditional Queries
    Acharya, Jayadev
    Canonne, Clement L.
    Kamath, Gauta N.
    THEORY OF COMPUTING, 2018, 14
  • [27] A subexponential exact learning algorithm for DNF using equivalence queries
    Department of Computer Science, University of Calgary, Calgary, Alta. T2N 1N4, Canada
    Inf. Process. Lett., 1 (37-39):
  • [28] Disjunctions of negated counting functions are efficiently learnable with equivalence queries
    Chen, ZX
    COMPUTING AND COMBINATORICS, 1995, 959 : 344 - 349
  • [29] A technique for proving decidability of containment and equivalence of linear constraint queries
    Ibarra, OH
    Su, JW
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 59 (01) : 1 - 28
  • [30] Polynomial inference of universal automata from membership and equivalence queries
    Bjorklund, Johanna
    Fernau, Henning
    Kasprzik, Anna
    INFORMATION AND COMPUTATION, 2016, 246 : 3 - 19
12345