Sciweavers

15754 search results - page 540 / 3151
» Programs are Knowledge Bases
Sort
View
CP
2004
Springer
16 years 14 days ago
Constraint-Based Combinators for Local Search
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
OORASE
1999
Springer
15 years 11 months ago
OpenJava: A Class-Based Macro System for Java
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
Michiaki Tatsubori, Shigeru Chiba, Kozo Itano, Mar...
ICML
1989
IEEE
15 years 11 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
ASWEC
2004
IEEE
15 years 10 months ago
Snapshot Query-Based Debugging
Object-oriented programs, when executed, produce a complex webs of objects and references between them, generally referred to as object graphs. These object graphs are difficult t...
Alex Potanin, James Noble, Robert Biddle
FLAIRS
2006
15 years 8 months ago
Focusing AI Students' Attention: A Framework-Based Approach to Guiding Impasse-Driven Learning
Research indicates that impasse-driven learning can have important benefits for improving student mastery of material. When students recognize gaps in their understanding of a con...
Steven Bogaerts, David B. Leake