1581 search results - page 110 / 317 » Mechanizing Inductive Reasoning |
172
click to vote
DLOG
1998
15 years 7 months ago
1998
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
222
click to vote
SIGECOM
2011
ACM
14 years 9 months ago
2011
ACM
In this paper, we study the class of competitive equilibria in two sided matching markets with general (non-quasilinear) utility functions. Mechanism design in general non-quasili...
143
click to vote
IV
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper is designed to examine whether metaphor, meaning and perception are sufficiently dealt with in knowledge visualization. This culminates in the following hypothesis: Bec...
148
click to vote
WECWIS
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a simple auction protocol for the sale of overdemanded goods with a delivery schedule. Under some reasonable assumptions, our mechanism is incentive compatible, collect...
134
click to vote
ILP
1998
Springer
15 years 10 months ago
1998
Springer
Cohen's [1] refinement rules provide a flexible mechanism for introducing intentional background knowledge in an ILP system. Whereas Cohen used a limited second order theorem ...