Sciweavers

294 search results - page 34 / 59
» Relational Modality
Sort
View
ACII
2007
Springer
15 years 4 months ago
Person or Puppet? The Role of Stimulus Realism in Attributing Emotion to Static Body Postures
Knowledge of the relation between body posture and the perception of affect is limited. Existing studies of emotion attribution to static body postures vary in method, response mod...
Marco Pasch, Ronald Poppe
CSFW
2003
IEEE
15 years 3 months ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
IJCAI
2003
14 years 11 months ago
Intelligent Multimedia Indexing and Retrieval through Multi-source Information Extraction and Merging
This paper reports work on automated meta-data creation for multimedia content. The approach results in the generation of a conceptual index of the content which may then be searc...
Jan Kuper, Horacio Saggion, Hamish Cunningham, Thi...
CADE
2010
Springer
14 years 11 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...
BSL
2004
100views more  BSL 2004»
14 years 9 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad