3457 search results - page 413 / 692 » A Symbol Is Not a Symbol |
199
click to vote
CAV
2003
Springer
16 years 26 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
213
click to vote
CONCUR
2003
Springer
16 years 26 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
169
click to vote
DIGRA
2003
Springer
16 years 26 days ago
2003
Springer
We advocate a research approach to determining the conditions of engagement in game simulation that is a multi-disciplinary cultural and scientific inquiry at the juncture of psyc...
200
click to vote
FM
2003
Springer
16 years 26 days ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
201
click to vote
ICCBR
2003
Springer
16 years 25 days ago
2003
Springer
This paper presents an algorithm called IBP that combines case-based and model-based reasoning for an interpretive CBR application, predicting the outcome of legal cases. IBP uses ...