3441 search results - page 368 / 689 » Parallel Logic Programming Systems |
151
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
The learning system Progol5 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success...
144
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
115
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
130
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
147
click to vote
APPINF
2003
15 years 5 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...