1776 search results - page 249 / 356 » Using a Logic Programming Language with Persistence and Cont... |
123
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
130
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
134
click to vote
PODS
2005
ACM
16 years 3 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
118
click to vote
FPCA
1989
15 years 7 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
107
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...