Revising probabilistic prolog programs

被引：0
|
作者：
De Raedt, Luc [1 ]
Kersting, Kristian
Kimmig, Angelika
Revoredo, Kate
Toivonen, Hannu
机构：
[1] Univ Freiburg, Inst F Informat, Georges Kohler Allee 079, D-79110 Freiburg, Germany
来源：
INDUCTIVE LOGIC PROGRAMMING | 2007年 / 4455卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The ProbLog (probabilistic prolog) language has been introduced in [1], where various algorithms have been developed for solving and approximating ProbLog queries. Here, we define and study the problem of revising ProbLog theories from examples.
引用
收藏
页码：30 / +
页数：2
相关论文
共 50 条
  • [1] Compressing probabilistic Prolog programs
    De Raedt, L.
    Kersting, K.
    Kimmig, A.
    Revoredo, K.
    Toivonen, H.
    [J]. MACHINE LEARNING, 2008, 70 (2-3) : 151 - 168
  • [2] Compressing probabilistic Prolog programs
    L. De Raedt
    K. Kersting
    A. Kimmig
    K. Revoredo
    H. Toivonen
    [J]. Machine Learning, 2008, 70 : 151 - 168
  • [3] Improving prolog programs: Refactoring for prolog
    Serebrenik, Alexander
    Schrijvers, Tom
    Demoen, Bart
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 (02) : 201 - 215
  • [4] Improving Prolog programs: Refactoring for prolog
    Schrijvers, T
    Serebrenik, A
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 58 - 72
  • [5] PROFILING PROLOG PROGRAMS
    DEBRAY, SK
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (09): : 821 - 839
  • [6] Actions as prolog programs
    Tolentino, MV
    Santos, PE
    daSilva, FSC
    Rillo, M
    [J]. IEEE INTERNATIONAL JOINT SYMPOSIA ON INTELLIGENCE AND SYSTEMS, PROCEEDINGS, 1996, : 178 - 183
  • [7] THE PERFORMANCE OF PARALLEL PROLOG PROGRAMS
    FAGIN, BS
    DESPAIN, AM
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (12) : 1434 - 1445
  • [8] EFFICIENT INTERPRETATION OF PROLOG PROGRAMS
    BARKLUND, J
    [J]. SIGPLAN NOTICES, 1987, 22 (07): : 132 - 137
  • [9] Translating relational programs into Prolog
    Dwyer, B
    [J]. RELATIONAL METHODS FOR COMPUTER SCIENCE APPLICATIONS, 2001, 65 : 15 - 35
  • [10] Abstract interpretation of Prolog programs
    Spoto, F
    Levi, G
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 455 - 470
12345