61 search results - page 8 / 13 » Biochemical Knowledge Discovery Using Inductive Logic Progra... |
107
click to vote
ICFP
2012
ACM
12 years 12 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
100
click to vote
CLUSTER
2005
IEEE
15 years 3 months ago
2005
IEEE
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
ML
2006
ACM
14 years 9 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
ACL
2006
14 years 11 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...
65
Voted
SWAP
2008
14 years 11 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...