The papers in this book discuss technologies relevant to expert systems in engineering and descri...

These are the proceedings of the 3rd International Conference on Extending Database Technology. E...

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational ...

The Third Kurt G-del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third...

This book constitutes the thoroughly refereed post-workshop proceedings of the First Internationa...

Das vorliegende Buch gibt einen umfassenden Überblick über das wohl aktivste Forschungs- und Anwe...

The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL'98, was held...

The topic of logic programming and databases. has gained in creasing interest in recent years. Se...

InhaltsangabeQuery and update processing.- Relational storage.- Benchmarking.- XML query processi...

This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013, held in Mannh...

This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML ...

This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory...