967 search results - page 90 / 194 » Probabilistic Predicative Programming |
135
Voted
ISMIS
1994
Springer
15 years 6 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
115
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
117
click to vote
JMLR
2006
15 years 2 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
97
Voted
APAL
2005
15 years 2 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
150
Voted
ENTCS
2002
15 years 2 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...