Talks 22
- TBA Jan 17, 2025
- TBA Dec 13, 2024
- From Theory to Practice: Explaining Logical (Non-)Inferences for OWL Ontologies Nov 15, 2024
- Equality Saturation: Progress and Open Questions Oct 11, 2024
- Algorithms for Pareto efficient and envy-free allocation Sep 20, 2024
- On Logic and AI (and Mathematics) Jun 17, 2024
- On the Computational Complexity of Multi-Agent Pathfinding on Directed Graphs Jun 14, 2024
- Decision trees in a formal world: machine learning (with constraints), controller verification, and unsatisfiability proofs for graph problems May 17, 2024
- Logic and asymptotic combinatorics of Graph Neural Networks Apr 24, 2024
- How Fast Can We Compute (Approximate) Nash Equilibria in Zero-sum Matrix Games? Apr 19, 2024
- On the Effectiveness of Mission-time Linear Temporal Logic (MLTL) in AI Applications Mar 8, 2024
- Exploiting Epistemic Uncertainty for Deep Exploration in Reinforcement Learning Feb 16, 2024
- Distance Structures and their Algorithmic Applications Jan 19, 2024
- SAT-based Judgment Aggregation Dec 1, 2023
- The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable Nov 17, 2023
- Multi-Layer Belief Model: Justified Belief for Uncertain and Conflicting Evidence Oct 20, 2023
- Automated Reasoning for Economic Theory Sep 22, 2023
- Supervisor Synthesis: Turning Automata into Control Software Jun 16, 2023
- Social Welfare Loss in Hybrid Multi-Unit Auctions May 12, 2023
- Data examples Apr 21, 2023
- Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate Equilibria Mar 24, 2023
- Lifted Classical Planning via Propositional Logic Satisfiability Feb 24, 2023