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

Update README.md

Browse Source
This commit is contained in:
Stefan Ellmauthaler 2021-07-01 12:20:45 +02:00 committed by GitHub
parent b566837593
commit cfb82e8561
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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