4622 search results - page 99 / 925 » Foundations of Information Theory |
AAAI
1990
14 years 11 months ago
1990
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
APSEC
1997
IEEE
15 years 2 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
TYPES
1999
Springer
15 years 2 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We apply the theory of random Schr
UAI
1993
14 years 11 months ago
1993
In this paper the classical propositional assumption-based model is extended to incorporate probabilities for the assumptions. Then the whole model is placed into the framework of...