Sciweavers

464 search results - page 15 / 93
» Modeling Semantic Constraints with Logic in the EARL Data Mo...
Sort
View
CIKM
2010
Springer
13 years 4 months ago
Automatic schema merging using mapping constraints among incomplete sources
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
Xiang Li 0002, Christoph Quix, David Kensche, Sand...
AAAI
2004
13 years 8 months ago
Logic Programs with Abstract Constraint Atoms
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
Victor W. Marek, Miroslaw Truszczynski
CORR
2010
Springer
138views Education» more  CORR 2010»
13 years 6 months ago
Optimal Path Planning under Temporal Logic Constraints
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...
SEMWEB
2005
Springer
14 years 6 days ago
A Fuzzy Semantics for Semantic Web Languages
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...
Mauro Mazzieri, Aldo Franco Dragoni
ADBIS
2007
Springer
98views Database» more  ADBIS 2007»
14 years 28 days ago
CUDL Language Semantics, Liven Up the FDB Data Model
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
Nikitas Karanikolas, Maria Nitsiou, Emmanuel J. Ya...