KNOWLEDGE REPRESENTATION AND REASONING

被引：61
作者：
LEVESQUE, HJ
机构：
来源：
ANNUAL REVIEW OF COMPUTER SCIENCE | 1986年 / 1卷
关键词：
D O I：
10.1146/annurev.cs.01.060186.001351
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：255 / 287
页数：33
相关论文
共 50 条
[21]   The RacerPro knowledge representation and reasoning system [J].
Haarslev, Volker ;
Hidde, Kay ;
Moeller, Ralf ;
Wessel, Michael .
SEMANTIC WEB, 2012, 3 (03) :267-277
[22]   An introduction to knowledge representation and reasoning in healthcare [J].
Lect. Notes Comput. Sci., (9-32) :9-32
[23]   A Social Vision of Knowledge Representation and Reasoning [J].
Bry, Francois ;
Kotowski, Jakub .
SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2010, 5901 :235-246
[24]   Neural Networks and Structured Knowledge: Knowledge Representation and Reasoning [J].
Franz J. Kurfess .
Applied Intelligence, 1999, 11 :5-13
[25]   Neural networks and structured knowledge: Knowledge representation and reasoning [J].
Kurfess, FJ .
APPLIED INTELLIGENCE, 1999, 11 (01) :5-13
[26]   SELECTING A HUMANLY UNDERSTANDABLE KNOWLEDGE REPRESENTATION FOR REASONING ABOUT KNOWLEDGE [J].
MAIDA, AS .
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1985, 22 (02) :151-161
[27]   Incremental Tabling in Support of Knowledge Representation and Reasoning [J].
Swift, Terrance .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 :553-567
[28]   A KNOWLEDGE REPRESENTATION PERSPECTIVE - LOGICS FOR PARACONSISTENT REASONING [J].
BESNARD, P ;
LAENENS, E .
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (01) :153-168
[29]   Knowledge Representation and Reasoning - A History of DARPA Leadership [J].
Fikes, Richard ;
Garvey, Tom .
AI MAGAZINE, 2020, 41 (02) :9-21
[30]   Special Track on Knowledge Representation and Reasoning (KRR) [J].
Bistarelli, Stefano ;
Ceberio, Martine ;
Monfroy, Eric ;
Santini, Francesco ;
Taticchi, Carlo .
Proceedings of the ACM Symposium on Applied Computing, 2024, :744-745
12345