1917 search results - page 107 / 384 » Experimenting with Nonmonotonic Reasoning |
245
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
127
click to vote
ICCBR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
114
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
123
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
96
Voted
ICCBR
2007
Springer
15 years 7 months ago
2007
Springer
Case-based reasoning systems routinely record the results of prior problem-solving, but not the provenance of new cases: the way in which the new cases were derived. This paper pro...