Invited talks Thomas Eiter TU Wien, Austria Hybrid Answer Set Programming: Opportunities and Challenges Joint DL+NMR invited talk Aug 7 at 14:00 Abstract… Aarti Gupta Princeton University, NJ, US SMT-based Verification of Distributed Network Control Planes FLoC Plenary Aug 9 at 16:30 Abstract… Ziyad Hanna Cadence Design Systems, CA, US & The University of Oxford, UK Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry FLoC Keynote Aug 7 at 11:00 Abstract… Pierre Marquis CRIL-CNRS/Université d’Artois, Lens, France Rectifying Classifiers EurAI joint DL+NMR invited talk Aug 8 at 09:00 Abstract… Sebastian Rudolph Technische Universität Dresden, Germany Charting the Borderland – Decidability in Description Logics and Beyond Aug 9 at 11:00 Abstract… Renate A. Schmidt University of Manchester, UK Knowledge Extraction Based on Forgetting and Subontology Generation Aug 10 at 09:00 Abstract…
Thomas Eiter TU Wien, Austria Hybrid Answer Set Programming: Opportunities and Challenges Joint DL+NMR invited talk Aug 7 at 14:00 Abstract…
Aarti Gupta Princeton University, NJ, US SMT-based Verification of Distributed Network Control Planes FLoC Plenary Aug 9 at 16:30 Abstract…
Ziyad Hanna Cadence Design Systems, CA, US & The University of Oxford, UK Harnessing the Power of Formal Verification for the $Trillion Chip Design Industry FLoC Keynote Aug 7 at 11:00 Abstract…
Pierre Marquis CRIL-CNRS/Université d’Artois, Lens, France Rectifying Classifiers EurAI joint DL+NMR invited talk Aug 8 at 09:00 Abstract…
Sebastian Rudolph Technische Universität Dresden, Germany Charting the Borderland – Decidability in Description Logics and Beyond Aug 9 at 11:00 Abstract…
Renate A. Schmidt University of Manchester, UK Knowledge Extraction Based on Forgetting and Subontology Generation Aug 10 at 09:00 Abstract…