4192 search results - page 33 / 839 » Probabilistic Logic Programming |
IPCO
2007
13 years 9 months ago
2007
AMAI
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Partial equilibrium logic (PEL) is a new nonmonotonic reasoning formalism closely aligned with logic programming under well-founded and partial stable model semantics. In...
AMAI
2008
Springer
13 years 7 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
LPNMR
1999
Springer
13 years 11 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...
CADE
2008
Springer
14 years 7 months ago
2008
Springer