Sciweavers

2490 search results - page 12 / 498
» Complexity of Contextual Reasoning
Sort
View
ESWS
2006
Springer
15 years 1 months ago
Rules with Contextually Scoped Negation
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
Axel Polleres, Cristina Feier, Andreas Harth
TLCA
2005
Springer
15 years 3 months ago
Relational Reasoning in a Nominal Semantics for Storage
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
Nick Benton, Benjamin Leperchey
WCE
2007
14 years 11 months ago
An Agent's Action Selection Strategy by Using Case-based Reasoning and Simulated Vision
— This paper presents an approach to agent’s action selection strategy called stepwise case-based reasoning (SCBR). In this paper an agent that roams in 3D synthetic world is c...
Haris Supic
HCI
2009
14 years 7 months ago
Studying Reactive, Risky, Complex, Long-Spanning, and Collaborative Work: The Case of IT Service Delivery
Abstract. IT service delivery is challenging to study. It is characterized by interacting systems of technology, people, and organizations. The work is sometimes reactive, sometime...
Eser Kandogan, Eben M. Haber, John H. Bailey, Paul...
CONTEXT
2007
Springer
15 years 4 months ago
Context Modeling: Task Model and Practice Model
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Patrick Brézillon