CARDINALITY OF MODELS FOR THEORIES IN A CALCULUS WITH A HARTIG QUANTIFIER

被引：0
|
作者：
PINUS, AG
机构：
来源：
SIBERIAN MATHEMATICAL JOURNAL | 1978年 / 19卷 / 06期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：949 / 955
页数：7
相关论文
共 50 条
  • [41] Cardinality constraints in semantic data models
    Liddle, Stephen W.
    Embley, David W.
    Woodfield, Scott N.
    Data and Knowledge Engineering, 1993, 11 (03): : 235 - 270
  • [42] Theories of intentions in the framework of situation calculus
    Parra, PP
    Nayak, A
    Demolombe, R
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES II, 2005, 3476 : 19 - 34
  • [43] Bounded situation calculus action theories
    De Giacomo, Giuseppe
    Lesperance, Yves
    Patrizi, Fabio
    ARTIFICIAL INTELLIGENCE, 2016, 237 : 172 - 203
  • [44] Abstraction in Situation Calculus Action Theories
    Banihashemi, Bita
    De Giacomo, Giuseppe
    Lesperance, Yves
    THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1048 - 1055
  • [45] Cardinality estimation with smoothing autoregressive models
    Yuming Lin
    Zejun Xu
    Yinghao Zhang
    You Li
    Jingwei Zhang
    World Wide Web, 2023, 26 : 3441 - 3461
  • [46] Cardinality estimation with smoothing autoregressive models
    Lin, Yuming
    Xu, Zejun
    Zhang, Yinghao
    Li, You
    Zhang, Jingwei
    WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2023, 26 (05): : 3441 - 3461
  • [47] On First-Order μ-Calculus over Situation Calculus Action Theories
    Calvanese, Diego
    De Giacomo, Giuseppe
    Montali, Marco
    Patrizi, Fabio
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 411 - 420
  • [48] Quantifier rank for parity of embedded finite models
    Fournier, H
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001, 2001, 2136 : 375 - 386
  • [49] The effects of quantifier size on the construction of discourse models
    Klingvall, Eva
    Heinat, Fredrik
    JOURNAL OF NEUROLINGUISTICS, 2022, 63
  • [50] Models and quantifier elimination for quantified Horn formulas
    Bubeck, Uwe
    Buening, Hans Kleine
    DISCRETE APPLIED MATHEMATICS, 2008, 156 (10) : 1606 - 1622
12345