Constraint Handling Rules : Current Research Topics
The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
اقرأ المزيد
Database Programming Languages
The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, ...
اقرأ المزيد
Database Theory - ICDT 2005
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during ...
اقرأ المزيد
Database Theory – ICDT 2007
The papers are organized in topical sections on information integration and peer to peer, axiomatizations for XML, expressive ...
اقرأ المزيد
Foundations of Information and Knowledge Systems
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge ...
اقرأ المزيد
GeoSpatial Semantics
This paper reports a simple case study of extracting the two types of such hierarchies from formal texts of traffic code. ...
اقرأ المزيد
Inconsistency Tolerance
Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification ...
اقرأ المزيد
Journal on Data Semantics IV
• Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven ...
اقرأ المزيد
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
اقرأ المزيد
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
اقرأ المزيد
