ENGLISH

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

By David Pearce , Georg Gottlob (auth.) , Luís Moniz Pereira (eds.) , Craig MacNish

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1994
ISBN
3540583327, 9783540583325
DOI
10.1007/BFb0021960
LCC
Q334 .E985 1994
Open Library ID
OL1227885M
Language
english
Format
DJVU
Filesize
4 MB (4307026 bytes)
Series
Lecture Notes in Computer Science 838 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
416\423
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Artificial Intelligence (incl. Robotics); Mathemat

Description

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.

Similar books