3457 search results - page 413 / 692 » A Symbol Is Not a Symbol |
176
click to vote
CAV
2003
Springer
16 years 2 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 ...
194
click to vote
CONCUR
2003
Springer
16 years 1 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...
150
Voted
DIGRA
2003
Springer
16 years 1 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...
188
click to vote
FM
2003
Springer
16 years 1 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...
189
click to vote
ICCBR
2003
Springer
16 years 1 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 ...