1663 search results - page 95 / 333 » Description Logics for Interoperability |
122
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
130
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
133
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
129
click to vote
ERCIMDL
2009
Springer
15 years 7 months ago
2009
Springer
We report on the implementation of a software infrastructure for preservation actions, carried out in the context of the European Integrated Project Planets – the Planets Interop...