Research Catalog

Title

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.).

Author

European Workshop JELIA '90 (1990 : Amsterdam, Netherlands)

Publication

Berlin ; New York : Springer-Verlag, ©1991.

Items in the Library & Off-site

Details

Additional Authors

Eijck, J. van (Jan)

Description

ix, 561 p. : ill.; 25 cm.

Summary

"The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 478. Lecture notes in artificial intelligence

Uniform Title

• Lecture notes in computer science ; 478.
• Lecture notes in computer science. Lecture notes in artificial intelligence

Subject

• Artificial intelligence > Congresses
• Logic programming > Congresses
• Semantics > Data processing > Congresses
• Logic, Symbolic and mathematical > Congresses
• Nonclassical mathematical logic > Congresses
• Artificial intelligence
• Logic programming
• Logic, Symbolic and mathematical
• Nonclassical mathematical logic
• Semantics > Data processing
• Künstliche Intelligenz
• Logik
• Logische Programmierung
• Mathematische Logik
• Kongress
• Programming languages (Electronic computers) > Semantics > Congresses
• Programmation logique > Congrès

Genre/Form

Conference papers and proceedings

Bibliography (note)

• Includes bibliograhical references and index.

ISBN

• 3540536868
• 9783540536864
• 0387536868
• 9780387536866

LCCN

91006288

OCLC

• ocm23016132
• 23016132
• SCSB-9194468

Owning Institutions

Princeton University Library