3738 search results - page 28 / 748 » Parametrized Logic Programming |
AMAI
2008
Springer
13 years 8 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....
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
LPNMR
1999
Springer
14 years 2 days 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 8 months ago
2008
Springer
CADE
1994
Springer
13 years 12 months ago
1994
Springer
