From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence

Gochet, Paul; Grégoire, Eric; Gribomont, Pascal; Hulin, Guy; Pirotte, Alain; Roelants, Dominique; Snyers, Dominique; Thayse, André; Vauclair, Marc; Wolper, Pierre"

ISBN 10: 0471918385 / ISBN 13: 9780471918387

Editore: Wiley, 1988

Riguardo questo articolo

PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Codice articolo 2128

Dati bibliografici

Titolo: From Standard Logic to Logic Programming: ...

Casa editrice: Wiley

Data di pubblicazione: 1988

Legatura: Soft cover

Condizione: New

Edizione: First Edition.

Descrizione articolo

Riassunto:

Presents a solid base for the examination of artificial intelligence (AI) with a thorough study of the role of logic, covering the whole field from the theoretical aspects of logic to the most practical logic programming applications. Discusses classical logic; knowledge representation and valid reasoning; non-standard logics and revisable reasoning; formal grammars; automata theory and augument transition network formalism and much more. Particular emphasis is placed on Prolog as the forerunning and most popular language for logic programming.

Product Description:

Book by Gochet Paul Grgoire Eric Gribomont Pascal Hulin Gu