Declarative Logic Programming: Theory, Systems, and Applications (ACM Books) - Softcover

Kifer, Michael; Liu, Yanhong Annie

 
Image Not Available

Synopsis

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.

Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and...

About the Authors

Michael Kifer is a professor with the Department of Computer Science, Stony Brook University, USA. He received his Ph.D. in Computer Science in 1984 from the Hebrew University of Jerusalem, Israel, and the M.S. degree in Mathematics in 1976 from Lomonosov Moscow State University, Russia. Since 2012, Dr. Kifer has served as the President of the Rules and Reasoning Association (RRA). His work spans the areas of knowledge...

"About this title" may belong to another edition of this title.

  • PublisherACM Books
  • Publication date2018
  • ISBN 10 1970001968
  • ISBN 13 9781970001969
  • BindingPaperback
  • LanguageEnglish
  • Number of pages615

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  1970001992 ISBN 13:  9781970001990
Publisher: ACM Books, 2018
Hardcover