共 8 条
[1]
David Ferrucci,Anthony Levas,Sugato Bagchi,David Gondek,Erik T. Mueller.Watson: Beyond Jeopardy![J].Artificial Intelligence,2013
[2]
Armin Biere,Marijn Heule,Hans van Maaren,Toby Walsh.Handbook of Satisfiability[J].
[3]
Jiyou Jia.CSIEC: A computer assisted English learning chatbot based on textual knowledge and reasoning[J].Knowledge-Based Systems,2008(4)
[4]
Proving Consistency Assertions for Automotive Product Data Management
[J].
Journal of Automated Reasoning,
2000, 24
:145-163
[6]
Joseph Weizenbaum.ELIZA—a computer program for the study of natural language communication between man and machine[J].Communications of the ACM,1966(1)
[7]
J. A. Robinson.A Machine-Oriented Logic Based on the Resolution Principle[J].Journal of the ACM (JACM),1965(1)
[8]
A. M. Turing.Computing Machinery and Intelligence[J].Mind,1950(236)