Sciweavers

5722 search results - page 381 / 1145
» Dynamic inference control
Sort
View
CDC
2010
IEEE
105views Control Systems» more  CDC 2010»
15 years 1 months ago
Learning in mean-field oscillator games
This research concerns a noncooperative dynamic game with large number of oscillators. The states are interpreted as the phase angles for a collection of non-homogeneous oscillator...
Huibing Yin, Prashant G. Mehta, Sean P. Meyn, Uday...
CADE
1992
Springer
15 years 11 months ago
Caching and Lemmaizing in Model Elimination Theorem Provers
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...
Owen L. Astrachan, Mark E. Stickel
LWA
2004
15 years 8 months ago
Transparent User Modeling for a Mobile Personal Assistant
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...
Mathias Bauer
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 6 months ago
FLUX: A Logic Programming Method for Reasoning Agents
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...
Michael Thielscher
APIN
2000
155views more  APIN 2000»
15 years 6 months ago
Defeasible Logic on an Embedded Microcontroller
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...
Michael A. Covington