Program

last modified: 06 Nov 2021

Search titles and author lists
We 3Th 4Fr 5Mo 8Tu 9We 10Th 11Fr 12All

Thursday, 4 Nov 2021

room A
via Gather (walk to the room)
dedicated Slack channel
2021-11-04T09:00:00+01:00 - 2021-11-04T12:00:00+01:00 09:00 - 12:00
Tutorial:

Planning with multi-agent, flexible, temporal, epistemic and contingent (MAFTEC) aspects


Aurélie Beynier, Frédéric Maris and Francois Schwarzentruber
room B
via Gather (walk to the room)
dedicated Slack channel
2021-11-04T09:00:00+01:00 - 2021-11-04T12:00:00+01:00 09:00 - 12:00
Tutorial:

Completeness, Recall, and Negation in Open-World Knowledge Bases


Simon Razniewski, Hiba Arnaout, Shrestha Ghosh and Fabian M. Suchanek
room C
via Gather (walk to the room)
dedicated Slack channel
2021-11-04T10:00:00+01:00 - 2021-11-04T13:30:00+01:00 10:00 - 13:30
Workshop:

The 2nd Int. Workshop on Second-Order Quantifier Elimination and Related Topics (part 1)


Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao
room A
via Gather (walk to the room)
dedicated Slack channel
2021-11-04T13:00:00+01:00 - 2021-11-04T20:00:00+01:00 13:00 - 20:00
Workshop:

Explainable Logic-Based Knowledge Representation (XLoKR 2021) - day 1


Bart Bogaerts
room B
via Gather (walk to the room)
dedicated Slack channel
2021-11-04T14:00:00+01:00 - 2021-11-04T18:00:00+01:00 14:00 - 18:00
Workshop:

Ontology Uses and Contribution to Artificial Intelligence


Sarra Ben Abbes, Lynda Temal, Nada Mimouni, Philippe Calvez and Ahmed Mabrouk
room C
via Gather (walk to the room)
dedicated Slack channel
2021-11-04T15:00:00+01:00 - 2021-11-04T18:30:00+01:00 15:00 - 18:30
Workshop:

The 2nd Int. Workshop on Second-Order Quantifier Elimination and Related Topics (part 2)


Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao