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 条
  • [1] Deterministic and non-deterministic stable models
    Sacca, D
    Zaniolo, C
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 555 - 579
  • [2] Non-Deterministic Semantics for Quantum States
    Jorge, Juan Pablo
    Holik, Federico
    ENTROPY, 2020, 22 (02)
  • [3] Analytic Tableaux for Non-deterministic Semantics
    Graetz, Lukas
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 38 - 55
  • [4] A non-deterministic semantics for tractable inference
    Crawford, JM
    Etherington, DW
    FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 286 - 291
  • [5] Untruth, falsity and non-deterministic semantics
    Omori, Hitoshi
    Skurt, Daniel
    2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 74 - 80
  • [6] Non-deterministic Semantics in Polynomial Format
    Carnielli, Walter
    Matulovic, Mariana
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 305 (19-34) : 19 - 34
  • [7] Semantics of non-deterministic possibility computation
    Wu, Hengyang
    Chen, Yixiang
    FUZZY SETS AND SYSTEMS, 2012, 199 : 47 - 63
  • [8] NON-DETERMINISTIC FUNCTIONS AS NON-DETERMINISTIC PROCESSES
    Paulus, Joseph W. N.
    Nantes-Sobrinho, Daniele
    Perez, Jorge A.
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04) : 1 - 1
  • [9] Non-deterministic semantics for dynamic topological logic
    Fernandez, David
    ANNALS OF PURE AND APPLIED LOGIC, 2009, 157 (2-3) : 110 - 121
  • [10] Distance-Based Non-Deterministic Semantics
    Arieli, Ofer
    Zamansky, Anna
    ARTIFICIAL GENERAL INTELLIGENCE 2008, 2008, 171 : 39 - +
12345