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 条

[41] Knowledge representation and reasoning in conceptual spaces
Rickard, John T.
Aisbett, Janet
Gibbon, Greg
[J]. 2007 IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTATIONAL INTELLIGENCE, VOLS 1 AND 2, 2007, : 583 - +
[42] Science and engineering in knowledge representation and reasoning
Stein, LA
[J]. AI MAGAZINE, 1996, 17 (04) : 77 - 83
[43] ON THE REPRESENTATION OF COMMONSENSE KNOWLEDGE BY POSSIBILISTIC REASONING
YAGER, RR
[J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1989, 31 (05): : 587 - 610
[44] Scalable knowledge representation and reasoning systems
Kautz, H
[J]. AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 183 - 183
[45] The RacerPro knowledge representation and reasoning system
Haarslev, Volker
Hidde, Kay
Moeller, Ralf
Wessel, Michael
[J]. SEMANTIC WEB, 2012, 3 (03) : 267 - 277
[46] KNOWLEDGE REPRESENTATION AND REASONING IN SOFTWARE ENGINEERING
BORGIDA, A
JARKE, M
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1992, 18 (06) : 449 - 450
[47] A Social Vision of Knowledge Representation and Reasoning
Bry, Francois
Kotowski, Jakub
[J]. SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2010, 5901 : 235 - 246
[48] Probabilistic-Logic Models: Reasoning and Learning with Relational Structures
Jaeger, Manfred
[J]. TENTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2008, 173 : 197 - 200
[49] AUTOMATED KNOWLEDGE ACQUISITION BY REASONING FAILURES
PARK, YT
[J]. EXPERT SYSTEMS WITH APPLICATIONS, 1995, 9 (01) : 27 - 34
[50] Neural Networks and Structured Knowledge: Knowledge Representation and Reasoning
Franz J. Kurfess
[J]. Applied Intelligence, 1999, 11 : 5 - 13

← 1 2 3 4 5 →