Package org.tweetyproject.logics.pl.parser


package org.tweetyproject.logics.pl.parser
  • Class Summary
    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.
  • Enum Summary
    Enum
    Description
    An enumeration of all available knowledge base formats.