Sciweavers

75 search results - page 13 / 15
» Propositional belief merging and belief negotiation model
Sort
View
ATAL
2011
Springer
12 years 7 months ago
The face of emotions: a logical formalization of expressive speech acts
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
Nadine Guiraud, Dominique Longin, Emiliano Lorini,...
SYNTHESE
2008
99views more  SYNTHESE 2008»
13 years 7 months ago
Public and private communication are different: results on relative expressivity
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
Bryan Renne
AIEDU
2004
77views more  AIEDU 2004»
13 years 7 months ago
Interacting with Inspectable Bayesian Student Models
Inspectable student models focus on the idea of letting students and teachers interact with the representation of the student that the system maintains. Both humans and the system ...
Juan-Diego Zapata-Rivera, Jim E. Greer
WCRE
2003
IEEE
14 years 22 days ago
Fuzzy Extensions for Reverse Engineering Repository Models
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...
Ulrike Kölsch, René Witte
KESAMSTA
2009
Springer
14 years 21 hour ago
Structural Changes in an Email-Based Social Network
ent Artificial Immune Systems (MAAIS) for Intrusion Detection: Abstraction from Danger Theory Chung-Ming Ou, C.R. Ou Ants-like Agents: a Model and Analysis Based on Natural Ants Be...
Krzysztof Juszczyszyn, Katarzyna Musial