27 search results - page 3 / 6 » Automation for interactive proof: First prototype |
105
click to vote
CSL
2008
Springer
15 years 4 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
140
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
118
Voted
EWSN
2004
Springer
16 years 2 months ago
2004
Springer
We present a hardware and software platform for rapid prototyping of augmented sensor network systems, which may be temporarily connected to a backend infrastructure for data stora...
200
Voted
COGSYS
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
148
Voted
DLOG
2010
15 years 18 days ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...