Tweety
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 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 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
Topics
  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
Materials
  • Slides: TBA
  • Solutions to exercises: TBA



Last updated 06.04.2018, Matthias Thimm