added idp-z3 references from ku leuven

krr.bib

@@ -382,6 +382,16 @@ @book{adams75a
   year = {1975}
 }
 
+@article{aedeve22a,
+  title = {Knowledge-based decision support for machine component design: {A} case study},
+  author = {B. Aerts and M. Deryck and J. Vennekens},
+  doi = {10.1016/J.ESWA.2021.115869},
+  journal = {Expert Systems with Applications},
+  pages = {115869},
+  volume = {187},
+  year = {2022}
+}
+
 @article{agascapevi17a,
   title = {Verification for {ASP} denotational semantics: {A} case study using the {PVS} theorem prover},
   author = {F. Aguado and P. Ascariz and P. Cabalar and G. P{\'e}rez and C. Vidal},
@@ -6342,6 +6352,15 @@ @article{catbru13a
   year = {2013}
 }
 
+@article{cavavede23a,
+  title = {Interactive configurator with {FO(.)} and {IDP-Z3}},
+  author = {P. Carbonelle and S. Vandevelde and J. Vennekens and M. Denecker},
+  journal = {CoRR},
+  url = {https://arxiv.org/abs/2202.00343},
+  volume = {abs/2202.00343},
+  year = {2023}
+}
+
 @inproceedings{cavokl15a,
   title = {Complete Decentralized Method for On-Line Multi-Robot Trajectory Planning in Well-formed Infrastructures},
   author = {M. Cap and J. Vokrinek and A. Kleiner},
@@ -25497,6 +25516,17 @@ @article{varwol86a
   year = {1986}
 }
 
+@article{vavejodowi24a,
+  title = {Knowledge-Based Support for Adhesive Selection: Will it Stick?},
+  author = {S. Vandevelde and J. Vennekens and J. Jordens and B. {V}an Doninck and M. Witters},
+  doi = {10.1017/S1471068424000024},
+  journal = {tplp},
+  number = {3},
+  pages = {560-580},
+  volume = {24},
+  year = {2024}
+}
+
 @inproceedings{vebicoro15a,
   title = {{CoBots}: Robust Symbiotic Autonomous Mobile Service Robots},
   author = {M. Veloso and J. Biswas and B. Coltin and S. Rosenthal},