733 search results - page 81 / 147 » Private inference control |
121
click to vote
CADE
1992
Springer
15 years 7 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...
121
click to vote
LWA
2004
15 years 4 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...
122
Voted
CORR
2004
Springer
15 years 3 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...
142
click to vote
APIN
2000
15 years 3 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...
117
click to vote
COLING
2010
14 years 10 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...