634 search results - page 70 / 127 » Completion Procedures as Semidecision Procedures |
APCHI
1998
IEEE
15 years 2 months ago
1998
IEEE
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
TABLEAUX
1999
Springer
15 years 2 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
ECAI
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...
104
click to vote
TYPES
1998
Springer
15 years 2 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
ADAEUROPE
1997
Springer
15 years 1 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...