InhaltsangabeCharacterizing diagnoses.- An interval propagation and conflict recognition engine f...

These are the proceedings of the third Internationalconference on ExtendingDatabase Technology ...

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

InhaltsangabeThe mathematics of set predicates in Prolog.- Some connections between set theory an...

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 topic of logic programming and databases. has gained in creasing interest in recent years. Se...

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

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...