A comprehensive collection of Java libraries for logical aspects of artificial intelligence and knowledge representation
Home Libraries Downloads Documentation Web Interfaces Contact

Brought to you by

Supported by

Implementing KR Approaches with Tweety

A Tutorial at the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18)

The TweetyProject Libraries for Logical Aspects of Artifi cial Intelligence and Knowledge Representation are a comprehensive and ever-growing collection of Java libraries for implementing a diverse range of formalisms for knowledge representation and other neighboring fi elds. In this tutorial, a practical account is given on the capabilities of TweetyProject, its most important concepts, and how to use TweetyProject for own works.

The tutorial will be held at the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18), which takes place on October 30th to November 2nd in Tempe, Arizona, USA.

Date and Place
  • Date: October 29 afternoon
  • Place: KR'18, Room TBA
  1. Introduction
    1. Purpose and Overview of TweetyProject
    2. Related Works
  2. Installation and Usage
    1. Installation
    2. Package overview
    3. The implementation methodology behind TweetyProject
  3. Basics: Important classes and concepts
  4. Basics: Propositional Logic
    1. Using and reasoning with propositional logic
    2. Using SAT solvers
    3. Exercises
  5. Basics: Mathematics and Graphs
    1. Mathematical tools in TweetyProject
    2. Constraint Satisfaction and Optimization problems
    3. Using general graph structures
    4. Exercises
  6. Advanced topics: Computational Argumentation
    1. Introduction to Computational Argumentation
    2. Computational Argumentation in TweetyProject
    3. Case Study: Strategic Argumentation
    4. Exercises
  7. Advanced topics: Inconsistency Measurement
    1. Introduction to Inconsistency Measurement
    2. Inconsistency Measures in TweetyProject
    3. Exercises
  8. Summary and Conclusion

Last updated 07.08.2018, Matthias Thimm | Terms