Automated Reasoning for Relational Probabilistic Knowledge Representation

被引：0
|
作者：
Beierle, Christoph [1 ]
Finthammer, Marc [1 ]
Kern-Isberner, Gabriele [2 ]
Thimm, Matthias [2 ]
机构：
[1] FernUniv, Dept Comp Sci, D-58084 Hagen, Germany
[2] TU Dortmund, Dept Comp Sci, D-44221 Dortmund, Germany
来源：
AUTOMATED REASONING | 2010年 / 6173卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
KREATOR is a toolbox for representing, learning, and automated reasoning with various approaches combining relational first-order logic with probabilities. We give a brief overview of the KREATOR system and its automated reasoning facilities.
引用
收藏
页码：218 / +
页数：2
相关论文
共 50 条
  • [1] Knowledge Representation for Automated Reasoning
    Jozefowska, Joanna
    [J]. AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, 2010, 6070 : 6 - 11
  • [2] The hierarchical knowledge representation for automated reasoning
    Bedkowski, Janusz
    Maslowski, Andrzej
    [J]. 2010 15TH INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2010, : 341 - 349
  • [3] A practical approach to knowledge representation and reasoning in relational databases
    Cheng, J
    Bell, DA
    Liu, WR
    [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1996, : 470 - 471
  • [4] Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation
    Beierle, Christoph
    Finthammer, Marc
    Kern-Isberner, Gabriele
    Thimm, Matthias
    [J]. KI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 7006 : 63 - +
  • [5] Probabilistic Entity Representation Model for Reasoning over Knowledge Graphs
    Choudhary, Nurendra
    Rao, Nikhil
    Katariya, Sumeet
    Subbian, Karthik
    Reddy, Chandan K.
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 34 (NEURIPS 2021), 2021, 34
  • [6] Probabilistic Relational Reasoning for Differential Privacy
    Barthe, Gilles
    Koepf, Boris
    Olmedo, Federico
    Zanella Beguelin, Santiago
    [J]. POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 97 - 109
  • [7] Probabilistic Relational Reasoning for Differential Privacy
    Barthe, Gilles
    Koepf, Boris
    Olmedo, Federico
    Zanella-Beguelin, Santiago
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 35 (03):
  • [8] Relational Reasoning via Probabilistic Coupling
    Barthe, Gilles
    Espitau, Thomas
    Gregoire, Benjamin
    Hsu, Justin
    Stefanesco, Leo
    Strub, Pierre-Yves
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 387 - 401
  • [9] Probabilistic Relational Reasoning via Metrics
    de Amorim, Arthur Azevedo
    Gaboardi, Marco
    Hsu, Justin
    Katsumata, Shin-ya
    [J]. 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
  • [10] Probabilistic relational reasoning for differential privacy
    Barthe, Gilles
    Koepf, Boris
    Olmedo, Federico
    Zanella Beguelin, Santiago
    [J]. ACM SIGPLAN NOTICES, 2012, 47 (01) : 97 - 109
12345