From standard logic to logic programming : introducing a logic based approach to artificial intelligence / editor, Andre Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe Delsarte.
Contributor(s): Thayse, André
| Gochet, Paul.
Material type: 
BookPublisher: [Chichester] ; New York : Wiley, c1988Description: xvi, 343 p. : ill. ; 25 cm.ISBN: 0471918385.Subject(s): Logic programming | Artificial intelligenceDDC classification: 006.3
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Store | 006.3 (Browse shelf(Opens below)) | 1 | Available | 00020825 |
Enhanced descriptions from Syndetics:
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.
Bibliography: p. 327-335. - Includes index.