2909 search results - page 12 / 582 » Consistency of the theory of contexts |
70
Voted
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
87
Voted
ACL
1996
15 years 3 months ago
1996
AI
2004
Springer
15 years 1 months ago
2004
Springer
120
Voted
CORR
2010
Springer
15 years 1 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...
128
Voted
LPNMR
2005
Springer
15 years 7 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...