iensen plog2.0 issues - Githubissues

iensen / plog2.0

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)

GNU General Public License v3.0

1 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Wrong results for program with multiple consistency restoring rules leading to the same possible world.

#18 iensen closed 2 years ago
1
add some functionalities to output possible worlds in json format

#17 phamnguyenvu272 closed 3 years ago
0
Plog2.0 cannot be compiled with gcc version 7.2.1 20170915 (Red Hat 7.2.1-2) (GCC)

#16 iensen closed 4 years ago
1
Design and implement sufficient conditions for a program to be dynamically causally ordered unitary

#15 iensen opened 6 years ago
0
Design and implement data structures and algorithms that will allow to answer multiple queries efficienty.

#14 iensen opened 6 years ago
0
Make do and random take an additional argument referring to the name of a random selection rule

#13 iensen opened 6 years ago
0
Extend P-log with additional type of queries (and possibly new syntax).

#12 iensen opened 6 years ago
1
Implement Aggregates In P-log

#11 iensen opened 6 years ago
0
Design and implement approximate inference algorithm for P-log

#10 iensen opened 6 years ago
0
Improve Counters Performance

#9 iensen opened 6 years ago
0
Implement CR-Rules in naive P-log inference

#8 iensen closed 4 years ago
1
Implement naive inference algorithm for P-log.

#7 iensen closed 4 years ago
1
Make P-log understand classical negation.

#6 iensen opened 6 years ago
0
Insert proper validation for command line arguments

#5 iensen opened 6 years ago
0
Use the main clingo instead of using the local clone

#4 iensen opened 6 years ago
1
Write a user manual for P-log

#3 iensen closed 4 years ago
1
Implement sorts and typechecking

#2 iensen opened 6 years ago
0
Is the plog2.0 ready?

#1 wangbiu opened 8 years ago
5