2062 search results - page 102 / 413 » Derivatives of Logical Formulas |
117
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
140
click to vote
DALT
2007
Springer
15 years 7 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
107
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
159
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
151
click to vote
AIPS
2008
15 years 6 months ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...