TY - CHAP AU - Rafael del Vado Vírseda AU - Fernando Pérez Morente ED - Muhammad Tanvir Afzal Y1 - 2012-04-25 PY - 2012 T1 - A Semantic Framework for the Declarative Debugging of Wrong and Missing Answers in Declarative Constraint Programming N2 - The current book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. The book has been divided into two volumes. The current one is the first volume which highlights the advances in theories and mathematical models in the domain of Semantics. This volume has been divided into four sections and ten chapters. The sections include: 1) Background, 2) Queries, Predicates, and Semantic Cache, 3) Algorithms and Logic Programming, and 4) Semantic Web and Interfaces. Authors across the World have contributed to debate on state-of-the-art systems, theories, mathematical models in the domain of Semantics. Subsequently, new theories, mathematical models, and systems have been proposed, developed, and evaluated. BT - Semantics SP - Ch. 6 UR - https://doi.org/10.5772/37119 DO - 10.5772/37119 SN - PB - IntechOpen CY - Rijeka Y2 - 2024-04-27 ER -