DEDUCTION SYSTEMS IN ARTIFICIAL INTELLIGENCE
KARL HANS BLASIUS AND HANS-JURGEN BURCKERT1989 年出版238 页ISBN：
Lecture Notes in Artificial Intelligence 449 10th International Conference on Automated Deduction
M.E.Stickel1990 年出版688 页ISBN：
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
ARTIFICIAL INTELLIGENCE TECHNIQUES IN POWER SYSTEMS
1997 年出版302 页ISBN：0852968973
EXPERT SYSTEMS AND ARTIFICIAL INTELLIGENCE IN DECISION SUPPORT SYSTEMS
1987 年出版330 页ISBN：9027724377
A MANY-VALUED APPROACH TO DEDUCTION AND REASONING FOR ARTIFICIAL INTELLIGENCE
Cary G.deBessonet1991 年出版248 页ISBN：
Lecture Notes in Artificial Intelligence 4399 Learning Classifier Systems International Workshops
IWLCS 2003-20052007 年出版345 页ISBN：9783540712305
Lecture Notes in Artificial Intelligence 4048 Deontic Logic and Artificial Normative Systems 8th Int
DEON 20062006 年出版273 页ISBN：3540358420
