Sciweavers

1613 search results - page 38 / 323
» Functional and Constraint Logic Programming
Sort
View
107
Voted
CSUR
1998
73views more  CSUR 1998»
15 years 3 months ago
A Unifying View of Functional and Logic Program Specialization
María Alpuente, Moreno Falaschi, Germ&aacut...
108
Voted
TOPLAS
1998
41views more  TOPLAS 1998»
15 years 3 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
89
Voted
TOCL
2010
73views more  TOCL 2010»
15 years 1 months ago
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
Thomas Eiter, Mantas Simkus
CP
2000
Springer
15 years 7 months ago
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
Philippe Refalo
ICDT
2003
ACM
121views Database» more  ICDT 2003»
15 years 8 months ago
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
Floris Geerts, Bart Kuijpers