733 search results - page 81 / 147 » Private inference control |
CADE
1992
Springer
14 years 2 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...
LWA
2004
13 years 11 months ago
2004
User models (UM)the explicit representation of all relevant aspects of a user's preferences, beliefs, etc. form the basis of virtually all adaptive systems. While early appro...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
APIN
2000
13 years 10 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
COLING
2010
13 years 5 months ago
2010
In this paper, we describe a novel approach to computational modeling and understanding of social and cultural phenomena in multi-party dialogues. We developed a two-tier approach...