Sciweavers

1536 search results - page 32 / 308
» On the Relation between Interpreted Systems and Kripke Model...
Sort
View
ATAL
2005
Springer
14 years 2 months ago
A computationally grounded logic of knowledge, belief and certainty
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
Kaile Su, Abdul Sattar, Guido Governatori, Qinglia...
COMCOM
2008
72views more  COMCOM 2008»
13 years 8 months ago
Stochastic analysis of the interplay between object maintenance and churn
Due to the prevalence of peer dynamics (i.e., churn), object maintenance becomes a fundamental issue in peer-to-peer storage systems. Although quite a few prototypes have been des...
Di Wu, Ye Tian, Kam-Wing Ng, Anwitaman Datta
ICRA
2006
IEEE
77views Robotics» more  ICRA 2006»
14 years 2 months ago
Relative Localization and Communication Module for Small-scale Multi-robot Systems
— We characterize and improve an existing infrared relative localization/communication module used to find range and bearing between robots in small-scale multi-robot systems. M...
Jim Pugh, Alcherio Martinoli
FSS
2007
116views more  FSS 2007»
13 years 8 months ago
Smooth transition autoregressive models and fuzzy rule-based systems: Functional equivalence and consequences
In this work we will explore the theoretical connections existing between fuzzy rule-based systems (FRBS) applied on univariate time series and two statistical reference tools, th...
José Luis Aznarte, José Manuel Ben&i...
AAAI
2007
13 years 11 months ago
A Modal Logic for Beliefs and Pro Attitudes
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds