215 search results - page 30 / 43 » Connecting a Logical Framework to a First-Order Logic Prover |
MICS
2010
14 years 10 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
79
Voted
ISMVL
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
CHI
2007
ACM
16 years 2 days ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
94
Voted
MKM
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...