2696 search results - page 293 / 540 » Semantic Abstraction and Anaphora |
168
click to vote
CADE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
168
click to vote
EWMF
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. To fight the problem of information overload in huge information sources like large document repositories, e. g. citeseer, or internet websites you need a selection crit...
193
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
163
click to vote
ICCBR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This paper summarises our work in textual Case-Based Reasoning within jCOLIBRI. We use Information Extraction techniques to annotate web pages to facilitate semantic retr...
190
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...