1802 search results - page 93 / 361 » Model-based Theory Combination |
CADE
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
EUROMICRO
1996
IEEE
14 years 1 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
AGI
2008
13 years 10 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
IJCAI
2001
13 years 10 months ago
2001
This paper describes SiN, a novel case-based planning algorithm that combines conversational case retrieval with generative planning. SiN is provably correct, and can generate pla...
AIPS
1994
13 years 10 months ago
1994
This paper presents an AI model of integrated planning and reaction based on neuropsychological theories of similar human behavior. The model forges a link between frontal lobe mo...