Heymans, G. O.; Svaiter, N. F.; Svaiter, B. F.; Krein, G. Critical Casimir effect in a disordered \(O(2)\)-symmetric model. arXiv:2402.01588 Preprint, arXiv:2402.01588 [cond-mat.soft] (2024). BibTeX Cite \textit{G. O. Heymans} et al., ``Critical Casimir effect in a disordered $O(2)$-symmetric model'', Preprint, arXiv:2402.01588 [cond-mat.soft] (2024) Full Text: arXiv OA License
Arias, E.; Heymans, G. O.; Lopes, H. T.; Svaiter, N. F. The vacuum energy with non-ideal boundary conditions via an approximate functional equation. arXiv:2307.10101 Preprint, arXiv:2307.10101 [math-ph] (2023). BibTeX Cite \textit{E. Arias} et al., ``The vacuum energy with non-ideal boundary conditions via an approximate functional equation'', Preprint, arXiv:2307.10101 [math-ph] (2023) Full Text: arXiv OA License
Ariyo, Oludare; Lesaffre, Emmanuel; Verbeke, Geert; Huisman, Martijn; Heymans, Martijn; Twisk, Jos Bayesian model selection for multilevel mediation models. (English) Zbl 07778520 Stat. Neerl. 76, No. 2, 219-235 (2022). MSC: 62Fxx 62-XX 62Pxx PDFBibTeX XMLCite \textit{O. Ariyo} et al., Stat. Neerl. 76, No. 2, 219--235 (2022; Zbl 07778520) Full Text: DOI
Cruanes, Simon; Heymans, Stijn; Mason, Ian; Owre, Sam; Shankar, Natarajan The semantics of Datalog for the evidential tool bus (extended abstract). (English) Zbl 1407.68079 Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 256-275 (2014). MSC: 68N17 PDFBibTeX XMLCite \textit{S. Cruanes} et al., Lect. Notes Comput. Sci. 8373, 256--275 (2014; Zbl 1407.68079) Full Text: DOI
Feier, Cristina; Heymans, Stijn Reasoning with forest logic programs and f-hybrid knowledge bases. (English) Zbl 1266.68082 Theory Pract. Log. Program. 13, No. 3, 395-463 (2013). MSC: 68N17 PDFBibTeX XMLCite \textit{C. Feier} and \textit{S. Heymans}, Theory Pract. Log. Program. 13, No. 3, 395--463 (2013; Zbl 1266.68082) Full Text: DOI arXiv
Heymans, Hans; Stubbe, Isar Grothendieck quantaloids for allegories of enriched categories. (English) Zbl 1285.18014 Bull. Belg. Math. Soc. - Simon Stevin 19, No. 5, 859-888 (2012). Reviewer: Sergejs Solovjovs (Brno) MSC: 18D20 06F07 18B10 18B25 18D05 18F10 PDFBibTeX XMLCite \textit{H. Heymans} and \textit{I. Stubbe}, Bull. Belg. Math. Soc. - Simon Stevin 19, No. 5, 859--888 (2012; Zbl 1285.18014) Full Text: arXiv Euclid
Heymans, Hans; Stubbe, Isar Elementary characterisation of small quantaloids of closed cribles. (English) Zbl 1279.18007 J. Pure Appl. Algebra 216, No. 8-9, 1952-1960 (2012). MSC: 18D20 06F07 18B35 18D05 18F10 PDFBibTeX XMLCite \textit{H. Heymans} and \textit{I. Stubbe}, J. Pure Appl. Algebra 216, No. 8--9, 1952--1960 (2012; Zbl 1279.18007) Full Text: DOI arXiv
Kitching, Thomas; Balan, Sreekumar; Bernstein, Gary; Bethge, Matthias; Bridle, Sarah; Courbin, Frederic; Gentile, Marc; Heavens, Alan; Hirsch, Michael; Hosseini, Reshad; Kiessling, Alina; Amara, Adam; Kirk, Donnacha; Kuijken, Konrad; Mandelbaum, Rachel; Moghaddam, Baback; Nurbaeva, Guldariya; Paulin-Henriksson, Stephane; Rassat, Anais; Rhodes, Jason; Schölkopf, Bernhard; Shawe-Taylor, John; Gill, Mandeep; Shmakova, Marina; Taylor, Andy; Velander, Malin; Van Waerbeke, Ludovic; Witherick, Dugan; Wittman, David; Harmeling, Stefan; Heymans, Catherine; Massey, Richard; Rowe, Barnaby; Schrabback, Tim; Voigt, Lisa Gravitational lensing accuracy testing 2010 (GREAT10) challenge handbook. (English) Zbl 1228.62164 Ann. Appl. Stat. 5, No. 3, 2231-2263 (2011). MSC: 62P35 62H35 85A40 65C60 62H25 PDFBibTeX XMLCite \textit{T. Kitching} et al., Ann. Appl. Stat. 5, No. 3, 2231--2263 (2011; Zbl 1228.62164) Full Text: DOI arXiv
Heymans, Hans; Stubbe, Isar Symmetry and Cauchy completion of quantaloid-enriched categories. (English) Zbl 1230.06007 Theory Appl. Categ. 25, 276-294 (2011). Reviewer: Dana Piciu (Craiova) MSC: 06F07 18C15 18D05 18D20 PDFBibTeX XMLCite \textit{H. Heymans} and \textit{I. Stubbe}, Theory Appl. Categ. 25, 276--294 (2011; Zbl 1230.06007) Full Text: arXiv EuDML EMIS
Heymans, Stijn; Eiter, Thomas; Xiao, Guohui Tractable reasoning with DL-programs over Datalog-rewritable description logics. (English) Zbl 1211.68402 Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 35-40 (2010). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{S. Heymans} et al., Front. Artif. Intell. Appl. 215, 35--40 (2010; Zbl 1211.68402) Full Text: DOI
de Bruijn, Jos; Heymans, Stijn Logical foundations of RDF(S) with datatypes. (English) Zbl 1211.68136 J. Artif. Intell. Res. (JAIR) 38, 535-568 (2010). MSC: 68P05 68N17 PDFBibTeX XMLCite \textit{J. de Bruijn} and \textit{S. Heymans}, J. Artif. Intell. Res. (JAIR) 38, 535--568 (2010; Zbl 1211.68136) Full Text: DOI arXiv
de Bruijn, Jos; Heymans, Stijn Complexity of the stable model semantics for queries on incomplete databases. (English) Zbl 1258.68049 Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 101-114 (2009). MSC: 68P15 68N17 PDFBibTeX XMLCite \textit{J. de Bruijn} and \textit{S. Heymans}, Lect. Notes Comput. Sci. 5753, 101--114 (2009; Zbl 1258.68049) Full Text: DOI
Heymans, Hans; Stubbe, Isar On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular. (English) Zbl 1179.18003 Ann. Pure Appl. Logic 161, No. 1, 43-65 (2009). MSC: 18C20 06D22 06F07 18D20 PDFBibTeX XMLCite \textit{H. Heymans} and \textit{I. Stubbe}, Ann. Pure Appl. Logic 161, No. 1, 43--65 (2009; Zbl 1179.18003) Full Text: DOI arXiv Link
Heymans, Hans; Stubbe, Isar Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory. (English) Zbl 1179.06007 Order 26, No. 2, 177-196 (2009). MSC: 06F07 PDFBibTeX XMLCite \textit{H. Heymans} and \textit{I. Stubbe}, Order 26, No. 2, 177--196 (2009; Zbl 1179.06007) Full Text: DOI arXiv
Bridle, Sarah; Gill, Mandeep; Heavens, Alan; Heymans, Catherine; High, F. William; Hoekstra, Henk; Jarvis, Mike; Kirk, Donnacha; Kitching, Thomas; Kneib, Jean-Paul; Kuijken, Konrad; Shawe-Taylor, John; Lagatutta, David; Mandelbaum, Rachel; Massey, Richard; Mellier, Yannick; Moghaddam, Baback; Moudden, Yassir; Nakajima, Reiko; Paulin-Henriksson, Stephane; Pires, Sandrine; Rassat, Anais; Amara, Adam; Refregier, Alexandre; Rhodes, Jason; Schrabback, Tim; Semboloni, Elisabetta; Shmakova, Marina; Van Waerbeke, Ludovic; Witherick, Dugan; Voigt, Lisa; Wittman, David; Applegate, Douglas; Balan, Sreekumar T.; Berge, Joel; Bernstein, Gary; Dahle, Hakon; Erben, Thomas Handbook for the GREAT08 challenge: an image analysis competition for cosmological lensing. (English) Zbl 1165.62364 Ann. Appl. Stat. 3, No. 1, 6-37 (2009). MSC: 62P35 85A15 85A35 62M40 62H35 PDFBibTeX XMLCite \textit{S. Bridle} et al., Ann. Appl. Stat. 3, No. 1, 6--37 (2009; Zbl 1165.62364) Full Text: DOI arXiv
Keller, Uwe; Heymans, Stijn Fuzzy description logic reasoning using a fixpoint algorithm. (English) Zbl 1211.68404 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 265-279 (2009). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{U. Keller} and \textit{S. Heymans}, Lect. Notes Comput. Sci. 5407, 265--279 (2009; Zbl 1211.68404) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Open answer set programming with guarded programs. (English) Zbl 1367.68034 ACM Trans. Comput. Log. 9, No. 4, Article No. 26, 53 p. (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{S. Heymans} et al., ACM Trans. Comput. Log. 9, No. 4, Article No. 26, 53 p. (2008; Zbl 1367.68034) Full Text: DOI arXiv
Janssen, Jeroen; Heymans, Stijn; Vermeir, Dirk; De Cock, Martine Compiling fuzzy answer set programs to fuzzy propositional theories. (English) Zbl 1185.68161 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 362-376 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Janssen} et al., Lect. Notes Comput. Sci. 5366, 362--376 (2008; Zbl 1185.68161) Full Text: DOI
Heymans, Stijn; De Bruijn, Jos; Predoiu, Livia; Feier, Cristina; Van Niewenborgh, Davy Guarded hybrid knowledge bases. (English) Zbl 1139.68410 Theory Pract. Log. Program. 8, No. 3, 411-429 (2008). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{S. Heymans} et al., Theory Pract. Log. Program. 8, No. 3, 411--429 (2008; Zbl 1139.68410) Full Text: DOI
de Bruijn, Jos; Heymans, Stijn On the relationship between description logic-based and \(F\)-logic-based ontologies. (English) Zbl 1136.68050 Fundam. Inform. 82, No. 3, 213-236 (2008). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{J. de Bruijn} and \textit{S. Heymans}, Fundam. Inform. 82, No. 3, 213--236 (2008; Zbl 1136.68050)
Van Nieuwenborgh, Davy; De Vos, Marina; Heymans, Stijn; Vermeir, Dirk Hierarchical decision making in multi-agent systems using answer set programming. (English) Zbl 1177.68229 Inoue, Katsumi (ed.) et al., Computational logic in multi-agent systems. 7th international workshop, CLIMA VII, Hakodate, Japan, May 8–9, 2006. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-69618-6/pbk). Lecture Notes in Computer Science 4371. Lecture Notes in Artificial Intelligence, 20-40 (2007). MSC: 68T42 68N17 68Q15 PDFBibTeX XMLCite \textit{D. Van Nieuwenborgh} et al., Lect. Notes Comput. Sci. 4371, 20--40 (2007; Zbl 1177.68229) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Open answer set programming for the semantic web. (English) Zbl 1116.68092 J. Appl. Log. 5, No. 1, 144-169 (2007). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{S. Heymans} et al., J. Appl. Log. 5, No. 1, 144--169 (2007; Zbl 1116.68092) Full Text: DOI
Schobbens, Pierre-Yves; Heymans, Patrick; Trigaux, Jean-Christophe; Bontemps, Yves Generic semantics of feature diagrams. (English) Zbl 1119.68113 Comput. Netw. 51, No. 2, 456-479 (2007). MSC: 68Q55 PDFBibTeX XMLCite \textit{P.-Y. Schobbens} et al., Comput. Netw. 51, No. 2, 456--479 (2007; Zbl 1119.68113) Full Text: DOI
Van Nieuwenborgh, Davy; Heymans, Stijn; Vermeir, Dirk Cooperating answer set programming. (English) Zbl 1131.68403 Etalle, Sandro (ed.) et al., Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-36635-5/pbk). Lecture Notes in Computer Science 4079, 226-241 (2006). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Van Nieuwenborgh} et al., Lect. Notes Comput. Sci. 4079, 226--241 (2006; Zbl 1131.68403) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Guarded open answer set programming with generalized literals. (English) Zbl 1177.68041 Dix, Jürgen (ed.) et al., Foundations of information and knowledge systems. 4th international symposium, FoIKS 2006, Budapest, Hungary, February 14–17, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31782-1/pbk). Lecture Notes in Computer Science 3861, 179-200 (2006). MSC: 68N17 68Q17 PDFBibTeX XMLCite \textit{S. Heymans} et al., Lect. Notes Comput. Sci. 3861, 179--200 (2006; Zbl 1177.68041) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Conceptual logic programs. (English) Zbl 1105.68102 Ann. Math. Artif. Intell. 47, No. 1-2, 103-137 (2006). MSC: 68T27 68T30 68N17 PDFBibTeX XMLCite \textit{S. Heymans} et al., Ann. Math. Artif. Intell. 47, No. 1--2, 103--137 (2006; Zbl 1105.68102) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Synthesis from temporal specifications using preferred answer set programming. (English) Zbl 1171.68548 Coppo, Mario (ed.) et al., Theoretical computer science. 9th Italian conference, ICTCS 2005, Siena, Italy, October 12–14, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29106-7/pbk). Lecture Notes in Computer Science 3701, 280-294 (2005). MSC: 68Q60 03B44 68N17 PDFBibTeX XMLCite \textit{S. Heymans} et al., Lect. Notes Comput. Sci. 3701, 280--294 (2005; Zbl 1171.68548) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Guarded open answer set programming. (English) Zbl 1152.68413 Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 92-104 (2005). MSC: 68N17 PDFBibTeX XMLCite \textit{S. Heymans} et al., Lect. Notes Comput. Sci. 3662, 92--104 (2005; Zbl 1152.68413) Full Text: DOI
Van Nieuwenborgh, Davy; Heymans, Stijn; Vermeir, Dirk Weighted answer sets and applications in intelligence analysis. (English) Zbl 1108.68363 Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 169-183 (2005). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Van Nieuwenborgh} et al., Lect. Notes Comput. Sci. 3452, 169--183 (2005; Zbl 1108.68363) Full Text: DOI
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk Hierarchical decision making by autonomous agents. (English) Zbl 1111.68679 Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23242-7/pbk). Lecture Notes in Computer Science 3229. Lecture Notes in Artificial Intelligence, 44-56 (2004). MSC: 68T27 68N17 91B06 PDFBibTeX XMLCite \textit{S. Heymans} et al., Lect. Notes Comput. Sci. 3229, 44--56 (2004; Zbl 1111.68679) Full Text: DOI
Van Nieuwenborgh, Davy; Heymans, Stijn; Vermeir, Dirk On programs with linearly ordered multiple preferences. (English) Zbl 1104.68389 Demoen, Bart (ed.) et al., Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6–10, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22671-0/pbk). Lecture Notes in Computer Science 3132, 180-194 (2004). MSC: 68N17 PDFBibTeX XMLCite \textit{D. Van Nieuwenborgh} et al., Lect. Notes Comput. Sci. 3132, 180--194 (2004; Zbl 1104.68389) Full Text: DOI
Blondel, Vincent D.; Gajardo, Anahí; Heymans, Maureen; Senellart, Pierre; Van Dooren, Paul A measure of similarity between graph vertices: Applications to synonym extraction and web searching. (English) Zbl 1055.05099 SIAM Rev. 46, No. 4, 647-666 (2004). MSC: 05C50 05C85 15A18 68R10 PDFBibTeX XMLCite \textit{V. D. Blondel} et al., SIAM Rev. 46, No. 4, 647--666 (2004; Zbl 1055.05099) Full Text: DOI
Heymans, S.; Vermeir, D. A defeasible ontology language. (English) Zbl 1018.68684 Meersman, Robert (ed.) et al., On the move to meaningful internet systems 2002: CoopIS, DOA, and ODBASE. Confederated international conferences CoopIS, DOA, and ODBASE 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2519, 1033-1046 (2002). MSC: 68U99 68M10 68U35 PDFBibTeX XMLCite \textit{S. Heymans} and \textit{D. Vermeir}, Lect. Notes Comput. Sci. 2519, 1033--1046 (2002; Zbl 1018.68684) Full Text: Link