Package org.tweetyproject.logics.pl.parser


package org.tweetyproject.logics.pl.parser
  • Class
    Description
    Parser a file in Dimacs format into a PlBeliefSet.
    This class implements a parser for propositional logic.
    Manages and creates different parsers for propositional logic.
    An enumeration of all available knowledge base formats.