Publications

of year 2011

Books and proceedings

  1. Thom Frühwirth and Frank Raiser, editors. Constraint Handling Rules: Compilation, Execution, and Analysis. March 2011. ISBN: 978-3-83-911591-6. Keyword(s): implementation, complexity, optimizing compilation, parallelism, priorities.
  2. John Gallagher and Michael Gelfond, editors. ICLP11l, volume 11(4--5) of TPLP. CUP, July 2011.
  3. John Gallagher and Michael Gelfond, editors. Technical Communications of the 27th Intl. Conf. on Logic Programming, volume 11 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, July 2011. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
  4. Michael Hanus, editor. PPDP11l, July 2011. ACM.
  5. Jon Sneyers, editor. CHR11l, September 2011. GUC, Technical report. [PDF] Keyword(s): CHR 2011.
  6. German Vidal, editor. LOPSTR11l, LNCS, 2011.
  7. German Vidal, editor. LOPSTR11prel, 2011.

Thesis

  1. Edmund S.L. Lam. Parallel execution of Constraint Handling Rules -- Theory, Implementation and Application. PhD thesis, School of Computing, Department of Computing Science, National University of Singapore, 2011. Keyword(s): parallelism, implementation.

Articles in journal, book chapters

  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]
  2. A.M. Cheadle, W. Harvey, A.J. Sadler, J. Schimpf, K. Shen, and M.G. Wallace. ECL$^i$PS$^e$: A Tutorial Introduction. 2011. Keyword(s): tutorial.
  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.
  4. Gregory J. Duck, Joxan Jaffar, and Nicolas Koh. A Symbolic Execution Framework with Explicit Heaps and Separation. 2011.
  5. Andrea Triossi. Hardware Execution of Constraint Handling Rules. PhD Thesis, 2011.
  6. Verónica 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): linguistics.
  7. Verónica 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.
  8. Verónica 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.
  9. Rémy Haemmerlé. (Co-)Inductive semantics for Constraint Handling Rules. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 593-609. CUP, July 2011. [doi:10.1017/S1471068411000196] Keyword(s): semantics, termination.
  10. Rémy Haemmerlé. Observational equivalences for linear logic concurrent constraint languages. In John Gallagher and Michael Gelfond, editors, ICLP11l, volume 11(4--5) of TPLP, pages 469-485. CUP, July 2011. [doi:10.1017/S1471068411000123] Keyword(s): linear logic, semantics, confluence, related formalisms.

Conference articles

  1. Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based Implementation of the SCIFF Abductive System. In Proc. 26th CILC: 26-esimo Convegno Italiano di Logica Computazionale, August-September 2011.
  2. J. Cheney. Satisfiability algorithms for conjunctive queries over trees. In Proceedings of the 14th International Conference on Database Theory, pages 150-161, 2011. ACM.
  3. 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.
  4. 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.
  5. 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.
  6. Krishna S. R. Dubba, Mehul Bhatt, Frank Dylla, David C. Hogg, and Anthony G. Cohn. Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models. In Stephen Muggleton, Alireza Tamaddoni-Nezhad, and Francesca A. Lisi, editors, ILP, volume 7207 of Lecture Notes in Computer Science, pages 113-129, 2011. Springer. ISBN: 978-3-642-31950-1.
  7. Armando Gonçalves, Marcos Aurélio Almeida da Silva, Pierre Deransart, and Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. In Jon Sneyers, editor, CHR11l, pages 32-47, September 2011. GUC, Technical report. [PDF] Keyword(s): debugging, CHR 2011, CHR 2011.
  8. R. Haemmerlé, P. Lopez-Garcia, and M.V. Hermenegildo. CLP Projection for Constraint Handling Rules. In Michael Hanus, editor, PPDP11l, pages 137-148, July 2011. ACM. [doi:10.1145/2003476.2003496] Keyword(s): semantics, related formalisms, termination, confluence.
  9. 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.
  10. 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.
  11. Ester Mart'inez-Martìn and M. Teresa Escrig. A General Qualitative Spatio-Temporal Model Based on Intervals. In QR2011: 25th International Workshop on Qualitative Reasoning, 2011.
  12. Thierry Martinez. Angelic CHR. In Jon Sneyers, editor, CHR11l, pages 19-31, September 2011. GUC, Technical report. [PDF] Keyword(s): semantics, CHR 2011, CHR 2011.
  13. Jose F. Morales, Manuel Hermenegildo, and Rémy Haemmerlé. Modular Extensions for Modular (Logic) Languages. In German Vidal, editor, LOPSTR11l, LNCS, 2011. Keyword(s): extensions.
  14. Paolo Pilozzi and Danny De Schreye. Improved termination analysis of CHR using self-sustainability analysis. In German Vidal, editor, LOPSTR11l, LNCS, 2011. Keyword(s): termination.
  15. Evgeny Skvortsov, Nima Kaviani, and Verónica Dahl. Chemical Signaling as a Useful Metafor for Resource Management. In Proc. IWANN 2011 (International Work Conference on Artificial Neural Networks), 2011.
  16. Evgeny Skvortsov, Nima Kaviani, and Verónica Dahl. Chemical signaling as a useful metaphor for resource management. In Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I, IWANN'11, Berlin, Heidelberg, pages 449-456, 2011. Springer-Verlag. ISBN: 978-3-642-21500-1. [WWW]
  17. Jon Sneyers and Danny De Schreye. Probabilistic Termination of CHRiSM Programs. In German Vidal, editor, LOPSTR11prel, 2011. Keyword(s): termination, CHRiSM, probabilistic CHR.
  18. Andrea Triossi. Boosting CHR through Hardware Acceleration. In Jon Sneyers, editor, CHR11l, pages 1-3, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): implementation, parallelism, CHR 2011, CHR 2011.
  19. Zsolt Zombori, János Csorba, and Péter Szeredi. Static Type Checking for the Q Functional Language in Prolog. In John Gallagher and Michael Gelfond, editors, Technical Communications of the 27th Intl. Conf. on Logic Programming, volume 11 of Leibniz Intl. Proc. in Informatics (LIPIcs), Dagstuhl, Germany, pages 62-72, July 2011. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. Keyword(s): type systems.

Miscellaneous

  1. Gregory M. Flanagan. Conceptual Requirement Validation for Architecture Design Systems. Master's thesis, California Polytechnic State University, San Luis Obispo, September 2011.
  2. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011.
  3. T.W.D. Jongstra. Inequality Reasoning for Qualitative Models using Constraint Handling Rules. Bachelor thesis, University of Amsterdam, December 2011.

BACK TO INDEX