Thomas Meyer
Thomas Meyer
Affiliation: University of Cape Town and CAIR
Affiliation: University of Cape Town
Talks
(NMR)
Toward Defeasible Machine Learning: When Learned Rule Sets Become Defeasible Theories · NMR & Explainable AI
(DL)
Defeasible Reasoning (Joint with NMR) · Invited Speaker: Tommie Meyer
(DL)
Deontic Defeasible Description Logic · Conflicts and Exceptions
(NMR)
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic · Defeasible Beliefs
(MoST)
Independence axioms for ordinal conditional functions · Session 1
(NMR)
Categorical independence in nonmonotonic reasoning · Foundations
(SKILLED-LLMs)
First Steps Towards Human-AI Ranking Aggregation · Session 3: Symbolic Constraints in Learning and Inference
(NMR)
Towards Defeasible Reasoning about Actions and their Effects · Planning
(KR)
Compiling Defeasible Inference: A Dynamic Approach To System Z · Knowledge compilation
(KR)
ASP Encodings for Multi-Commodity Batch Scheduling in Logistics Networks · Doctoral Consortium (talks)
Pages in this Program
Program
Program on Friday, 17 July 2026
NMR on Friday, 17 July 2026
NMR Program
Program on Saturday, 18 July 2026
DL on Saturday, 18 July 2026
DL Program
NMR on Saturday, 18 July 2026
MoST on Saturday, 18 July 2026
MoST Program
SKILLED-LLMs on Saturday, 18 July 2026
SKILLED-LLMs Program
Program on Sunday, 19 July 2026
NMR on Sunday, 19 July 2026
Program on Monday, 20 July 2026
KR on Monday, 20 July 2026
KR Program
Program on Tuesday, 21 July 2026
KR on Tuesday, 21 July 2026
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑