586 search results - page 28 / 118 » Automated Reasoning on Aspects Interactions |
FLAIRS
2001
13 years 11 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
WCE
2007
13 years 11 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
KR
1994
Springer
14 years 2 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...