2909 search results - page 12 / 582 » Consistency of the theory of contexts |
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
ACL
1996
15 years 1 months ago
1996
AI
2004
Springer
14 years 11 months ago
2004
Springer
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
100
click to vote
LPNMR
2005
Springer
15 years 5 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...