2661 search results - page 291 / 533 » A Semantics for Abstraction |
197
click to vote
CADE
2005
Springer
16 years 25 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...
192
click to vote
EWMF
2005
Springer
16 years 25 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...
210
click to vote
ICALP
2005
Springer
16 years 24 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...
189
click to vote
ICCBR
2005
Springer
16 years 24 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...
214
click to vote
ICCS
2005
Springer
16 years 24 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...