Sciweavers

2920 search results - page 358 / 584
» Finite information logic
Sort
View
CLIMA
2006
15 years 8 months ago
Belief Updating by Communication Channel
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
ECAI
2010
Springer
15 years 7 months ago
Majority Merging: from Boolean Spaces to Affine Spaces
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
Jean-François Condotta, Souhila Kaci, Pierr...
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 6 months ago
Fuzzy Ontology Representation using OWL 2
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
Fernando Bobillo, Umberto Straccia
JOLLI
2008
98views more  JOLLI 2008»
15 years 6 months ago
Meaning and Dialogue Coherence: A Proof-theoretic Investigation
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
Paul Piwek
KAIS
2007
95views more  KAIS 2007»
15 years 6 months ago
Handling non-canonical software requirements based on Annotated Predicate Calculus
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
Kedian Mu, Zhi Jin, Ruqian Lu, Yan Peng