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 24th International Joint Conference on Artificial Intelligence (IJCAI'15)

The Tweety 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 Tweety, its most important concepts, and how to use Tweety for own works.

The tutorial will be held at the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), which takes place on July 25th to July 31st in Buenos Aires, Argentina.

Date and Place
  • Date: July 26 afternoon
  • Place: IJCAI'15, Room 4 in the New Building of Facultad de Ciencias Economicas.
  1. Introduction
    1. Purpose and Overview of Tweety
    2. Related Works
  2. Installation and Usage
    1. Installation
    2. Package overview
    3. The implementation methodology behind Tweety
  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 Tweety
    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 Tweety
    3. Case Study: Strategic Argumentation
    4. Exercises
  7. Advanced topics: Inconsistency Measurement
    1. Introduction to Inconsistency Measurement
    2. Inconsistency Measures in Tweety
    3. Exercises
  8. Summary and Conclusion

Last updated 11.01.2016, Matthias Thimm