3468 search results - page 114 / 694 » An open logical framework |
74
Voted
EUSFLAT
2007
15 years 2 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...
86
Voted
DAM
1999
15 years 12 days ago
1999
We analyse the generalisation accuracy of standard techniques for the `logical analysis of data', within a probabilistic framework.
102
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
ENTCS
2010
15 years 25 days ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
MLG
2007
Springer
15 years 6 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.