Marco Cadoli's work on nonmonotonic reasoning

被引：0
作者：
Eiter, Thomas [1 ]
Gottlob, Georg [2 ]
机构：
[1] Vienna Univ Technol, Inst Informat Syst, Favoritenst 9-11, A-1040 Vienna, Austria
[2] Univ Oxford, Dept Comp Sci, Oxford, England
来源：
INTELLIGENZA ARTIFICIALE | 2013年 / 7卷 / 01期
关键词：
Approximate reasoning; circumscription; computational complexity; knowledge compilation; nonmonotonic reasoning; problem solving; succinct representation;
D O I：
10.3233/IA-130040
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Marco Cadoli (5.12.1965 - 21.11.2006) was a well- known Italian Computer Scientist. This paper reviews his fundamental work in the area of nonmonotonic reasoning and also gives a very brief personal (and thus rather incomplete) account of his academic career and of his fruitful cooperation and interaction with the AI Group at TU Wien.
引用
收藏
页码：7 / 17
页数：11
相关论文
共 54 条
[1]   LINEAR-TIME ALGORITHM FOR TESTING THE TRUTH OF CERTAIN QUANTIFIED BOOLEAN FORMULAS [J].
ASPVALL, B ;
PLASS, MF ;
TARJAN, RE .
INFORMATION PROCESSING LETTERS, 1979, 8 (03) :121-123
[2]   RESOLUTION FOR QUANTIFIED BOOLEAN-FORMULAS [J].
BUNING, HK ;
KARPINSKI, M ;
FLOGEL, A .
INFORMATION AND COMPUTATION, 1995, 117 (01) :12-18
[3]   A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS [J].
CADOLI, M ;
SCHAERF, M .
JOURNAL OF LOGIC PROGRAMMING, 1993, 17 (2-4) :127-160
[4]  
CADOLI M, 1992, PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92), P330
[5]  
Cadoli M., 1997, AI*IA 97: Advances in Artificial Intelligence. 5th Congress of the Italian Association for Artificial Intelligence. Proceedings, P207
[6]   AN EFFICIENT METHOD FOR ELIMINATING VARYING PREDICATES FROM A CIRCUMSCRIPTION [J].
CADOLI, M ;
EITER, T ;
GOTTLOB, G .
ARTIFICIAL INTELLIGENCE, 1992, 54 (03) :397-410
[7]   Semantical and computational aspects of Horn approximations [J].
Cadoli, M ;
Scarcello, F .
ARTIFICIAL INTELLIGENCE, 2000, 119 (1-2) :1-17
[8]   Preprocessing of intractable problems [J].
Cadoli, M ;
Donini, FM ;
Liberatore, P ;
Schaerf, M .
INFORMATION AND COMPUTATION, 2002, 176 (02) :89-120
[9]  
CADOLI M, 1991, LECT NOTES ARTIF INT, V549, P68
[10]  
Cadoli M, 1997, AI COMMUN, V10, P137
123456