258 search results - page 2 / 52 » Industrial Semantics and Magic |
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
ICWS
2003
IEEE
13 years 6 months ago
2003
IEEE
Semantic Web technology has a vision to define and link Web data in a way that it can be understood and used by machines for automation, integration and reuse of data across variou...
JUCS
2008
13 years 4 months ago
2008
Abstract: The digital media and games industry is one of the biggest IT based industries worldwide. Recent observations therein showed that current production workflows may be pote...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Semantic Web is, without a doubt, gaining momentum in both industry and academia. The word "Semantic" refers to "meaning"
SUM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...