Package org.tweetyproject.logics.fol.plugin

package org.tweetyproject.logics.fol.plugin

Classes

Class	Description
FirstOrderLogicPlugin	This class models the plugin for first order logics used in the tweety cli Note: Currently FOL-files MUST BE named after the pattern "*.fologic" Very early state, not finished or debugged yet.