Sciweavers

2519 search results - page 112 / 504
» Reasoning with Textual Cases
Sort
View
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
15 years 5 months ago
A Metamodeling Approach for Reasoning about Requirements
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
Arda Goknil, Ivan Kurtev, Klaas van den Berg
ENTCS
2010
96views more  ENTCS 2010»
15 years 4 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
KER
2008
105views more  KER 2008»
15 years 4 months ago
Situational reasoning for task-oriented mobile service recommendation
We study the case of integrating situational reasoning into a mobile service recommendation system. Since mobile Internet services are rapidly proliferating, finding and using appr...
Marko Luther, Yusuke Fukazawa, Matthias Wagner, Sh...
DLOG
2011
14 years 8 months ago
Concept Model Semantics for DL Preferential Reasoning
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
Arina Britz, Thomas Meyer, Ivan José Varzin...
IESS
2009
Springer
131views Hardware» more  IESS 2009»
15 years 9 months ago
Characterization of Inaccessibility in Wireless Networks: A Case Study on IEEE 802.15.4 Standard
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
Jeferson L. R. Souza, José Rufino