TY - BOOK AU - Reiter,Ray AU - Levesque,Hector J. AU - Pirri,Fiora TI - Logical foundations for cognitive agents: contributions in honor of Ray Reiter T2 - Artificial intelligence, SN - 3540660127 (acidfree paper) AV - QA76.9.L63 L63 1999 U1 - 006.3 21 PY - 1999/// CY - Berlin, New York PB - Springer KW - Computer logic KW - Intelligent agents (Computer software) KW - Artificial intelligence N1 - Includes bibliographical references and index ER -