653 search results - page 71 / 131 » Partial equilibrium logic |
122
Voted
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
132
Voted
CADE
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we investigate the concept of simple termination. A term rewriting system is called simply terminating if its termination can be proved by means of a simpli cation o...
157
Voted
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
128
click to vote
FCCM
1997
IEEE
15 years 7 months ago
1997
IEEE
By strictly separating reconfigurable logic from their host processor, current custom computing systems suffer from a significant communication bottleneck. In this paper we descri...
156
Voted
DALT
2007
Springer
15 years 5 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...