Tutorials And Workshops

last modified: 01 Nov 2021

List of accepted tutorials

Proof-Theoretic Approaches to Logical Argumentation Ofer Arieli and Christian Strasser

Completeness, Recall, and Negation in Open-World Knowledge Bases Simon Razniewski, Hiba Arnaout, Shrestha Ghosh and Fabian M. Suchanek

Complex Event Recognition and Forecasting Elias Alevizos and Alexander Artikis

Planning with multi-agent, flexible, temporal, epistemic and contingent (MAFTEC) aspects Aurélie Beynier, Frédéric Maris and Francois Schwarzentruber

Solving equations in modal and description logics Philippe Balbiani

KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness Marcello Balduccini, Edward Griffor and Tran Cao Son

cancelled: Belief Revision and Judgment Aggregation in Ontologies Jake Chandler and Richard Booth

Answer Set Programming: From Theory to Practice Roland Kaminski, Javier Romero, Torsten Schaub and Philipp Wanko

List of accepted workshops

The 6th International Workshop on Semantics-Powered Health Data Analytics (SEPDA 2021) Zhe He, Jiang Bian, Rui Zhang and Cui Tao

Explainable Logic-Based Knowledge Representation (XLoKR 2021) Bart Bogaerts

Ontology Uses and Contribution to Artificial Intelligence Sarra Ben Abbes, Lynda Temal, Nada Mimouni, Philippe Calvez and Ahmed Mabrouk

Knowledge Representation for Hybrid and Compositional AI (KRHCAI) Kwabena Nuamah, Jeff Z. Pan, Pavan Kapanipathi and Efi Tsamoura

The 2nd International Workshop on Second-Order Quantifier Elimination and Related Topics Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao

CME: the 1st International Workshop on Computational Machine Ethics Maurice Pagnucco and Yang Song