PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | IMLA | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | WPTE | WST | XLoKR-ExCoS | Full Program

Ruvarashe Madzime Affiliation: University of the Western Cape and CAIR Affiliation: University of the Western Cape Talks (NMR) Toward Defeasible Machine Learning: When Learned Rule Sets Become Defeasible Theories · NMR & Explainable AI (SKILLED-LLMs) First Steps Towards Human-AI Ranking Aggregation · Session 3: Symbolic Constraints in Learning and Inference (KR) Towards Defeasible Semantics for Symbolic Classifiers · Doctoral Consortium (talks) (WiL) Toward Provably Defeasible Machine Learning · Logic and ML 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 SKILLED-LLMs on Saturday, 18 July 2026 SKILLED-LLMs Program Program on Tuesday, 21 July 2026 KR on Tuesday, 21 July 2026 KR Program Program on Saturday, 25 July 2026 WiL on Saturday, 25 July 2026 WiL Program

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time: