ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity

Merge branch 'main' of github.com:ellmau/adf-obdd

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2021-07-01 12:35:05 +02:00
commit c3da179a15
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -1,4 +1,4 @@
# Prototype-solver for ADFs grounded semantics by utilising OBDDs - ordered binary decision diagrams # Solver for ADFs grounded semantics by utilising OBDDs - ordered binary decision diagrams
## Abstract Dialectical Frameworks ## Abstract Dialectical Frameworks
@ -16,5 +16,3 @@ The binary predicate ac relates each statement to one propositional formula in p
- neg(x): classical negation - neg(x): classical negation
- c(v): constant symbol "verum" - tautology/top - c(v): constant symbol "verum" - tautology/top
- c(f): constant symbol "falsum" - inconsistency/bot - c(f): constant symbol "falsum" - inconsistency/bot