2138 search results - page 249 / 428 » Logical Step-Indexed Logical Relations |
150
click to vote
ISCI
2007
15 years 6 months ago
2007
We define the Lukasiewicz transform as a residuated map and a homomorphism between semimodules over the semiring reducts of an MV-algebra. Then we describe the “Lukasiewicz Tra...
140
click to vote
IJCAI
1997
15 years 8 months ago
1997
The AI literature contains many definitions of diagnostic reasoning most of which are defined in terms of the logical entailment relation. We use existing work on approximate en...
183
click to vote
FUIN
2008
15 years 5 months ago
2008
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
181
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
223
click to vote
ILP
2007
Springer
16 years 21 days ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...