193 search results - page 24 / 39 » On the Epistemological foundations of Logic Programming and ... |
116
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
125
Voted
ICSM
2006
IEEE
15 years 8 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...
111
Voted
FMOODS
2003
15 years 3 months ago
2003
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
108
Voted
ALT
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents a method of extracting subprograms from background knowledge. Most studies on learning logic programs so far developed are mainly concerned with pure Prolog, so...
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...