3773 search results - page 111 / 755 » Logical Reasoning |
118
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
125
Voted
AI
2002
Springer
15 years 3 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
120
click to vote
CAEPIA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
113
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
83
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...