586 search results - page 68 / 118 » Automated Reasoning on Aspects Interactions |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for deļ¬ning them have not been developed yet. One approach to simplify the deļ...
LOPSTR
2005
Springer
14 years 1 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Security properties are proļ¬tably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...