3572 search results - page 454 / 715 » Nominal Logic Programming |
133
click to vote
TOOLS
1998
IEEE
15 years 9 months ago
1998
IEEE
In traditional information systems, the user interface is controlled by one single application. In distributed systems, several distributed components may want to influence the ap...
145
click to vote
HOTOS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
143
click to vote
PKDD
2000
Springer
15 years 8 months ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...
170
Voted
TABLEAUX
1995
Springer
15 years 8 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
147
click to vote
ACL
2006
15 years 6 months ago
2006
We present a novel hybrid approach for Word Sense Disambiguation (WSD) which makes use of a relational formalism to represent instances and background knowledge. It is built using...