Sciweavers

3836 search results - page 148 / 768
» Semantics of Database Transformations
Sort
View
ILP
2003
Springer
15 years 9 months ago
Query Optimization in Inductive Logic Programming by Reordering Literals
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
Jan Struyf, Hendrik Blockeel
SIGADA
2007
Springer
15 years 9 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
164
Voted
CADE
2001
Springer
16 years 4 months ago
A Top-Down Procedure for Disjunctive Well-Founded Semantics
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
Kewen Wang
ER
2005
Springer
134views Database» more  ER 2005»
15 years 9 months ago
Spatial Relations for Semantic Similarity Measurement
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
Angela Schwering, Martin Raubal
158
Voted
IADIS
2008
15 years 5 months ago
Semantic Learning Content Management System
Building semantics concepts into the learning tools and utilities will open the road for the next generation of the Learning Content Management System (LCMS). We propose here to n...
Radu Balog-Crisan, Ioan Roxin