Coverart for item
The Resource Computational logic : logic programming and beyond, Antonis C. Kakas, Fariba Sadri (eds.)

Computational logic : logic programming and beyond, Antonis C. Kakas, Fariba Sadri (eds.)

Label
Computational logic : logic programming and beyond
Title
Computational logic
Title remainder
logic programming and beyond
Statement of responsibility
Antonis C. Kakas, Fariba Sadri (eds.)
Contributor
Subject
Language
eng
Summary
This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contributions of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural languages, and learning. Together with its companion volume, LNAI 2408, this book commemorates the 60th birthday of Bob Kowalski as one of the founders of and contributors to computational logic
Member of
Cataloging source
COO
Dewey number
005.1/15
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.63
LC item number
.C64 2002
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1956-
http://library.link/vocab/relatedWorkOrContributorName
  • Kakas, Antonis C
  • Sadri, Fariba
  • Kowalski, Robert
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
2407-2408
http://library.link/vocab/subjectName
  • Kowalski, Robert
  • Logic programming
  • Automatic theorem proving
  • Logic programming languages
  • Kowalski, Robert
  • Automatic theorem proving
  • Logic programming
  • Logic programming languages
Label
Computational logic : logic programming and beyond, Antonis C. Kakas, Fariba Sadri (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
pt. 1-2. Essays in honour of Robert A. Kowalski
Control code
619611437
Dimensions
unknown
Extent
1 online resource (2 volumes)
Form of item
online
Isbn
9783540456285
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45628-7
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)619611437
Label
Computational logic : logic programming and beyond, Antonis C. Kakas, Fariba Sadri (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
pt. 1-2. Essays in honour of Robert A. Kowalski
Control code
619611437
Dimensions
unknown
Extent
1 online resource (2 volumes)
Form of item
online
Isbn
9783540456285
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45628-7
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)619611437

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...