Sciweavers

8337 search results - page 79 / 1668
» Reasoning With Characteristic Models
Sort
View
94
Voted
SP
1987
IEEE
15 years 7 months ago
Reasoning About Security Models
John McLean
AIIDE
2008
15 years 6 months ago
Combining Model-Based Meta-Reasoning and Reinforcement Learning for Adapting Game-Playing Agents
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...
Patrick Ulam, Joshua Jones, Ashok K. Goel
ESWS
2008
Springer
15 years 5 months ago
Finite Model Reasoning in DL-Lite
Riccardo Rosati