|
" Logic programming, knowledge representation, and nonmonotonic reasoning : "
Marcello Balduccini, Tran Cao Son (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
650390
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Logic programming, knowledge representation, and nonmonotonic reasoning : : essays dedicated to Michael Gelfond on the occasion of his 65th birthday /\ Marcello Balduccini, Tran Cao Son (eds.)
|
| Series Statement
|
:
|
Lecture notes in computer science. Lecture notes in artificial intelligence. Festschrift ;; 6565
|
|
|
:
|
LNCS sublibrary. SL 7, Artificial intelligence
|
| Page. NO
|
:
|
xiii, 512 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
9783642208317
|
|
|
:
|
: 3642208312
|
| Notes
|
:
|
Some of these papers were presented at the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, duting Oct., 25-26, 2010
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index
|
| Subject
|
:
|
Gelfond, Michael
|
| Subject
|
:
|
Logic programming
|
| Subject
|
:
|
Nonmonotonic reasoning
|
| Added Entry
|
:
|
Balduccini, Marcello
|
|
|
:
|
Son, Tran Cao,1962-
|
|
|
:
|
Gelfond, Michael
|
| Added Entry
|
:
|
Symposium on Constructive Mathematics in Computer Science(2010 :, Lexington, Ky.)
|
| |