5482 search results - page 31 / 1097 » Logic Programming and Databases |
112
click to vote
LPNMR
1999
Springer
15 years 6 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
116
Voted
ICML
2005
IEEE
16 years 3 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...
CADE
2008
Springer
16 years 2 months ago
2008
Springer
111
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We study adjunct-elimination results for Context Logic applied to trees, following previous results by Lozes for Separation Logic and Ambient Logic. In fact, it is not po...