default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBart Bogaerts 0001
Person information
- affiliation: Vrije Universiteit Brussel, Belgium
- affiliation (PhD 2015): KU Leuven, Department of Computer Science, Belgium
Other persons with the same name
- Bart Bogaerts 0002 — Ghent University, Department of Information Technology, Belgium
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j29]Jesse Heyninck
, Ofer Arieli, Bart Bogaerts:
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming. Artif. Intell. 331: 104110 (2024)- [j28]Simon Marynissen, Bart Bogaerts, Marc Denecker:
Embedding justification theory in approximation fixpoint theory. Artif. Intell. 331: 104112 (2024) - [j27]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. Log. Methods Comput. Sci. 20(1) (2024) - [j26]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Executable First-Order Queries in the Logic of Information Flows. Log. Methods Comput. Sci. 20(2) (2024) - [j25]Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche:
Preservation theorems for Tarski's relation algebra. Log. Methods Comput. Sci. 20(3) (2024) - [j24]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Postulates for Provenance: Instance-based provenance for first-order logic. Proc. ACM Manag. Data 2(2): 95 (2024) - [j23]Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh:
Distributed Subweb Specifications for Traversing the Web. Theory Pract. Log. Program. 24(2): 394-420 (2024) - [c43]Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker:
Using Symmetries to Lift Satisfiability Checking. AAAI 2024: 7961-7968 - [c42]Bart Bogaerts, Luís Cruz-Filipe:
Approximation Fixpoint Theory in Coq - With an Application to Logic Programming. Logics and Type Systems in Theory and Practice 2024: 84-99 - [c41]Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande:
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. CP 2024: 4:1-4:28 - [c40]Linde Vanbesien, Samuele Pollaci, Bart Bogaerts, Marc Denecker:
Towards a Unifying View on Monotone Constructive Definitions. ISAIM 2024: 218-235 - [c39]Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts:
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. LPNMR 2024: 317-330 - [i33]Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis, Babis Kostopoulos, Samuele Pollaci, Panos Rondogiannis:
The Stable Model Semantics for Higher-Order Logic Programming. CoRR abs/2408.10563 (2024) - [i32]Samuele Pollaci, Babis Kostopoulos, Marc Denecker, Bart Bogaerts:
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version). CoRR abs/2408.11712 (2024) - 2023
- [j22]Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström:
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation. J. Artif. Intell. Res. 77: 1539-1589 (2023) - [j21]Emilio Gamba, Bart Bogaerts, Tias Guns:
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. J. Artif. Intell. Res. 78: 709-746 (2023) - [j20]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log. 24(4): 33:1-33:44 (2023) - [j19]Jesse Heyninck, Bart Bogaerts:
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates. Theory Pract. Log. Program. 23(4): 632-647 (2023) - [j18]Pierre Carbonnelle, Joost Vennekens, Marc Denecker, Bart Bogaerts:
Interactive Model Expansion in an Observable Environment. Theory Pract. Log. Program. 23(4): 648-663 (2023) - [c38]Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande:
Certified Core-Guided MaxSAT Solving. CADE 2023: 1-22 - [c37]Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts, Tias Guns:
Simplifying Step-Wise Explanation Sequences. CP 2023: 11:1-11:20 - [c36]Marcos Cramer, Samuele Pollaci, Bart Bogaerts:
Mathematical Foundations for Joining Only Knowing and Common Knowledge. KR 2023: 167-177 - [i31]Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh:
Distributed Subweb Specifications for Traversing the Web. CoRR abs/2302.14411 (2023) - [i30]Emilio Gamba, Bart Bogaerts, Tias Guns:
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples). CoRR abs/2303.11712 (2023) - [i29]Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche:
Preservation theorems for Tarski's relation algebra. CoRR abs/2305.04656 (2023) - [i28]Jesse Heyninck, Bart Bogaerts:
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version). CoRR abs/2305.10846 (2023) - [i27]Pierre Carbonnelle, Joost Vennekens, Bart Bogaerts, Marc Denecker:
Interactive Model Expansion in an Observable Environment. CoRR abs/2305.17140 (2023) - [i26]Marcos Cramer, Pieter Van Hertum, Bart Bogaerts, Marc Denecker:
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control. CoRR abs/2306.02774 (2023) - [i25]Marcos Cramer, Samuele Pollaci, Bart Bogaerts:
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version). CoRR abs/2306.03267 (2023) - [i24]Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe, Bart Bogaerts, Marc Denecker:
Using Symmetries to Lift Satisfiability Checking. CoRR abs/2311.03424 (2023) - 2022
- [j17]Luciano Caroprese, Ester Zumpano, Bart Bogaerts:
Computing Abductive Explanations. IEEE Intell. Syst. 37(6): 18-26 (2022) - [j16]Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker:
On Nested Justification Systems. Theory Pract. Log. Program. 22(5): 641-657 (2022) - [c35]Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström:
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. AAAI 2022: 3698-3707 - [c34]Daimy Van Caudenberg, Bart Bogaerts:
Symmetry and Dominance Breaking for Pseudo-Boolean Optimization. BNAIC/BENELEARN 2022: 149-166 - [c33]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Expressiveness of SHACL Features. ICDT 2022: 15:1-15:16 - [c32]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
SHACL: A Description Logic in Disguise. LPNMR 2022: 75-88 - [c31]Dieter Vandesande, Wolf De Wulf, Bart Bogaerts:
QMaxSATpb: A Certified MaxSAT Solver. LPNMR 2022: 429-442 - [c30]Simon Marynissen, Bart Bogaerts:
Tree-Like Justification Systems are Consistent. ICLP Technical Communications / Doctoral Consortium 2022: 1-11 - [i23]Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström:
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation. CoRR abs/2203.12275 (2022) - [i22]Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker:
On Nested Justification Systems (full version). CoRR abs/2205.04541 (2022) - [i21]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Inputs, Outputs, and Composition in the Logic of Information Flows. CoRR abs/2209.06448 (2022) - [i20]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Executable First-Order Queries in the Logic of Information Flows. CoRR abs/2210.00240 (2022) - [i19]Jesse Heyninck, Ofer Arieli, Bart Bogaerts:
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming. CoRR abs/2211.17262 (2022) - [i18]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. CoRR abs/2212.03553 (2022) - 2021
- [j15]Bart Bogaerts, Emilio Gamba, Tias Guns:
A framework for step-wise explaining how to solve constraint satisfaction problems. Artif. Intell. 300: 103550 (2021) - [j14]Bart Bogaerts, Luís Cruz-Filipe:
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints. ACM Trans. Comput. Log. 22(1): 6:1-6:19 (2021) - [c29]Emilio Gamba, Bart Bogaerts, Tias Guns:
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. IJCAI 2021: 1381-1388 - [c28]Simon Marynissen, Bart Bogaerts, Marc Denecker:
On the Relation Between Approximation Fixpoint Theory and Justification Theory. IJCAI 2021: 1973-1980 - [c27]Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh:
Link Traversal with Distributed Subweb Specifications. RuleML+RR 2021: 62-79 - [c26]Bart Bogaerts, Maxime Jakubowski:
Fixpoint Semantics for Recursive SHACL. ICLP Technical Communications 2021: 41-47 - [e5]Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents] - [i17]Emilio Gamba, Bart Bogaerts, Tias Guns:
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization. CoRR abs/2105.11763 (2021) - [i16]Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche:
SHACL: A Description Logic in Disguise. CoRR abs/2108.06096 (2021) - 2020
- [j13]Simon Marynissen, Bart Bogaerts, Marc Denecker:
Exploiting Game Theory for Analysing Justifications. Theory Pract. Log. Program. 20(6): 880-894 (2020) - [c25]Bart Bogaerts, Emilio Gamba, Jens Claes, Tias Guns:
Step-Wise Explanations of Constraint Satisfaction Problems. ECAI 2020: 640-647 - [c24]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Executable First-Order Queries in the Logic of Information Flows. ICDT 2020: 4:1-4:14 - [c23]Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche:
Inputs, Outputs, and Composition in the Logic of Information Flows. KR 2020: 2-11 - [c22]Wolf De Wulf, Bart Bogaerts:
LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories. ICLP Technical Communications 2020: 206-219 - [e4]Bart Bogaerts, Gianluca Bontempi, Pierre Geurts, Nick Harley, Bertrand Lebichot, Tom Lenaerts, Gilles Louppe:
Artificial Intelligence and Machine Learning - 31st Benelux AI Conference, BNAIC 2019, and 28th Belgian-Dutch Machine Learning Conference, BENELEARN 2019, Brussels, Belgium, November 6-8, 2019, Revised Selected Papers. Communications in Computer and Information Science 1196, Springer 2020, ISBN 978-3-030-65153-4 [contents] - [i15]Bart Bogaerts, Emilio Gamba, Tias Guns:
A framework for step-wise explaining how to solve constraint satisfaction problems. CoRR abs/2006.06343 (2020) - [i14]Simon Marynissen, Bart Bogaerts, Marc Denecker:
Exploiting Game Theory for Analysing Justifications. CoRR abs/2008.01609 (2020)
2010 – 2019
- 2019
- [j12]Bart Bogaerts, Esra Erdem, Amelia Harrison:
Guest editorial: special issue on answer set programming and other computing paradigms. Ann. Math. Artif. Intell. 86(1-3): 1-2 (2019) - [c21]Bart Bogaerts:
Weighted Abstract Dialectical Frameworks through the Lens of Approximation Fixpoint Theory. AAAI 2019: 2686-2693 - [c20]Jens Claes, Bart Bogaerts, Rocsildes Canoy, Emilio Gamba, Tias Guns:
ZebraTutor: Explaining How to Solve Logic Grid Puzzles. BNAIC/BENELEARN 2019 - [c19]Marc Denecker, Bart Bogaerts, Joost Vennekens:
Explaining Actual Causation in Terms of Possible Causal Processes. JELIA 2019: 214-230 - [e3]Katrien Beuls, Bart Bogaerts, Gianluca Bontempi, Pierre Geurts, Nick Harley, Bertrand Lebichot, Tom Lenaerts, Gilles Louppe, Paul Van Eecke:
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019. CEUR Workshop Proceedings 2491, CEUR-WS.org 2019 [contents] - [e2]Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents] - 2018
- [j11]Bart Bogaerts, Luís Cruz-Filipe:
Fixpoint semantics for active integrity constraints. Artif. Intell. 255: 43-70 (2018) - [j10]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Safe inductions and their applications in knowledge representation. Artif. Intell. 259: 167-185 (2018) - [c18]Bart Bogaerts, Antonius Weinzierl:
Exploiting Justifications for Lazy Grounding of Answer Set Programs. IJCAI 2018: 1737-1745 - [p1]Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker:
Predicate logic as a modeling language: the IDP system. Declarative Logic Programming 2018: 279-323 - 2017
- [c17]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Safe Inductions: An Algebraic Study. IJCAI 2017: 859-865 - [c16]Bart Bogaerts, Luís Cruz-Filipe:
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory. IJCAI 2017: 866-872 - [c15]Bart Bogaerts, Eugenia Ternovska, David G. Mitchell:
Propagators and Solvers for the Algebra of Modular Systems. LPAR 2017: 227-248 - [c14]Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe:
Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT. SAT 2017: 83-100 - [e1]Bart Bogaerts, Amelia Harrison:
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. CEUR Workshop Proceedings 1868, CEUR-WS.org 2017 [contents] - [i13]Marc Denecker, Bart Bogaerts, Joost Vennekens:
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. CoRR abs/1702.04551 (2017) - 2016
- [j9]Bart Bogaerts, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker:
Bootstrapping Inference in the IDP Knowledge Base System. New Gener. Comput. 34(3): 193-220 (2016) - [j8]Bart Bogaerts, Joost Vennekens, Marc Denecker:
On Well-Founded Set-Inductions and Locally Monotone Operators. ACM Trans. Comput. Log. 17(4): 27 (2016) - [j7]Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Stable-unstable semantics: Beyond NP with normal logic programs. Theory Pract. Log. Program. 16(5-6): 570-586 (2016) - [j6]Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker:
On local domain symmetry for model expansion. Theory Pract. Log. Program. 16(5-6): 636-652 (2016) - [c13]Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Solving QBF Instances with Nested SAT Solvers. AAAI Workshop: Beyond NP 2016 - [c12]Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts, Gerda Janssens, Marc Denecker:
A Compositional Typed Higher-Order Logic with Definitions. ICLP (Technical Communications) 2016: 14:1-14:13 - [c11]Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker:
Relevance for SAT(ID). IJCAI 2016: 596-602 - [c10]Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker:
Distributed Autoepistemic Logic and its Application to Access Control. IJCAI 2016: 1286-1292 - [c9]Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Declarative Solver Development: Case Studies. KR 2016: 74-83 - [c8]Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
SAT-to-SAT in QBFEval 2016. QBF@SAT 2016: 63-70 - [c7]Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker:
Improved Static Symmetry Breaking for SAT. SAT 2016: 104-122 - [i12]Bart Bogaerts, Eugenia Ternovska, David G. Mitchell:
Propagators and Solvers for the Algebra of Modular Systems. CoRR abs/1606.08130 (2016) - [i11]Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. CoRR abs/1608.01835 (2016) - [i10]Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker:
On Local Domain Symmetry for Model Expansion. CoRR abs/1608.02688 (2016) - [i9]Joachim Jansen, Jo Devriendt, Bart Bogaerts, Gerda Janssens, Marc Denecker:
Implementing a Relevance Tracker Module. CoRR abs/1608.05609 (2016) - [i8]Jo Devriendt, Bart Bogaerts:
BreakID: Static Symmetry Breaking for ASP (System Description). CoRR abs/1608.08447 (2016) - 2015
- [b1]Bart Bogaerts:
Groundedness in Logics with a Fixpoint Semantics; Gegrondheid in logicas met een vaste-puntssemantiek. Katholieke Universiteit Leuven, Belgium, 2015 - [j5]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Grounded fixpoints and their applications in knowledge representation. Artif. Intell. 224: 51-71 (2015) - [j4]Bart Bogaerts, Guy Van den Broeck:
Knowledge compilation of logic programs using approximation fixpoint theory. Theory Pract. Log. Program. 15(4-5): 464-480 (2015) - [j3]Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer:
Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Theory Pract. Log. Program. 15(6): 783-817 (2015) - [c6]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Grounded Fixpoints. AAAI 2015: 1453-1459 - [c5]Bart Bogaerts, Joost Vennekens, Marc Denecker:
Partial Grounded Fixpoints. IJCAI 2015: 2784-2790 - [i7]Bart Bogaerts, Guy Van den Broeck:
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory. CoRR abs/1507.06554 (2015) - 2014
- [j2]Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker:
Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. 14(4-5): 477-492 (2014) - [c4]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. ECAI 2014: 111-116 - [i6]Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker:
Predicate Logic as a Modelling Language: The IDP System. CoRR abs/1401.6312 (2014) - [i5]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
Inference in the FO(C) Modelling Language. CoRR abs/1404.6368 (2014) - [i4]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C) and Related Modelling Paradigms. CoRR abs/1404.6394 (2014) - [i3]Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker:
Simulating dynamic systems using Linear Time Calculus theories. CoRR abs/1405.1523 (2014) - [i2]Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche:
FO(C): A Knowledge Representation Language of Causality. CoRR abs/1405.1833 (2014) - 2013
- [j1]Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, Marc Denecker:
The effects of buying a new car: an extension of the IDP Knowledge Base System. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c3]Broes De Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker:
Model Expansion in the Presence of Function Symbols Using Constraint Programming. ICTAI 2013: 1068-1075 - [i1]Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer:
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. CoRR abs/1309.6883 (2013) - 2012
- [c2]Hendrik Blockeel, Bart Bogaerts, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer:
Modeling Machine Learning and Data Mining Problems with FO(·). ICLP (Technical Communications) 2012: 14-25 - [c1]Jo Devriendt, Bart Bogaerts, Broes De Cat, Marc Denecker, Christopher Mears:
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. ICTAI 2012: 49-56
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
