Sciweavers

1613 search results - page 16 / 323
» Functional and Constraint Logic Programming
Sort
View
PLILP
1998
Springer
15 years 2 months ago
Embedding Multiset Constraints into a Lazy Functional Logic Language
Puri Arenas-Sánchez, Francisco Javier L&oac...
ICLP
1992
Springer
15 years 1 months ago
Implementing a Lazy Functional Logic Language with Disequality Constraints
Herbert Kuchen, Francisco Javier López-Frag...
37
Voted
IJCAI
2001
14 years 11 months ago
Identification Constraints and Functional Dependencies in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
RC
2002
100views more  RC 2002»
14 years 9 months ago
Efficient Interval Linear Equality Solving in Constraint Logic Programming
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
Chong-Kan Chiu, Jimmy Ho-Man Lee
CADE
2006
Springer
15 years 10 months ago
On Keys and Functional Dependencies as First-Class Citizens in Description Logics
We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...
David Toman, Grant E. Weddell