2766 search results - page 376 / 554 » Hybridizing a Logical Framework |
134
click to vote
ARGMAS
2008
Springer
15 years 6 months ago
2008
Springer
Norms represent what ought to be done, and their fulfillment can be seen as benefiting the overall system, society or organisation. However, individual agent goals (desire) may con...
147
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
129
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
152
click to vote
LOPSTR
2009
Springer
15 years 11 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...
124
Voted
DSD
2008
IEEE
15 years 11 months ago
2008
IEEE
Although preliminary analysis frameworks point out the performance speed-ups achievable by on-chip networks with respect to state-of-the-art interconnects, the area concern remain...