2302 search results - page 310 / 461 » Basic Description Logics |
142
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
161
Voted
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
159
Voted
ACRI
2004
Springer
15 years 10 months ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
143
Voted
MFCS
2004
Springer
15 years 10 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
129
Voted
MSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Intellectual property (IP) reuse based system design is becoming an industry standard recently. However, current educational system is not effective in the training of engineers ...