4352 search results - page 100 / 871 » A Representation Theorem and Applications |
116
Voted
CLEF
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper presents a system that applies Textual Entailment recognition techniques to the AVE task. This is performed comparing representations of text snippets by means...
DASFAA
2007
IEEE
15 years 7 months ago
2007
IEEE
Recently, several approaches and systems were proposed to store in the same database data and the ontologies describing their meanings. We call these databases, ontology-based data...
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
100
Voted
FLAIRS
1998
15 years 2 months ago
1998
Using an adequate representation is often the key to solve complex problems in Artificial Intelligence. Hierarchical shape representations are very convenient in domains -such as ...
100
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equ...