4573 search results - page 520 / 915 » Automated Reasoning |
111
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
130
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show ...
158
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
180
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a finite set of i...
147
click to vote
LOPSTR
2007
Springer
15 years 11 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...