185 search results - page 27 / 37 » Induction in an Abstraction Space: A Form of Constructive In... |
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
ICCBR
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...
CIA
2006
Springer
13 years 11 months ago
2006
Springer
The paper describes a decentralized peer-to-peer multi-agent learning method based on inductive logic programming and knowledge trading. The method uses first-order logic for model...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...