3028 search results - page 191 / 606 » Integrating Temporal Logics |
215
click to vote
IJAR
2007
15 years 7 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
194
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
169
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
197
click to vote
FUZZY
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. This paper studies some relationships between fuzzy relations, fuzzy graphs and fuzzy measure. It is shown that a fundamental theorem of Discrete Convex Analysis is deriv...
202
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
In our approach to the Programming Languages course, formal models are integrated as a thread that pervades the course, rather than as a one of many topics that is introduced and ...