Package org.tweetyproject.logics.fol.writer


package org.tweetyproject.logics.fol.writer
  • Interface Summary
    Interface
    Description
    Prints out single first-order logic formulas and full knowledge bases.
  • Class Summary
    Class
    Description
    Prints single first-order logic formulas and full knowledge bases to Prover9 format (https://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/).
    This class prints single first-order logic formulas and knowledge bases to the SPASS format.
    Writes FOL formulas and knowledge bases in the standard TweetyProject format, see parser.FolParser.
    Prints single first-order logic formulas and full knowledge bases to TPTP format.