Sciweavers

8766 search results - page 165 / 1754
» Functional logic programming
Sort
View
LICS
1989
IEEE
15 years 2 months ago
A Fully Abstract Semantics for a Functional Language with Logic Variables
Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...
IJCAI
2001
14 years 11 months ago
Identification Constraints and Functional Dependencies in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
AAAI
1992
14 years 11 months ago
A Belief-Function Logic
Alessandro Saffiotti