45 search results - page 2 / 9 » Automated Reasoning: Past Story and New Trends |
CADE
2003
Springer
14 years 5 months ago
2003
Springer
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
AIIA
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
ICCBR
1997
Springer
13 years 8 months ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
HICSS
2010
IEEE
13 years 11 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
ICCBR
1997
Springer
13 years 8 months ago
1997
Springer
Planning by analogical reasoning is a learning method that consists of the storage, retrieval, and replay of planning episodes. Planning performance improves with the accumulationa...