3776 search results - page 421 / 756 » Partition-Based Logical Reasoning |
165
click to vote
ETELEMED
2009
IEEE
15 years 11 months ago
2009
IEEE
The Differential diagnosis (ddx) is a systematic method to identify unknowns. This method, essentially a process of elimination, is used by taxonomists to identify living organism...
156
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...
177
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...
130
click to vote
PRDC
2007
IEEE
15 years 11 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
116
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...