Sciweavers

3470 search results - page 95 / 694
» Head-Elementary-Set-Free Logic Programs
Sort
View
FSTTCS
2000
Springer
15 years 10 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
LOPSTR
2000
Springer
15 years 10 months ago
Higher-order transformation of logic programs
Silvija Seres, J. Michael Spivey
131
Voted
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
15 years 10 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
PEPM
1997
ACM
15 years 10 months ago
Specialization of Lazy Functional Logic Programs
María Alpuente, Moreno Falaschi, Pascual Ju...