5506 search results - page 22 / 1102 » Minimal Logic Programs |
AMAI
2008
Springer
15 years 26 days 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....
91
Voted
LPNMR
1999
Springer
15 years 5 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...
75
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
CADE
1994
Springer
15 years 4 months ago
1994
Springer
100
Voted
APLAS
2007
ACM
15 years 4 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...