Class AbaExample

java.lang.Object
org.tweetyproject.arg.aba.examples.AbaExample
public class AbaExample extends Object
Shows some simple code for working with ABA, including how to parse an ABA file and how to ask queries.
Author:
Matthias Thimm

  • Constructor Summary

    Constructors
    Constructor
    Description
    AbaExample()
    Default constructor for the AbaExample class.

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    Main method that demonstrates parsing and reasoning with Assumption-Based Argumentation (ABA) using both propositional logic and first-order logic.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • AbaExample

      public AbaExample()
      Default constructor for the AbaExample class. This constructor initializes the class without any specific setup.

  • Method Details