Speeding up parameter and rule learning for acyclic probabilistic logic programs

被引：0
|
作者：
Vieira de Faria, Francisco H.O. [1 ]
Gusmão, Arthur Colombini [1 ]
De Bona, Glauber [1 ]
Mauá, Denis Deratani [2 ]
Cozman, Fabio Gagliardi [1 ]
机构：
[1] Escola Politécnica, Universidade de São Paulo, Brazil
[2] Instituto de Matemática e Estatística, Universidade de São Paulo, Brazil
来源：
International Journal of Approximate Reasoning | 2019年 / 106卷
基金：
巴西圣保罗研究基金会;
关键词：
Logic programming - Probabilistic logics - Image segmentation - Computer circuits - Learning algorithms - Maximum principle - Parameter estimation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：32 / 50
相关论文
共 50 条
  • [21] Probabilistic planning in hybrid probabilistic logic programs
    Saad, Emad
    SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2007, 4772 : 1 - 15
  • [22] Parameter learning of logic programs for symbolic-statistical modeling
    Sato, T
    Kameya, Y
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2001, 15 : 391 - 454
  • [23] Parameter learning of logic programs for symbolic-statistical modeling
    Sato, Taisuke
    Kameya, Yoshitaka
    Journal of Artificial Intelligence Research, 2001, 15 : 391 - 454
  • [24] Speeding up Static Probabilistic Timing Analysis
    Milutinovic, Suzana
    Abella, Jaume
    Hardy, Damien
    Quinones, Eduardo
    Puaut, Isabelle
    Cazorla, Francisco J.
    ARCHITECTURE OF COMPUTING SYSTEMS - ARCS 2015, 2015, 9017 : 236 - 247
  • [25] Inference and learning in probabilistic logic programs using weighted Boolean formulas
    Fierens, Daan
    Van den Broeck, Guy
    Renkens, Joris
    Shterionov, Dimitar
    Gutmann, Bernd
    Thon, Ingo
    Janssens, Gerda
    De Raedt, Luc
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 358 - 401
  • [26] A Logical Framework to Reinforcement Learning Using Hybrid Probabilistic Logic Programs
    Saad, Emad
    SCALABLE UNCERTAINTY MANAGEMENT, SUM 2008, 2008, 5291 : 341 - 355
  • [27] Applying logic synthesis for speeding up SAT
    Een, Niklas
    Mishchenko, Alan
    Sorensson, Niklas
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, 2007, 4501 : 272 - +
  • [28] Speeding up team learning
    Edmondson, A
    Bohmer, R
    Pisano, G
    HARVARD BUSINESS REVIEW, 2001, 79 (09) : 125 - +
  • [29] Speeding Up Matlab Programs by Orders of Magnitude
    Molaro, Mark C.
    Braatz, Richard D.
    IEEE CONTROL SYSTEMS MAGAZINE, 2013, 33 (06): : 135 - +
  • [30] Probabilistic Rule Learning
    De Raedt, Luc
    Thon, Ingo
    INDUCTIVE LOGIC PROGRAMMING, ILP 2010, 2011, 6489 : 47 - 58
12345