Bart Bogaerts

1. Predicate Logic as a Modelling Language: The IDP System
   2014/01/24 by Broes De Cat, De Cat, Broes, Bart Bogaerts +7 · 1 citation
   Computer Science · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
2. Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming
   2022/11/30 by Jesse Heyninck, Heyninck, Jesse, Ofer Arieli +3 · 2 citations
   Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge
3. Towards a Certifying Grounder
   2026/07/20 by Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1
   Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Logic, programming, and type systems