- Mathematical Foundations for Joining Only Knowing and Common Knowledge(2023)
Auteurs: Marcos Cramer, Samuele Pollaci, Bart Bogaerts
Pagina's: 167-177
Aantal pagina's: 11
- Symmetry and Dominance Breaking for Pseudo-Boolean Optimization(2023)
Auteurs: Daimy Stefanie Van Caudenberg, Bart Bogaerts
Pagina's: 149-166
Aantal pagina's: 18
- Inputs, Outputs, and Composition in the Logic of Information Flows(2023)
Auteurs: Heba Aamer, Bart Bogaerts, Dimitri SURINX, Eugenia Ternovska, Jan Van Den Bussche
Pagina's: 1-44
- Interactive Model Expansion in an Observable Environment(2023)
Auteurs: Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts
Pagina's: 648-663
- Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates(2023)
Auteurs: Jesse Heyninck, Bart Bogaerts
Pagina's: 632-647
- Certified Symmetry and Dominance Breaking for Combinatorial Optimisation(2023)
Auteurs: Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Pagina's: 1539-1589
- Computing Abductive Explanations(2022)
Auteurs: Luciano Caroprese, Ester Zumpano, Bart Bogaerts
Pagina's: 18-26
- On Nested Justification Systems(2022)
Auteurs: Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Denecker Marc
Pagina's: 641-657
- Tree-Like Justification Systems are Consistent(2022)
Series: Electronic Proceedings in Theoretical Computer Science
Volume: 364
Auteurs: Simon Marynissen, Bart Bogaerts
Pagina's: 1-11
Aantal pagina's: 11
- Certified Symmetry and Dominance Breaking for Combinatorial Optimisation(2022)
Series: Proceedings of the ... AAAI Conference on Artificial Intelligence
Auteurs: Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström
Pagina's: 3698-3707
Aantal pagina's: 10
