3658 search results - page 315 / 732 » The logic of proofs, semantically |
184
click to vote
IPM
2006
15 years 6 months ago
2006
In this paper we present a theoretical model for understanding the performance of Latent Semantic Indexing (LSI) search and retrieval applications. Many models for understanding L...
161
click to vote
RV
2007
Springer
16 years 28 days ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...
224
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
A good P2P file sharing system is usually expected to achieve the following design goals: scalability, routing efficiency and complex query support. In this paper, we propose such ...
146
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
174
click to vote
DLOG
2008
15 years 9 months ago
2008
Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DD...