15754 search results - page 640 / 3151 » Programs are Knowledge Bases |
188
click to vote
ICSE
2010
IEEE-ACM
16 years 2 days ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
154
click to vote
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
194
Voted
PADL
2000
Springer
15 years 11 months ago
2000
Springer
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
241
click to vote
KESAMSTA
2007
Springer
16 years 1 months ago
2007
Springer
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
192
Voted
ACL
1998
15 years 8 months ago
1998
In this paper we sketch an approach for Natural Language parsing. Our approach is an example-based approach, which relies mainly on examples that already parsed to their represent...