1247 search results - page 147 / 250 » Reasoning about Function Objects |
SYNTHESE
2010
14 years 8 months ago
2010
I develop a strategy for representing epistemic states and epistemic changes that seeks to be sensitive to the difference between voluntary and involuntary aspects of our epistemi...
101
click to vote
MFCS
1995
Springer
15 years 1 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
102
click to vote
DLOG
2000
14 years 11 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
JAR
1998
14 years 9 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
AIRS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Collaborative filtering is a major technique to make personalized recommendations about information items (movies, books, webpages etc) to individual users. In the liter...