BACK TO INDEX

Articles in journal, book chapters
2012
  1. 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. [bibtex-entry]


  2. Ruoyu Chen, Lejian Liao, and Zhi Fang. A Virtual Organization Model Based on Semantic Web Services and Its Application in Supply Chain for Agricultural Product. Advances in Control and Communication, 2012. [bibtex-entry]


  3. Gregory J. Duck. SMCHR: Satisfiability Modulo Constraint Handling Rules. CoRR, abs/1210.5307, 2012. [bibtex-entry]


  4. RÉmy HaemmerlÉ. Diagrammatic confluence for constraint handling rules*. Theory Pract. Log. Program., 12(4-5):737-753, September 2012. ISSN: 1471-0684. [WWW] [doi:10.1017/S1471068412000270] Keyword(s): CHR, confluence, decreasing diagrams, modularity of confluence. [bibtex-entry]


  5. Cleyton Rodrigues, Ryan Ribeiro de Azevedo, Fred Freitas, and Eric Dantas. LSVF: a New Search Heuristic to Reduce the Backtracking Calls for Solving Constraint Satisfaction Problem. (IJARAI) International Journal of Advanced Research in Artificial Intelligence, 1(9):20-25, 2012. [bibtex-entry]


  6. Kazunori Ueda and Seiji Ogawa. HyperLMNtal: An Extension of a Hierarchical Graph Rewriting Model. KI - Künstliche Intelligenz, pp 1-10, 2012. ISSN: 0933-1875. [WWW] Keyword(s): related formalisms. [bibtex-entry]


  7. Matje van de Camp and Henning Christiansen. Resolving relative time expressions in Dutch text with Constraint Handling Rules, pages 74-85. University of Orléans, 2012. [bibtex-entry]


  8. M. Alberti, M. Gavanelli, and E. Lamma. Deon+: Abduction and Constraints for Normative Reasoning. In Alexander Artikis, Robert Craven, Nihan Kesim, Babak Sadighi, and Kostas Stathis, editors, Festschrift of Marek Sergot. Springer, 2012. [bibtex-entry]


  9. Stefano Bistarelli, Fabio Martinelli, Francesco Roperti, and Francesco Santini. Negotiation of Weighted RTML Credentials on Mobile Devices. In Marco De Marco, Dov Te'eni, Valentina Albano, and Stefano Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 429-438. Physica-Verlag HD, 2012. ISBN: 978-3-7908-2788-0. [WWW] [doi:10.1007/978-3-7908-2789-7_47] [bibtex-entry]


2011
  1. Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza artificiale, 5(1):71-75, February 2011. ISSN: 1724-8035. [PDF] [doi:10.3233/IA-2011-0006] [Abstract] [bibtex-entry]


  2. A.M. Cheadle, W. Harvey, A.J. Sadler, J. Schimpf, K. Shen, and M.G. Wallace. ECLiPSe: A Tutorial Introduction. 2011. Keyword(s): tutorial. [bibtex-entry]


  3. János Csorba, Zsolt Zombori, and Péter Szeredi. Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language. CoRR, abs/1112.3784, 2011. [bibtex-entry]


  4. Gregory J. Duck, Joxan Jaffar, and Nicolas Koh. A Symbolic Execution Framework with Explicit Heaps and Separation. 2011. [bibtex-entry]


  5. Andrea Triossi. Hardware Execution of Constraint Handling Rules. PhD Thesis, 2011. [bibtex-entry]


  6. Veronica Dahl. Informing Datalog through Language Intelligence - A Personal Perspective. In Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers, editors, Datalog Reloaded, volume 6702 of Lecture Notes in Computer Science, pages 161-180. Springer Berlin / Heidelberg, 2011. ISBN: 978-3-642-24205-2. [WWW] Keyword(s): Computer Science. [bibtex-entry]


  7. Veronica Dahl, Baohua Gu, and Erez Maharask. In Gemma Bel-Enguix and M. Dolores Jimenez-Lopez, editors, Bio-Inspired Models for Natural and Formal Languages, pages 205ff. Cambridge Scholars Publishing, April 2011. [bibtex-entry]


  8. Veronica Dahl and Erez Maharask. In Gemma Bel-Enguix and M. Dolores Jimenez-Lopez, editors, Bio-Inspired Models for Natural and Formal Languages, pages 259ff. Cambridge Scholars Publishing, April 2011. [bibtex-entry]


  9. Rémy Haemmerlé. (Co-)Inductive semantics for Constraint Handling Rules. In John Gallagher and Michael Gelfond, editors, ICLP '11: Proc. 27th Intl. Conf. Logic Programming, volume 11(4–5) of Theory and Practice of Logic Programming, pages 593-609. Cambridge University Press, July 2011. [doi:10.1017/S1471068411000196] Keyword(s): semantics, termination. [Abstract] [bibtex-entry]


  10. Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP '11: Proc. 27th Intl. Conf. Logic Programming, volume 11(4–5) of Theory and Practice of Logic Programming, pages 469-485. Cambridge University Press, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms. [Abstract] [bibtex-entry]


2010
  1. N. Berger. Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation. October 2010. [bibtex-entry]


  2. S. Bistarelli, F. Martinelli, and F. Santini. A formal framework for trust policy negotiation in autonomic systems: abduction with soft constraints. Autonomic and Trusted Computing, pp 268-282, 2010. [bibtex-entry]


  3. V. Dahl, M. Jiménez-López, and O. Perriquet. Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. Trends in Practical Applications of Agents and Multiagent Systems, pp 403-410, 2010. [bibtex-entry]


  4. P. Deransart. Conception de traces et applications (vers une méta-théorie des traces)‘‘document de travail’’8 février 2010. 2010. [bibtex-entry]


  5. M. Falda. Spatial Reasoning with Integrated Qualitative-Metric Fuzzy Constraint Networks. Journal of Universal Computer Science, 16(11):1390-1409, 2010. [bibtex-entry]


  6. M. Gavanelli and F. Rossi. Constraint logic programming. A 25-year perspective on logic programming, pp 64-86, 2010. [bibtex-entry]


  7. G. Jerke, J. Lienig, and J.B. Freuer. Constraint-Driven Design Methodology: A Path to Analog Design Automation. Analog Layout Synthesis: A Survey of Topological Approaches, pp 269, 2010. [bibtex-entry]


  8. Y.S. Liu, H.J. Zhu, M. Zhu, and Y.Q. Xu. Research and implementation on negative disjunction constraints in FLUX. Jisuanji Yingyong Yanjiu, 27(8):2980-2983, 2010. Keyword(s): FLUX. [bibtex-entry]


  9. M. Montali. Proof Procedures. Specification and Verification of Declarative Open Interaction Models, pp 201-227, 2010. [bibtex-entry]


  10. M. Montali, P. Torroni, F. Chesani, P. Mello, M. Alberti, and E. Lamma. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, 102(3):325-361, 2010. [bibtex-entry]


  11. J. Oliveira and E. Carrapatoso. Evaluating the Adaptation of Multimedia Services Using a Constraints-Based Approach. Mobile Multimedia Processing, pp 70-88, 2010. [bibtex-entry]


  12. Frank Raiser and Thom Frühwirth. Analyzing Graph Transformation Systems through Constraint Handling Rules. Theory and Practice of Logic Programming, 2010. Note: To appear. Keyword(s): Graph Transformation Systems, related formalisms. [Abstract] [bibtex-entry]


  13. I. Salomie, V.R. Chifu, I. Harsa, and M. Gherga. Web service composition using fluent calculus. International Journal of Metadata, Semantics and Ontologies, 5(3):238-250, 2010. [bibtex-entry]


  14. Z. Shan, C. Jin-yi, and WAN Jun-peng. QSRM: An Implementation Method for Qualitative Spatial Reasoning with Constraint Handling Rules. Journal of Changshu Institute of Technology, pp 90-94, 2010. [bibtex-entry]


  15. 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. Theory and Practice of Logic Programming, 10(1):1-47, 2010. [PDF] [doi:10.1017/S1471068409990123] Keyword(s): survey. [Abstract] [bibtex-entry]


  16. Peter Van Weert. Efficient Lazy Evaluation of Rule-Based Programs. IEEE Transactions on Knowledge and Data Engineering, 22(11):1521-1534, November 2010. [doi:10.1109/TKDE.2009.208] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  17. D. Vytiniotis, S.P. Jones, T. Schrijvers, and M. Sulzmann. OutsideIn (X) Modular type inference with local assumptions. 2010. [bibtex-entry]


  18. 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 Lecture Notes in Computer Science, pages 243-287. Springer-Verlag, 2010. [doi:10.1007/978-3-642-14335-9_8] Keyword(s): applications, testing. [Abstract] [bibtex-entry]


  19. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A Complete and Terminating Execution Model for Constraint Handling Rules. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP '10: Proc. 26th Intl. Conf. Logic Programming, volume 10(4–6) of Theory and Practice of Logic Programming, pages 597-610. Cambridge University Press, July 2010. [doi:10.1017/S147106841000030X] Keyword(s): semantics, termination. [bibtex-entry]


  20. Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, and Jon Sneyers. Decidability properties for fragments of CHR. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP '10: Proc. 26th Intl. Conf. Logic Programming, volume 10(4–6) of Theory and Practice of Logic Programming, pages 611-626. Cambridge University Press, July 2010. [doi:10.1017/S1471068410000311] Keyword(s): computability. [bibtex-entry]


  21. Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, and Taisuke Sato. CHR(PRISM)-based Probabilistic Logic Learning. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP '10: Proc. 26th Intl. Conf. Logic Programming, volume 10(4–6) of Theory and Practice of Logic Programming, pages 433-447. Cambridge University Press, July 2010. [doi:10.1017/S1471068410000207] Keyword(s): probabilistic CHR, CHRiSM, extensions. [bibtex-entry]


2009
  1. Henning Christiansen. Executable specifications for hypotheses-based reasoning with Prolog and Constraint Handling Rules. J. of Applied Logic, 7(3):341-362, September 2009. [doi:10.1016/j.jal.2008.10.004] Keyword(s): abduction. [bibtex-entry]


  2. Leslie De Koninck. Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities. Theory and Practice of Logic Programming, 9(2):165-212, March 2009. [doi:10.1017/S1471068409003664] Keyword(s): priorities, related formalisms, complexity. [Abstract] [bibtex-entry]


  3. Maurizio Gabbrielli and Maria Chiara Meo. A compositional semantics for CHR. ACM Trans. Comput. Logic, 10(2):1-36, February 2009. [doi:10.1145/1462179.1462183] Keyword(s): semantics. [Abstract] [bibtex-entry]


  4. Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. Theory and Practice of Logic Programming, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism. [Abstract] [bibtex-entry]


  5. Jon Sneyers, Tom Schrijvers, and Bart Demoen. The Computational Power and Complexity of Constraint Handling Rules. ACM Trans. Program. Lang. Syst., 31(2), February 2009. [doi:10.1145/1462166.1462169] Keyword(s): complexity, computability. [bibtex-entry]


  6. Hongwei Zhu and Stuart E. Madnick. Reconciliation of temporal semantic heterogeneity in evolving information systems. Ingénierie des Systèmes d'Information, 14(6):59-74, 2009. [bibtex-entry]


2008
  1. Bernhard K. Aichernig and He Jifeng. Mutation testing in UTP. Formal Aspects of Computing, 21(1–2):33-64, February 2008. [doi:10.1007/s00165-008-0083-6] Keyword(s): testing. [Abstract] [bibtex-entry]


  2. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. Theory and Practice of Logic Programming, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171] [Abstract] [bibtex-entry]


  3. Tom Schrijvers, Bart Demoen, and David S. Warren. TCHR: a framework for tabled CLP. Theory and Practice of Logic Programming, 8(4):491-526, July 2008. [doi:10.1017/S147106840800327X] Keyword(s): implementation. [Abstract] [bibtex-entry]


  4. Martin Sulzmann and Peter J. Stuckey. HM(X) Type Inference is CLP(X) Solving. Journal of Functional Programming, 18(2):251-283, 2008. [doi:10.1017/S0956796807006569] Keyword(s): type systems. [Abstract] [bibtex-entry]


  5. Hongwei Zhu, Stuart E. Madnick, and Michael D. Siegel. Enabling global price comparison through semantic integration of web data. IJEB, 6(4):319-341, 2008. [bibtex-entry]


  6. Henning Christiansen. Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 85-118. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_5] Keyword(s): abduction, probabilistic CHR. [bibtex-entry]


  7. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. A Flexible Search Framework for CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 16-47. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_2] Keyword(s): disjunction, search. [bibtex-entry]


  8. Thom Frühwirth. Welcome to Constraint Handling Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 1-15. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_1] Keyword(s): tutorial. [bibtex-entry]


  9. Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella. A Compositional Semantics for CHR with Propagation Rules. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 119-160. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_6] Keyword(s): semantics. [bibtex-entry]


  10. Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Reasoning in the Refined Operational Semantics of CHR. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 213-244. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_8] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  11. Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 70-84. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_4] Keyword(s): program generation. [bibtex-entry]


  12. Peter Van Weert, Pieter Wuille, Tom Schrijvers, and Bart Demoen. CHR for Imperative Host Languages. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 161-212. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_7] Keyword(s): implementation, Java. [Abstract] [bibtex-entry]


  13. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR∨: An Extended Refined Operational Semantics for CHR∨ Based on Justifications. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules — Current Research Topics, volume 5388 of Lecture Notes in Artificial Intelligence, pages 48-69. Springer-Verlag, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_3] Keyword(s): disjunction, search, semantics. [bibtex-entry]


2007
  1. Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience, 8(1):1-13, March 2007. [Abstract] [bibtex-entry]


  2. Mathieu Boespflug. TaiChi:how to check your types with serenity. The Monad.Reader, 9:17-31, November 2007. Keyword(s): type systems. [bibtex-entry]


  3. Jacques Robin, Jairson Vitorino, and Armin Wolf. Constraint Programming Architectures: Review and a New Proposal. J. Universal Computer Science, 13(6):701-720, 2007. [WWW] [Abstract] [bibtex-entry]


  4. 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. [Abstract] [bibtex-entry]


  5. Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, and Peter J. Stuckey. Understanding functional dependencies via Constraint Handling Rules. J. Functional Prog., 17(1):83-129, 2007. [doi:10.1017/S0956796806006137] Keyword(s): type systems. [bibtex-entry]


2006
  1. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-based Software Tool. Applied Artificial Intelligence, 20(2–4):133-157, 2006. [bibtex-entry]


  2. Maryam Bavarian and Verónica Dahl. Constraint Based Methods for Biological Sequence Analysis. J. Universal Computer Science, 12(11):1500-1520, 2006. [WWW] Keyword(s): applications. [Abstract] [bibtex-entry]


  3. Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, and Corneliu Popeea. A flow-based approach for variant parametric types. SIGPLAN Not., 41(10):273-290, 2006. Keyword(s): type systems. [bibtex-entry]


  4. Tom Schrijvers and Thom Frühwirth. Optimal union-find in Constraint Handling Rules. Theory and Practice of Logic Programming, 6(1–2):213-224, 2006. ISSN: 1471-0684. [doi:10.1017/S1471068405002541] Keyword(s): algorithms. [bibtex-entry]


  5. Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike. Converting Constraint Handling Rules to Equivalent Transformation Rules. JACIII, 10(3):339-348, 2006. Keyword(s): related formalisms. [bibtex-entry]


2005
  1. Peter J. Stuckey and Martin Sulzmann. A theory of overloading. ACM Trans. Program. Lang. Syst., 27(6):1216-1269, 2005. ISSN: 0164-0925. Keyword(s): type systems. [bibtex-entry]


  2. Slim Abdennadher and Christophe Rigotti. Automatic generation of CHR constraint solvers. 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 403-418. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002371] Keyword(s): program generation. [bibtex-entry]


  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano. A CHR-based implementation of known arc-consistency. 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 419-440. Cambridge University Press, July 2005. [doi:10.1017/S147106840500236X] [bibtex-entry]


  4. Sebastian Brand and Krzysztof R. Apt. Schedulers and Redundancy for a Class of Constraint Propagation Rules. 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 441-465. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002401] [bibtex-entry]


  5. 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. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002395] Keyword(s): applications, linguistics. [bibtex-entry]


  6. Christian Holzbaur, Marìa Garcìa de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. 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 503-531. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation. [bibtex-entry]


  7. Michael Thielscher. FLUX: A Logic Programming Method for Reasoning Agents. 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 533-565. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002358] Keyword(s): FLUX. [bibtex-entry]


  8. Armin Wolf. Intelligent search strategies based on adaptive Constraint Handling Rules. 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 567-594. Cambridge University Press, July 2005. [doi:10.1017/S1471068405002383] [bibtex-entry]


2004
  1. Slim Abdennadher and Christophe Rigotti. Automatic generation of rule-based constraint solvers over finite domains. ACM Trans. Comput. Logic, 5(2):177-205, 2004. ISSN: 1529-3785. Keyword(s): program generation. [bibtex-entry]


  2. Stefano Bistarelli, Thom Frühwirth, Michael Marte, and Francesca Rossi. Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence: Special Issue on Preferences in AI and CP, 20(2):287-307, May 2004. [bibtex-entry]


  3. Antonio J. Fernández and Patricia M. Hill. An interval constraint system for lattice domains. ACM Trans. Program. Lang. Syst., 26(1):1-46, 2004. ISSN: 0164-0925. [doi:10.1145/963778.963779] [bibtex-entry]


  4. 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. [Abstract] [bibtex-entry]


  5. 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. [bibtex-entry]


2003
  1. Steve Barker and Peter J. Stuckey. Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur., 6(4):501-546, 2003. ISSN: 1094-9224. [doi:10.1145/950191.950194] [bibtex-entry]


  2. Lledó Museros Cabedo and Marìa Teresa Escrig. Modeling Motion by the Integration of Topology and Time. J. Universal Computer Science, 9(9):1096-1122, 2003. [WWW] [Abstract] [bibtex-entry]


  3. 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. [bibtex-entry]


2001
  1. Krzysztof R. Apt and Eric Monfroy. Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming, 1(6):713-750, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401000072] [bibtex-entry]


  2. Thom Frühwirth and Slim Abdennadher. The Munich Rent Advisor: A success for logic programming on the Internet. Theory and Practice of Logic Programming, 1(3):303-319, 2001. ISSN: 1471-0684. [doi:10.1017/S1471068401001181] Keyword(s): applications. [bibtex-entry]


2000
  1. Marìa Teresa Escrig and Francisco Toledo. Autonomous robot navigation using human spatial concepts. Intl. Journal on Intelligent Systems, 15(3):165-196, February 2000. [Abstract] [bibtex-entry]


  2. 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. [bibtex-entry]


  3. Slim Abdennadher and Michael Marte. University Course Timetabling Using Constraint Handling Rules.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 311-325. Taylor & Francis, April 2000. [doi:10.1080/088395100117016] [bibtex-entry]


  4. Henning Christiansen and Davide Martinenghi. Symbolic constraints for meta-logic programming. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 345-367. Taylor & Francis, April 2000. [doi:10.1080/088395100117034] [bibtex-entry]


  5. Christian Holzbaur and Thom Frühwirth. A Prolog Constraint Handling Rules Compiler and Runtime System.. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 369-388. Taylor & Francis, April 2000. [doi:10.1080/088395100117043] Keyword(s): implementation. [bibtex-entry]


  6. Christian Holzbaur and Thom Frühwirth. Selected recent project descriptions involving CHR. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 417-420. Taylor & Francis, April 2000. [doi:10.1080/088395100117061] [bibtex-entry]


  7. Bernd Meyer. A Constraint-Based Framework for Diagrammatic Reasoning. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 327-344. Taylor & Francis, April 2000. [doi:10.1080/088395100117025] [bibtex-entry]


  8. Armin Wolf, Thomas Gruenhagen, and Ulrich Geske. On Incremental Adaptation of CHR Derivations. In C. Holzbaur and Th. Frühwirth, editors, Special Issue on Constraint Handling Rules, volume 14(4) of Journal of Applied Artificial Intelligence, pages 389-416. Taylor & Francis, April 2000. [doi:10.1080/088395100117052] [bibtex-entry]


1999
  1. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. Confluence and Semantics of Constraint Simplification Rules. Constraints, 4(2):133-165, 1999. ISSN: 1383-7133. [doi:10.1023/A:1009842826135] Keyword(s): confluence, semantics. [bibtex-entry]


  2. Mireille Ducassé. Opium: an extendable trace analyzer for Prolog. J. Logic Programming, 39(1–3):177-223, 1999. [bibtex-entry]


1998
  1. Marìa Teresa Escrig and Francisco Toledo. A Framework Based on CLP Extended with CHRs for Reasoning with Qualitative Orientation and Positional Information. J. Visual Languages and Computing, 9(1):81-101, 1998. [bibtex-entry]


  2. Thom Frühwirth. Theory and Practice of Constraint Handling Rules. J. Logic Programming, Special Issue on Constraint Logic Programming, 37(1–3):95-138, 1998. [POSTSCRIPT] [doi:10.1016/S0743-1066(98)10005-5] Keyword(s): survey. [bibtex-entry]


1996
  1. Thom Frühwirth, Pascal Brisset, and Jörq-Rainer Molwitz. Planning Cordless Business Communication Systems. IEEE Intelligent Systems, 11(1):50-55, 1996. [doi:10.1109/64.482958] [Abstract] [bibtex-entry]


1995
  1. Jonathan Lever, Mark Wallace, and Barry Richards. Constraint Logic Programming for Scheduling and Planning. BT Technical Journal, 13(1), 1995. [bibtex-entry]


  2. Thom Frühwirth and Philipp Hanschke. Terminological Reasoning with Constraint Handling Rules. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 19. MIT Press, 1995. [bibtex-entry]



BACK TO INDEX

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

Last modified: Fri Mar 22 10:46:42 2013
This bibliography was compiled by the following authors: Please send BibTEX entries of missing CHR-related publications to Jon Sneyers.

This document was translated from BibTEX by bibtex2html