Sciweavers

61 search results - page 3 / 13
» Computing Presuppositions by Contextual Reasoning
Sort
View
CONTEXT
2007
Springer
14 years 13 days ago
Risk Context Effects in Inductive Reasoning: An Experimental and Computational Modeling Study
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
Kayo Sakamoto, Masanori Nakagawa
LICS
2010
IEEE
13 years 4 months ago
A Generic Operational Metatheory for Algebraic Effects
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
Patricia Johann, Alex Simpson, Janis Voigtlän...
FLAIRS
2004
13 years 7 months ago
Automatic Creation of Contextual Knowledge in Simulated Agents
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
Hans Fernlund, Avelino J. Gonzalez
PERCOM
2010
ACM
13 years 4 months ago
Towards the adaptive integration of multiple context reasoners in pervasive computing environments
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...
Daniele Riboni, Linda Pareschi, Claudio Bettini
ICLP
2007
Springer
14 years 12 days ago
Contextual Logic Programming for Ontology Representation and Querying
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
Nuno Lopes 0002, Cláudio Fernandes, Salvado...