From modal logic to deductive databases : 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, c1989Description: xxiv, 380 p. : ill. ; 25 cm.ISBN: 0471923451.Subject(s): Artificial intelligence -- Data processing | Logic programmingDDC classification: 006.3Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 006.3 (Browse shelf(Opens below)) | 1 | Available | 00020831 |
Enhanced descriptions from Syndetics:
Advances the study of artificial intelligence concepts and applications using logic as a guideline. Examines such topics as natural and formal languages; modal logic; temporal logic and specification of concurrent programs; theory of relational and deductive databases; intensional logic and Montague's Semantics; representation of incomplete information in databases and much more.
Bibliography: p. 351-369. - Includes index.