4617 search results - page 411 / 924 » Automation of Diagrammatic Reasoning |
187
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
180
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
201
click to vote
ICCBR
2005
Springer
16 years 6 days ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...
156
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...
197
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...