3973 search results - page 17 / 795 » Records for Logic Programming |
LPNMR
1999
Springer
15 years 3 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
15 years 12 months ago
2008
Springer
CADE
1994
Springer
15 years 3 months ago
1994
Springer
APLAS
2007
ACM
15 years 3 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...
112
click to vote
ICFP
2010
ACM
15 years 21 days ago
2010
ACM
We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...