1137 search results - page 147 / 228 » Logic Programming for Knowledge Representation |
115
click to vote
ILP
2007
Springer
15 years 4 months ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...
AAAI
2007
15 years 4 days ago
2007
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
LREC
2010
14 years 11 months ago
2010
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
ICML
2005
IEEE
15 years 10 months ago
2005
IEEE
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. In this pap...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...