Publications

about 'applications'

Books and proceedings

  1. Elena Simperl, Philipp Cimiano, Axel Polleres, Óscar Corcho, and Valentina Presutti, editors. The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings, volume 7295 of Lecture Notes in Computer Science, 2012. Springer. ISBN: 978-3-642-30283-1.
  2. Michael Thielscher. Reasoning Robots: The Art and Science of Programming Robotic Agents (Applied Logic Series). Springer Netherlands, October 2010. Keyword(s): applications.

Thesis

  1. Peter Van Weert. Extension and Optimising Compilation of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, May 2010. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, Java.

Articles in journal, book chapters

  1. Nada Sharaf, Slim Abdennadher, and Thom Frühwirth. Visualization of Constraint Handling Rules: Semantics and Applications. arXiv preprint arXiv:1706.01755, 2017.
  2. Ester Martinez-Martin, Maria Teresa Escrig, and Angel P. del Pobil. A Qualitative Acceleration Model Based on Intervals. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, 2(2), 2013. ISSN: 2255-2863. [WWW] Keyword(s): Model-based reasoning, Qualitative reasoning, Spatial reasoning.
  3. Carlos Olarte, Camilo Rueda, and Frank D. Valencia. Models and emerging trends of concurrent constraint programming. Constraints, 18(4):535-578, 2013. ISSN: 1572-9354. [WWW] [doi:10.1007/s10601-013-9145-3]
  4. Stefano Bistarelli, Fabio Martinelli, and Francesco Santini. A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications, (0):-, 2012. ISSN: 0898-1221. [WWW] [doi:10.1016/j.camwa.2011.12.017] Keyword(s): abduction, applications.
  5. P. Deransart. Conception de traces et applications (vers une méta-théorie des traces)‘‘document de travail’’8 février 2010. 2010.
  6. Jon Sneyers, Peter Van Weert, Tom Schrijvers, and Leslie De Koninck. As Time Goes By: Constraint Handling Rules -- A Survey of CHR Research between 1998 and 2007. TPLP, 10(1):1-47, 2010. [PDF] [doi:10.1017/S1471068409990123] Keyword(s): survey.
  7. Bernhard Aichernig. A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. In Paulo Borba, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcook, editors, Testing Techniques in Software Engineering, volume 6153 of LNCS, pages 243-287. SV, 2010. [doi:10.1007/978-3-642-14335-9_8] Keyword(s): applications, testing.
  8. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. TPLP, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation.
  9. Jacques Robin, Jairson Vitorino, and Armin Wolf. Constraint Programming Architectures: Review and a New Proposal. j-jucs, 13(6):701-720, 2007. [WWW]
  10. Beata Sarna-Starosta, R. E. Kurt Stirewalt, and Laura K. Dillon. A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications. Intl. Journal of Softw. Engin. and Knowl. Engin., 17(2):207-230, 2007. [doi:10.1142/S0218194007003197] Keyword(s): applications, testing.
  11. Maryam Bavarian and Verónica Dahl. Constraint Based Methods for Biological Sequence Analysis. j-jucs, 12(11):1500-1520, 2006. [WWW] Keyword(s): applications.
  12. Henning Christiansen. CHR grammars. In Slim Abdennadher, Thom Frühwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming, pages 467-501. CUP, July 2005. [doi:10.1017/S1471068405002395] Keyword(s): applications, linguistics.
  13. Alexander Pretschner, Heiko Lötzbeyer, and Jan Philipps. Model based testing in incremental system development. Journal of Systems and Software, 70(3):315-329, 2004. ISSN: 0164-1212. [doi:10.1016/S0164-1212(03)00076-1] Keyword(s): applications, testing.
  14. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, and Stefan Kriebel. Model-based testing for real. J. Software Tools for Technology Transfer (STTT), 5(2--3):140-157, 2004. Keyword(s): applications, testing.
  15. Henning Christiansen and Verónica Dahl. Logic Grammars for Diagnosis and Repair. Intl. J. Artificial Intelligence Tools, 12(3):227-248, 2003. Keyword(s): applications, abduction.
  16. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. TPLP, 1(3):303-319, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401001181] Keyword(s): applications.
  17. Thom Frühwirth and Pascal Brisset. Placing Base Stations in Wireless Indoor Communication Networks. IEEE Intelligent Systems and Their Applications, 15(1):49-53, 2000. Keyword(s): applications.

Conference articles

  1. Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, and Francesco Santini. An Improved Role-Based Access to Android Applications with JCHR. In Proceedings of the 2014 Ninth International Conference on Availability, Reliability and Security, ARES '14, Washington, DC, USA, pages 341-348, 2014. IEEE Computer Society. ISBN: 978-1-4799-4223-7. [WWW] [doi:10.1109/ARES.2014.52]
  2. Amr Osman, Amira Zaki, and Slim Abdennadher. CHR Meets MapReduce. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 25-38, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013.
  3. Nada Sharaf, Injy Hamed, and Slim Abdennadher. Tagging Reasoning System using CHR. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 61-69, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): applications, CHR 2013, CHR 2013.
  4. Jon Sneyers, Daniel De Schreye, and Thom Frühwirth. CHRiSM and Probabilistic Argumentation Logic. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 39-52, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): CHRiSM, applications, CHR 2013, CHR 2013.
  5. Alia El Bolock, Amira Zaki, and Thom Frühwirth. Substitution-based CHR Solver for Bivariate Binomial Equation Sets. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 41-50, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, algorithms, CHR 2012, CHR 2012.
  6. Henning Christiansen. An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 1-15, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
  7. Verónica Dahl, Emilio Miralles, and Leonor Becerra-Bonache. On Language Acquisition through Womb Grammars. In Proceedings of the 7th International Workshop on Constraint Solving and Language Processing, France, pages 99-105, 2012. [WWW] [PDF]
  8. Ester Martìnez-Martin, M. Teresa Escrig, and Angel P. Del Pobil. Qualitative Velocity Model: Representation, Reasoning and Application. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 66-81, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): applications, CHR 2012, CHR 2012.
  9. Henning Christiansen and Amr Hany Saleh. Modeling Dependent Events with CHRiSM for Probabilistic Abduction. In Jon Sneyers, editor, CHR11l, pages 48-63, September 2011. GUC, Technical report. [PDF] Keyword(s): abduction, probabilistic CHR, CHRiSM, CHR 2011, CHR 2011.
  10. Verónica Dahl. CHR for Spoken and other Biological Languages. In Jon Sneyers, editor, CHR11l, pages 4-18, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): abduction, linguistics, applications, CHR 2011, CHR 2011.
  11. Marcel Dausend and Frank Raiser. Model Transformation using Constraint Handling Rules as a basis for Model Interpretation. In Jon Sneyers, editor, CHR11l, pages 64-78, September 2011. GUC, Technical report. [PDF] Keyword(s): applications, CHR 2011, CHR 2011.
  12. Christian Theil Have. Constraints and Global Optimization for Gene Prediction Overlap Resolution. In Alessandro Dal Palù, Agostino Dovier, and Andrea Formisano, editors, WCB'11: Workshop on Constraint Based Methods for Bioinformatics, pages 17-26, September 2011. Keyword(s): applications.
  13. Johannes Langbein, Roland Stelzer, and Thom Frühwirth. A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats. In Robotic Sailing 2011, Part V, pages 195-204, 2011. [doi:10.1007/978-3-642-22836-0_14] Keyword(s): applications.
  14. Henning Christiansen, Christian Theil Have, Ole Torp Lassen, and Matthieu Petit. The Viterbi Algorithm expressed in Constraint Handling Rules. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, CHR 2010, CHR 2010.
  15. Verónica Dahl, M. Dolores Jiménez-López, and Olivier Perriquet. Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. In Proc. 8th Intl. Conf. Practical Applications of Agents and Multiagent Systems, volume 71 of Advances in Soft Computing, pages 403-410, April 2010. SV. [doi:10.1007/978-3-642-12433-4_48] Keyword(s): applications, linguistics.
  16. Florian Geiselhart, Frank Raiser, Jon Sneyers, and Thom Frühwirth. MTSeq -- Multi-touch-enabled music generation and manipulation based on CHR. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, CHRiSM, applications, CHR 2010, CHR 2010.
  17. Ralf Gerlich. Generic and Extensible Automatic Test Data Generation for Safety Critical Software with CHR. In P. Van Weert and L. De Koninck, editors, CHR10l, July 2010. KULCW, Technical report CW 588. [WWW] [PDF] Keyword(s): CHR 2010, applications, testing, CHR 2010, CHR 2010.
  18. Yisong Liu, Zhihua Yin, Huijuan Zhu, and Lili Wang. Handling Negative Disjunction Constraints (or_not_holds) in FLUX. In ICCAE 2010: 2nd Intl. Conf. Computer and Automation Engineering, pages 514-518, February 2010. IEEE. [doi:10.1109/ICCAE.2010.5451264] Keyword(s): FLUX, applications.
  19. Jon Sneyers and Danny De Schreye. APOPCALEAPS: Automatic Music Generation with CHRiSM. In G. Danoy and others, editors, 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010), Luxembourg, October 2010. Keyword(s): CHRiSM, applications.
  20. Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta, Frank Raiser, and Thom Frühwirth. Constraint-Based Hardware Synthesis. In Slim Abdennadher, editor, WLP10l, September 2010. [WWW] Keyword(s): applications.
  21. Verónica Dahl, Baohua Gu, and Erez Maharshak. A Hyprolog Parsing Methodology for Property Grammars. In IWANN '09: Proc. 10th Intl. Workshop on Artif. Neural Networks, volume 5517 of LNCS, pages 480-487, 2009. SV. [doi:10.1007/978-3-642-02478-8_60] Keyword(s): linguistics.
  22. François Degrave, Tom Schrijvers, and Wim Vanhoof. Automatic generation of test inputs for Mercury. In M. Hanus, editor, LOPSTR08l, volume 5438 of LNCS, 2009. SV. [doi:10.1007/978-3-642-00515-2] Keyword(s): applications, testing.
  23. Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 387-401, July 2009. SV. [doi:10.1007/978-3-642-02846-5_32] Keyword(s): abduction.
  24. Frank Raiser and Thom Frühwirth. Operational Equivalence of Graph Transformation Systems. In F. Raiser and J. Sneyers, editors, CHR09l, pages 49-61, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, Graph Transformation Systems, related formalisms, CHR 2009, CHR 2009.
  25. Beata Sarna-Starosta, David Zook, Emir Pasalic, and Molham Aref. Relating Constraint Handling Rules to Datalog. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 127-142, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
  26. Henning Christiansen and Christian Theil Have. From Use Cases to UML Class Diagrams using Logic Grammars and Constraints. In RANLP '07: Proc. Intl. Conf. Recent Adv. Nat. Lang. Processing, pages 128-132, September 2007. Keyword(s): applications, linguistics.
  27. Verónica Dahl and Baohua Gu. A CHRG Analysis of ambiguity in Biological Texts. In CSLP '07: Proc. 4th Intl. Workshop on Constraints and Language Processing, August 2007. Note: Extended Abstract. Keyword(s): linguistics, applications.
  28. Dulce Aguilar-Solis. Learning Semantic Parsers: A Constraint Handling Rule Approach. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 447-448, August 2006. SV. Note: Poster Paper. [doi:10.1007/11799573_42] Keyword(s): applications, linguistics.
  29. Verónica Dahl and Baohua Gu. Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 442-443, August 2006. SV. Note: Poster Paper. [doi:10.1007/11799573_40] Keyword(s): applications, linguistics.
  30. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. INCLP($\mathbb{R}$) - Interval-based nonlinear constraint logic programming over the reals. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 91-100, February 2006. Keyword(s): applications.
  31. Sandrine-Dominique Gouraud and Arnaud Gotlieb. Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. In P. Van Hentenryck, editor, PADL '06: Proc. 8th Intl. Symp. Practical Aspects of Declarative Languages, volume 3819 of LNCS, pages 1-15, January 2006. SV. [doi:10.1007/11603023_1] Keyword(s): applications, testing.
  32. Nikolai Kosmatov. A constraint solver for sequences and its applications. In SAC '06: Proc. 21st ACM Symp. Applied Computing, pages 404-408, 2006. ACM.
  33. Tom Schrijvers, Neng-Fa Zhou, and Bart Demoen. Translating Constraint Handling Rules into Action Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 141-155, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, implementation, related formalisms, CHR 2006, CHR 2006.
  34. Dulce Aguilar-Solis and Verónica Dahl. Coordination Revisited -- A Constraint Handling Rule Approach. In IBERAMIA '04: Proc. 9th Ibero-American Conf. on AI, volume 3315 of LNCS, pages 315-324, November 2004. Keyword(s): applications.
  35. Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, and Paola Mello. Specification and verification of agent interaction protocols in a logic-based system. In H. Haddad and others, editors, SAC '04: Proc. 19th ACM Symp. Applied Computing, pages 72-78, March 2004. ACM. Keyword(s): applications, verification.
  36. Liviu Badea, Doina Tilivea, and Anca Hotaran. Semantic Web Reasoning for Ontology-Based Integration of Resources. In PPSWR '04: Proc. second Intl. Workshop on Principles And Practice Of Semantic Web Reasoning, volume 3208 of LNCS, pages 61-75, September 2004. SV. Keyword(s): applications.
  37. Henning Christiansen. CHR Grammars with multiple constraint stores. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 1-7, May 2004. [PDF] Keyword(s): CHR 2004, linguistics, applications, CHR 2004, CHR 2004.
  38. Tom Schrijvers. JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 475-476, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): applications.
  39. Tom Schrijvers and Bart Demoen. The K.U.Leuven CHR system: Implementation and application. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 8-12, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, implementation, CHR 2004, CHR 2004.
  40. Gabriel G. Bès and Verónica Dahl. Balanced parentheses in NL texts: a useful cue in the syntax/semantics interface. In Proc. Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface, October 2003. Note: Poster Paper. Keyword(s): applications, linguistics.
  41. Thom Frühwirth. On the Number of Rule Applications in Constraint Programs. In A. Dovier, M. Chiara Meo, and A. Omicini, editors, Declarative Programming - Selected Papers from AGP 2000, volume 48 of ENTCS, pages 147-166, June 2001. Elsevier. Keyword(s): complexity, termination.
  42. Joost Geurts, Jacco van Ossenbruggen, and Lynda Hardman. Application-Specific Constraints for Multimedia Presentation Generation. In MMM '01: Proc. 8th Intl. Conf. on Multimedia Modeling, pages 247-266, November 2001. Keyword(s): applications.
  43. Thom Frühwirth and Pascal Brisset. Optimal Placement of Base Stations in Wireless Indoor Telecommunication. In M. J. Maher and J.-F. Puget, editors, CP98l, volume 1520 of LNCS, pages 476-480, October 1998. SV. ISBN: 3-540-65224-8. Keyword(s): applications.

Internal reports

  1. Pierre Deransart and Rafael Oliveira. Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. Technical report 7165, INRIA, Paris -- Rocquenfourt, December 2010. [WWW] Keyword(s): applications.

Miscellaneous

  1. Maryam Bavarian. Design and analysis of biological sequences using Constraint Handling Rules. Master's thesis, Simon Fraser University, Burnaby, Canada, 2006. [WWW] Keyword(s): applications.
  2. Thomas Hecksher, Sune T.B. Nielsen, and Alexis Pigeon. A CHRG model of the ancient Egyptian grammar. Note: Unpublished student project report, Roskilde University, Denmark, December 2002. Keyword(s): applications, linguistics.
  3. Frank Morawietz and Philippe Blache. Parsing Natural Languages with CHR. Note: Unpublished Draft, 2002. Keyword(s): applications, linguistics.

BACK TO INDEX