Logics in Artificial Intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited p...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: MacNish, Craig (Editor), Pearce, David (Editor), Pereira, Luis M. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1994, 1994
Edition:1st ed. 1994
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Summary:This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were selected from a total of 79 submissions; in addition there are two abstracts of invited talks and one full paper of the invited presentation by Georg Gottlob. The papers point out that, with the depth and maturity of formalisms and methodologies available in AI today, logics provide a formal basis for the study of the whole field of AI. The volume offers sections on nonmonotonic reasoning, automated reasoning, logic programming, knowledge representation, and belief revision
Physical Description:IX, 416 p online resource
ISBN:9783540486572