2253 search results - page 315 / 451 » The ComFoRT Reasoning Framework |
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
LOPSTR
2007
Springer
14 years 3 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
RE
2007
Springer
14 years 3 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
TARK
2007
Springer
14 years 3 months ago
2007
Springer
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
UIC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...