example_annotASP2plainASP.txt 126 Bytes
Edit Raw Blame History



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.