Sciweavers

3738 search results - page 217 / 748
» Parametrized Logic Programming
Sort
View
98
Voted
APAL
1999
55views more  APAL 1999»
15 years 2 months ago
Logic Programs, Well-Orderings, and Forward Chaining
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
63
Voted
INFORMS
2002
40views more  INFORMS 2002»
15 years 2 months ago
Logic, Optimization, and Constraint Programming
John N. Hooker
101
Voted
TOPLAS
1998
41views more  TOPLAS 1998»
15 years 2 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
TOPLAS
1998
113views more  TOPLAS 1998»
15 years 2 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift