1544 search results - page 224 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
ILP
1998
Springer
15 years 4 months ago
1998
Springer
In this paper we argue that the use of a language with a type system, together with higher-order facilities and functions, provides a suitable basis for knowledge representation in...
100
click to vote
DSD
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
103
click to vote
OTM
2005
Springer
15 years 5 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
CADE
2006
Springer
16 years 5 days ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
AIIA
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...