Sciweavers

886 search results - page 5 / 178
» Reasoning with contextual graphs
Sort
View
KSEM
2007
Springer
14 years 25 days ago
An Argumentative Reasoning Service for Deliberative Agents
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
Alejandro Javier García, Nicolás D. ...
POPL
2006
ACM
14 years 7 months ago
Small bisimulations for reasoning about higher-order imperative programs
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
Vasileios Koutavas, Mitchell Wand
ECIR
2008
Springer
13 years 8 months ago
Semantic Relationships in Multi-modal Graphs for Automatic Image Annotation
It is important to integrate contextual information in order to improve the inaccurate results of current approaches for automatic image annotation. Graph based representations all...
Vassilios Stathopoulos, Jana Urban, Joemon M. Jose
SOCASE
2009
Springer
14 years 1 months ago
Agent-Based Context Consistency Management in Smart Space Environments
Context-aware systems in a smart space environment must be aware of the surrounding contexts and adapt to changing contexts in highly dynamic environments. Data managements of con...
Wan-rong Jih, Jane Yung-jen Hsu, Han-Wen Chang
CONTEXT
2005
Springer
14 years 7 days ago
Task-Realization Models in Contextual Graphs
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
Patrick Brézillon