Package | Description |
---|---|
net.sf.tweety.logics.fol.test | |
net.sf.tweety.logics.fol.writer |
Class and Description |
---|
FolWriter
Prints out single fol formulas and full knowledge bases
|
Class and Description |
---|
FolWriter
Prints out single fol formulas and full knowledge bases
|