586 search results - page 42 / 118 » Automated Reasoning on Aspects Interactions |
113
click to vote
ECSA
2010
Springer
14 years 10 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
112
Voted
CADE
2007
Springer
16 years 24 days 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...
120
Voted
CADE
2004
Springer
16 years 24 days 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
AGI
2008
15 years 1 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
104
Voted
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...