Sciweavers

3005 search results - page 30 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
CAISE
2004
Springer
15 years 2 months ago
Description Logics for Interoperability
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
Enrico Franconi
COORDINATION
2008
Springer
14 years 11 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
COOPIS
2003
IEEE
15 years 2 months ago
The Semantics of the Compound Term Composition Algebra
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyra...
CIKM
1994
Springer
15 years 1 months ago
LogicBase: A Deductive Database System Prototype
Jiawei Han, Ling Liu, Zhaohui Xie