revise

PhDP · Sep 21, 2017 · 8a53efa · 8a53efa
1 parent d7bb8a9
commit 8a53efa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/talks/2017_Seminar.html b/talks/2017_Seminar.html
@@ -239,7 +239,7 @@ <h1>Markov Logic</h1>
             <br/>
 
             \[P(Cancer(Bob) | Smoking(Anna) \mbox{ and } Friends(Anna, Bob)).\]
-            \[P(Cancer(Bob) | Smoking(Anna), Friends(x, y) \Leftrightarrow Friends(y, x)).\]
+            \[P(Friends(x, y) \Leftrightarrow Friends(y, x) | ...).\]
 
           </section>
           <section>