400 search results - page 51 / 80 » Singularities in Qualitative Reasoning |
BSL
2011
13 years 5 months ago
2011
show that an abstract analysis of one of these three set theoretic principles can sometimes lead us to results that do not require additional axioms at all but which could have bee...
GCC
2003
Springer
14 years 3 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
WM
2003
13 years 11 months ago
2003
: Three-dimensional visualization facilitates human perception, imagination, and reasoning based on computer-represented knowledge. Since human imagination and reasoning is based o...
DLOG
1996
1996
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
13 years 11 months ago
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
DAIS
2009
13 years 7 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...