5482 search results - page 31 / 1097 » Logic Programming and Databases |
LPNMR
1999
Springer
15 years 1 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...
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...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
76
Voted
CADE
1994
Springer
15 years 1 months ago
1994
Springer
83
Voted
APLAS
2007
ACM
15 years 1 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...