1151 search results - page 59 / 231 » Collaborative Programming: Applications of Logic and Automat... |
125
Voted
CADE
2001
Springer
16 years 3 months ago
2001
Springer
In this paper, we present a syntax-directed termination and reduction checker for higher-order logic programs. The reduction checker verifies parametric higher-order subterm orderi...
142
click to vote
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
128
click to vote
LPNMR
1997
Springer
15 years 7 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
122
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
104
Voted
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We describe the development of a constraint logic programming based system, called CPP, which is capable of generating most preferred plans with respect to a user’s pre...