3983 search results - page 22 / 797 » Conceptual logic programs |
LPNMR
1999
Springer
14 years 27 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 9 months ago
2008
Springer
CADE
1994
Springer
14 years 23 days ago
1994
Springer
APLAS
2007
ACM
14 years 20 days 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...
ICFP
2010
ACM
13 years 9 months 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...