Belief Logic Programming

被引：1
|
作者：
Wan, Hui [1 ]
机构：
[1] SUNY Stony Brook, Stony Brook, NY 11794 USA
来源：
LOGIC PROGRAMMING | 2009年 / 5649卷
关键词：
DEDUCTIVE DATABASES; UNCERTAINTY;
D O I：
10.1007/978-3-642-02846-5_57
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：547 / 548
页数：2
相关论文
共 50 条
  • [1] Belief Logic Programming with Cyclic Dependencies
    Wan, Hui
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 150 - 165
  • [2] Query Answering in Belief Logic Programming
    Wan, Hui
    Kifer, Michael
    SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2009, 5785 : 268 - 281
  • [3] Iterative belief revision in extended logic programming
    You, JH
    Cartwright, R
    Li, M
    THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 383 - 406
  • [4] Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
    Wan, Hui
    Kifer, Michael
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 316 - 328
  • [5] Interleaving belief updating and reasoning in abductive logic programming
    Sadri, Fariba
    Toni, Francesca
    ECAI 2006, PROCEEDINGS, 2006, 141 : 442 - +
  • [6] Belief revision in non-monotonic reasoning and logic programming
    Alferes, Jose Julio
    Moniz Pereira, Luis
    Przymusinski, Teodor C.
    Fundamenta Informaticae, 1996, 28 (1-2): : 1 - 22
  • [7] Merging of ontologies using belief revision and defeasible logic programming
    Gómez, Sergio Alejandro
    Simari, Guillermo Ricardo
    Inteligencia Artificial, 2013, 16 (52) : 16 - 28
  • [8] ON THE LOGIC OF BELIEF
    FITCH, G
    NOUS, 1985, 19 (02): : 205 - 228
  • [9] ON THE LOGIC OF BELIEF
    DACOSTA, NCA
    FRENCH, S
    PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1989, 49 (03) : 431 - 446
  • [10] Logic programming and constraint logic programming
    Cohen, J
    ACM COMPUTING SURVEYS, 1996, 28 (01) : 257 - 259
12345