Sciweavers

2573 search results - page 165 / 515
» Combinations of Modal Logics
Sort
View
IGPL
1998
97views more  IGPL 1998»
15 years 4 months ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
INFFUS
2006
104views more  INFFUS 2006»
15 years 4 months ago
Reasoning with multiple-source information in a possibilistic logic framework
This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...
Salem Benferhat, Claudio Sossai
IANDC
2010
91views more  IANDC 2010»
15 years 3 months ago
Functional interpretations of linear and intuitionistic logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
Paulo Oliva
136
Voted
GRAMMARS
2000
97views more  GRAMMARS 2000»
15 years 4 months ago
Proof-Nets, Hybrid Logics and Minimalist Representations
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...
Alain Lecomte
ICIP
2004
IEEE
16 years 6 months ago
Audio-visual flow -a variational approach to multi-modal flow estimation
Just as a motion field is associated to a moving object, an audio field can be associated to an object that can behave as a sound source. The flow field of such a sound source whi...
Raffay Hamid, Aaron F. Bobick, Anthony J. Yezzi