64 search results - page 2 / 13 » Critical Agents Supporting Interactive Theorem Proving |
115
Voted
AIMSA
1998
Springer
15 years 5 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
90
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
103
Voted
KI
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
91
Voted
AAAI
1997
15 years 2 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
114
Voted
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...