186 search results - page 27 / 38 » Mechanizing metatheory in a logical framework |
99
Voted
IJCAI
1993
15 years 3 months ago
1993
In this paper a framework is developed for measuring the complexities of deductions in an ab stract and computationally perspicuous man ner. As a notion of central importance ...
140
Voted
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
107
Voted
IGPL
2010
15 years 10 days ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
112
Voted
KI
2010
Springer
15 years 8 days ago
2010
Springer
The key task in probabilistic reasoning is to appropriately update one’s beliefs as one obtains new information in the form of evidence. In many application settings, however, th...
107
click to vote
JETAI
2000
15 years 1 months ago
2000
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...