Implementing KR Approaches with Tweety
A Tutorial at the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18)
Note that the tutorial had to be cancelled on short notice.
The TweetyProject Libraries for Logical Aspects of Artificial 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 fields. 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
Topics
- Introduction
- Installation and Usage
- Installation
- Package overview
- Basics: Important classes and concepts
- Basics: Propositional Logic
- Using and reasoning with propositional logic
- Using SAT solvers
- Basics: Mathematics and Graphs
- Mathematical tools in TweetyProject
- Constraint Satisfaction and Optimization problems
- Using general graph structures
- Advanced topics: Computational Argumentation
- Introduction to Computational Argumentation
- Computational Argumentation in TweetyProject
- Advanced topics: Inconsistency Measurement
- Introduction to Inconsistency Measurement
- Inconsistency Measures in TweetyProject
- Summary and Conclusion
Materials
Disclaimer: Source code works for TweetyProject v1.11