4 search results - page 1 / 1 » Constructive Techniques for Meta- and Model-Level Reasoning |
MODELS
2007
Springer
13 years 11 months ago
2007
Springer
CADE
1992
Springer
13 years 9 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
AI
1999
Springer
13 years 4 months ago
1999
Springer
A central problem in multistrategy learning systems is the selection and sequencing of machine learning algorithms for particular situations. This is typically done by the system ...
AIPS
2006
13 years 6 months ago
2006
We present a new approach to optimal rectangle packing, an NP-complete problem that can be used to model many simple scheduling tasks. Recent attempts at incorporating artificial ...