3441 search results - page 172 / 689 » Parallel Logic Programming Systems |
114
click to vote
BMCBI
2008
15 years 3 months ago
2008
This paper describes the use and customization of Inductive Logic Programming (ILP) to infer indexing rules from MEDLINE citations. Preliminary results suggest this method may enh...
100
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
134
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
128
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
162
click to vote
CLIMA
2006
15 years 4 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...