From Modal Logic to Deductive Data Bases - Tapa blanda

Thayse, Andre

 
9780471923459: From Modal Logic to Deductive Data Bases

Sinopsis

This volume is an invaluable learning and reference source for students and researchers of computer science and artificial intelligence. It advances the study of the concepts and methods of artificial intelligence taking logic as a guideline. A knowledge of standard logic is required for an understanding of this book but this comprehensive approach to logic used in computer science is complemented by a companion volume, "From Standard Logic to Logic Programming". In this, the more elementary aspects of using logic for artificial intelligence are introduced.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This volume is an invaluable learning and reference source for students and researchers of computer science and artificial intelligence. It advances the study of the concepts and methods of artificial intelligence taking logic as a guideline. A knowledge of standard logic is required for an understanding of this book but this comprehensive approach to logic used in computer science is complemented by a companion volume, "From Standard Logic to Logic Programming". In this, the more elementary aspects of using logic for artificial intelligence are introduced.

"Sobre este título" puede pertenecer a otra edición de este libro.