8228 search results - page 110 / 1646 » Structural Logical Relations |
221
Voted
VLDB
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...
100
Voted
MFCS
2009
Springer
15 years 9 months ago
2009
Springer
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable µ-c...
117
click to vote
JURIX
2007
15 years 4 months ago
2007
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...
118
Voted
NDJFL
2010
14 years 9 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
147
click to vote
IGPL
2010
15 years 1 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...