827 search results - page 95 / 166 » Proof-Theoretic Soundness and Completeness |
186
click to vote
PTS
1998
15 years 7 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
168
click to vote
FORTE
1997
15 years 7 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
135
click to vote
AAAI
1994
15 years 7 months ago
1994
We de ne the probabilistic planning problem in terms of a probability distribution over initial world states, a boolean combination of goal propositions, a probability threshold, ...
154
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper describes an explanation-based approach lo learning plans despite a computationally intractable domain theory. In this approach, the system learns an initial plan using...
173
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...