4617 search results - page 854 / 924 » Automation of Diagrammatic Reasoning |
179
click to vote
RSP
2003
IEEE
16 years 18 hour ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
177
click to vote
TPHOL
2003
IEEE
16 years 17 hour ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
154
Voted
TPHOL
2003
IEEE
16 years 17 hour ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
180
click to vote
TPHOL
2003
IEEE
16 years 17 hour ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
178
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...