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 条

[11] PROBABILISTIC TEMPORAL REPRESENTATION AND REASONING
GOODWIN, SD
NEUFELD, E
TRUDEL, A
[J]. INTERNATIONAL JOURNAL OF EXPERT SYSTEMS, 1994, 7 (03): : 261 - 288
[12] KNOWLEDGE REPRESENTATION AND REASONING
LEVESQUE, HJ
[J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1986, 1 : 255 - 287
[13] An Extended Relational Data Model for Probabilistic Reasoning
Wong S.K.M.
[J]. Journal of Intelligent Information Systems, 1997, 9 (2) : 181 - 202
[14] An integrated development environment for probabilistic relational reasoning
Finthammer, Marc
Thimm, Matthias
[J]. LOGIC JOURNAL OF THE IGPL, 2012, 20 (05) : 831 - 871
[15] Taming Reasoning in Temporal Probabilistic Relational Models
Gehrke, Marcel
Moeller, Ralf
Braun, Tanya
[J]. ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 2592 - 2599
[16] Automated Probabilistic Modeling for Relational Data
Singh, Sameer
Graepel, Thore
[J]. PROCEEDINGS OF THE 22ND ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM'13), 2013, : 1497 - 1500
[17] Knowledge reasoning with multiple relational paths
Su, Hang
Li, Huangcan
Li, Dun
[J]. CONNECTION SCIENCE, 2023, 35 (01)
[18] Knowledge Graph Reasoning with Relational Digraph
Zhang, Yongqi
Yao, Quanming
[J]. PROCEEDINGS OF THE ACM WEB CONFERENCE 2022 (WWW'22), 2022, : 912 - 924
[19] Relational Causal Models with Cycles: Representation and Reasoning
Ahsan, Ragib
Arbour, David
Zheleva, Elena
[J]. CONFERENCE ON CAUSAL LEARNING AND REASONING, VOL 177, 2022, 177
[20] Knowledge representation and analogical reasoning
Klix, F
Bachmann, T
[J]. INTERNATIONAL JOURNAL OF PSYCHOLOGY, 1996, 31 (3-4) : 3184 - 3184

← 1 2 3 4 5 →