Sciweavers

4370 search results - page 265 / 874
» Algebra of Logic Programming
Sort
View
FSTTCS
2000
Springer
15 years 4 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
74
Voted
LOPSTR
2000
Springer
15 years 4 months ago
Higher-order transformation of logic programs
Silvija Seres, J. Michael Spivey
76
Voted
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 4 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
108
Voted
PEPM
1997
ACM
15 years 4 months ago
Specialization of Lazy Functional Logic Programs
María Alpuente, Moreno Falaschi, Pascual Ju...
71
Voted
ICLP
1991
Springer
15 years 4 months ago
Introduction to Logic Programming
Jean-Marie Jacquet