4257 search results - page 50 / 852 » The Logical Modularity of Programs |
AMAI
2008
Springer
13 years 9 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
14 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...
JLP
2006
13 years 9 months ago
2006
This paper presents a modular framework for the specification of certain inductivelydefined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the catego...
GPCE
2005
Springer
14 years 2 months ago
2005
Springer
CADE
2008
Springer
14 years 9 months ago
2008
Springer