7991 search results - page 285 / 1599 » Using More Reasoning to Improve |
171
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
192
click to vote
IAT
2006
IEEE
16 years 22 days ago
2006
IEEE
The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-orient...
197
click to vote
EWCBR
2004
Springer
16 years 2 days ago
2004
Springer
Case-based Reasoning (CBR) is a mature technology for building knowledge-based systems that are capable to produce useful results even if no answer matches the query exactly. Often...
172
click to vote
CAINE
2003
15 years 8 months ago
2003
In order to enhance the computer performance, nowadays microprocessors use Superscalar architecture. But the Superscalar architecture is unable to enhance the performance effectiv...
193
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...