Datalog plus plus and Datalog-

被引：0
|
作者：
Vardi, Moshe [1 ]
机构：
[1] Rice Univ, Houston, TX 77005 USA
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 345期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [1] Maltsev plus Datalog ⇒ symmetric Datalog
    Dalmau, Victor
    Larose, Benoit
    [J]. TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 297 - +
  • [2] Datalog plus /-: Questions and Answers
    Gottlob, Georg
    Lukasiewicz, Thomas
    Pieris, Andreas
    [J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 681 - 684
  • [3] Inconsistency Handling in Datalog plus /- Ontologies
    Lukasiewicz, Thomas
    Martinez, Maria Vanina
    Simari, Gerardo I.
    [J]. 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 558 - 563
  • [4] Datalog plus /-: A Family of Languages for Ontology Querying
    Cali, Andrea
    Gottlob, Georg
    Lukasiewicz, Thomas
    Pieris, Andreas
    [J]. DATALOG RELOADED: FIRST INTERNATIONALWORKSHOP, DATALOG 2010, 2011, 6702 : 351 - 368
  • [5] DAGGER: Datalog plus /- Argumentation Graph GEneRator
    Yun, Bruno
    Croitoru, Madalina
    Vesic, Srdjan
    Bisquert, Pierre
    [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1841 - 1843
  • [6] Belief Base Revision for Datalog plus/- Ontologies
    Wang, Songxin
    Pan, Jeff Z.
    Zhao, Yuting
    Li, Wei
    Han, Songqiao
    Han, Dongmei
    [J]. SEMANTIC TECHNOLOGY, 2014, 8388 : 175 - 186
  • [7] Eliminating Harmful Joins in Warded Datalog plus /-
    Baldazzi, Teodoro
    Bellomarini, Luigi
    Sallinger, Emanuel
    Atzeni, Paolo
    [J]. RULES AND REASONING, RULEML+RR 2021, 2021, 12851 : 267 - 275
  • [8] Group Preferences for Query Answering in Datalog plus/- Ontologies
    Lukasiewicz, Thomas
    Martinez, Maria Vanina
    Simari, Gerardo I.
    Tifrea-Marciuska, Oana
    [J]. SCALABLE UNCERTAINTY MANAGEMENT, SUM 2013, 2013, 8078 : 360 - 373
  • [9] iWarded: A Versatile Generator to Benchmark Warded Datalog plus /- Reasoning
    Atzeni, Paolo
    Baldazzi, Teodoro
    Bellomarini, Luigi
    Sallinger, Emanuel
    [J]. RULES AND REASONING, RULEML+RR 2022, 2022, 13752 : 113 - 129
  • [10] Query answering under probabilistic uncertainty in Datalog plus / - ontologies
    Gottlob, Georg
    Lukasiewicz, Thomas
    Martinez, Maria Vanina
    Simari, Gerardo I.
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2013, 69 (01) : 37 - 72
12345