3470 search results - page 276 / 694 » Head-Elementary-Set-Free Logic Programs |
173
click to vote
IAT
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
152
click to vote
SAS
2005
Springer
16 years 1 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
164
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
170
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...