Logic for Data Analysis
Data Mining, Machine Learning, Computational Logic.
Foundations of logic.
Constraint and logic programming, complexity theory, interactive theorem proving.
Information integration, databases, ontologies, model checking, SAT-solving.
Knowledge Representation and Reasoning
Deductive databases, answer set programming, web data extraction and integration.
Applied mathematics and computer science.
Focus: discrete mathematics, algorithms and programming.
There is no copyright. Feel free to copy and share.