5506 search results - page 23 / 1102 » Minimal Logic Programs |
120
Voted
ICFP
2010
ACM
15 years 1 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...
95
Voted
IPL
2006
15 years 21 days ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
85
Voted
EUSFLAT
2009
14 years 10 months ago
2009
97
Voted
ICFP
2002
ACM
16 years 20 days ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
102
Voted
OWLED
2007
15 years 2 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...