2741 search results - page 46 / 549 » Engineering Mathematical Knowledge |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes the integration of the ATP support of the TPTPWorld into the Sigma Knowledge Engineering Environment. The result is an interactive knowledge based reasoning en...
ICDAR
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we propose a framework for engineering drawings recognition using a case-based approach. The key idea of our scheme is that, interactively, the user provides an exa...
JAR
2007
13 years 8 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
TARK
1992
Springer
14 years 22 days ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
ASM
2005
ASM
14 years 2 months ago
2005
ASM
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...