586 search results - page 28 / 118 » Automated Reasoning on Aspects Interactions |
90
Voted
FLAIRS
2001
15 years 1 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...
118
Voted
WCE
2007
15 years 1 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...
115
Voted
CADE
2007
Springer
16 years 23 days 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...
129
click to vote
KR
1994
Springer
15 years 4 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....
107
Voted
ATAL
2007
Springer
15 years 4 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...