This two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
Continue readingThis two-volume set of LNAI 12340 and LNAI 12341 constitutes the refereed proceedings of the 9th CCF Conference on Natural ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the First International Joint Conference on Natural Language ...
Continue readingThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Continue readingThe objectives of this book are to present the award papers from the 19th annual conference of JSAI 2005 and the selected ...
Continue readingThis book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence ...
Continue readingThis book constitutes the thoroughly refereed joint post-proceedings of the 17th and 18th annual conferences of the Japanese ...
Continue readingThe technology of artifcial intelligence is increasing its importance thanks to the rapid growth of the Internet and computer ...
Continue readingThis volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...
Continue readingThe combination of theoretically sound results and practically tested procedures and solution paths makes this book an ideal ...
Continue readingsuch as the modeling of (legal) regulatory systems and the ubiquitous nature of their usage. Weweregladto seethatin 2005undertheinspiredleadershipofDr. ...
Continue readingConstitutes the refereed proceedings of the three confederated conferences CoopIS 2005, DOA 2005, and ODBASE 2005 held as ...
Continue readingThis two-volume set LNCS 4277/4278 constitutes the refereed proceedings of 14 international workshops held as part of OTM ...
Continue readingConstitutes the proceedings of the 5 confederated international conferences on Cooperative Information Systems, Distributed ...
Continue readingThis two-volume set LNCS 5331/5332 constitutes the refereed proceedings of the five confederated international conferences ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Open Semantic Technologies for Intelligent ...
Continue readingThis monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Continue readingThis book explains why cognitive linguistics offers a plausible theoretical framework for a systematic and unified analysis ...
Continue readingThis book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
Continue readingThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Continue reading