Francisco Coelho / zugzwang

Blame view

text/paper_01/LLNCS/example_annotASP2plainASP.txt 126 Bytes
Edit Raw Normal View History
3e0f9b8a   Francisco Coelho   back to work? 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
a : 0.3. -a:0.7
b : 0.5. -b:0.5
c : 0.1. -c:0.9

t1 = {  } => 

P(T = t1) = \sum_


0.3:: a.
b ; c :- a.

a ; -a.
b ; c :- a.