C2.05
Sessions
- Part 1 - Introduction: Definite Descriptions and Free Logic Semantics DefDesKR
- Coffee Break MoST
- Coffee Break DefDesKR
- Part 2 - Definite Descriptions in Description Logics DefDesKR
- Part 3 - Definite Descriptions in First-Order Modal and Temporal Logics DefDesKR
- Lunch MoST
- Lunch DefDesKR
- Part 4 - Conclusion and Discussion DefDesKR
- Session 1 MoST
- Coffee Break MoST
- Coffee Break DefDesKR
- Session 2 MoST
- Closing MoST
- Arguing in dynamic and uncertain situations: From theoretical insights to application (tutorial) ADU
- Coffee Break GOE
- Coffee Break ADU
- Arguing in dynamic and uncertain situations: From theoretical insights to application (tutorial) ADU
- Lunch GOE
- Lunch ADU
- Tutorial on Geometric Ontology Embeddings - Part 1 GOE
- Coffee Break ADU
- Coffee Break GOE
- Tutorial on Geometric Ontology Embeddings - Part 2 GOE
- Recording proofs TPTPTP
- Coffee Break TPTPTP
- Proof expectations TPTPTP
- Lunch TPTPTP
- New TPTP Formats TPTPTP
- Coffee Break TPTPTP
- Action planning TPTPTP
- Morning session AIMACS
- Coffee Break AIMACS
- Second morning session AIMACS
- Lunch AIMACS
- Poster Lightning Session #1 AIMACS
- Afternoon session AIMACS
- Poster Lightning session AIMACS
- Coffee Break AIMACS
- Afternoon Session #2 AIMACS
- Poster Lightning Session #3 AIMACS
- Panel AIMACS