Deterministic and non-deterministic stable model semantics for unbound DATALOG queries

被引：0
|
作者：
Sacca, D
机构：
来源：
DATABASE THEORY - ICDT '95 | 1995年 / 893卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
There are presently many proposals to extend the notion of stable model to the domain of partial interpretations. This paper is concerned with the analysis of the expressive powers of such types of stable model under various versions of deterministic semantics for unbound (i.e., without ground terms) queries on DATALOG programs with negation. Various versions of non-deterministic semantics are also proposed and their expressive powers are fully characterized as well.
引用
收藏
页码：353 / 367
页数：15
相关论文
共 50 条
  • [31] Distance-based non-deterministic semantics for reasoning with uncertainty
    Arieli, Ofer
    Zamansky, Anna
    LOGIC JOURNAL OF THE IGPL, 2009, 17 (04) : 325 - 350
  • [32] HEIGHT OF VALUATiONS IN NON-DETERMINISTIC SEMANTICS FOR MODAL LOGIC.
    Pawlowski, Pawel
    Journal of Applied Logics, 2023, 10 (04): : 587 - 601
  • [33] Effiective non-deterministic semantics for first-order LFIs
    Zamansky, Anna
    Avron, Arnon
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2007, 13 (4-6) : 335 - 351
  • [34] Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
    Arieli, Ofer
    Zamansky, Anna
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 793 - +
  • [35] Proof Search on Bilateralist Judgments over Non-deterministic Semantics
    Greati, Vitor
    Marcelino, Sergio
    Marcos, Joao
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 129 - 146
  • [36] NON-DETERMINISTIC FORTRAN
    COHEN, J
    CARTON, E
    COMPUTER JOURNAL, 1974, 17 (01): : 44 - 51
  • [37] Non-deterministic processors
    May, D
    Muller, HL
    Smart, NP
    INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2001, 2119 : 115 - 129
  • [38] On Non-Deterministic Quantification
    Ferguson, Thomas Macaulay
    LOGICA UNIVERSALIS, 2014, 8 (02) : 165 - 191
  • [39] NON-DETERMINISTIC ALGORITHMS
    COHEN, J
    COMPUTING SURVEYS, 1979, 11 (02) : 79 - 94
  • [40] Non-binary choice in a non-deterministic model
    Alcantud, JCR
    ECONOMICS LETTERS, 2002, 77 (01) : 117 - 123
12345