Publications

about 'CLP'

Articles in journal, book chapters

  1. Fabian Büttner and Jordi Cabot. Lightweight string reasoning in model finding. Software & Systems Modeling, 14(1):413-427, 2015. ISSN: 1619-1374. [WWW] [doi:10.1007/s10270-013-0332-x]
  2. Elvira Albert, Marìa Garcìa de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, and Peter J. Stuckey. A CLP heap solver for test case generation. In Evelina Lamma and Terrance Swift, editors, ICLP13l, volume 13(4--5) of TPLP, pages 721-735. CUP, August 2013. [PDF]
  3. 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.
  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.
  5. 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.

Conference articles

  1. Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, PPDP '14, New York, NY, USA, pages 213-224, 2014. ACM. ISBN: 978-1-4503-2947-7. [WWW] [doi:10.1145/2643135.2643144] Keyword(s): CHR, CLP, backward & forward chaining, confluence.
  2. 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.
  3. 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.
  4. Emmanuel Coquery and François Fages. A Type System for CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 19-33, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, type systems, CHR 2005, CHR 2005.
  5. Emmanuel Coquery and François Fages. TCLP: A type checker for CLP($\mathcal{X}$). In F. Mesnard and A. Serebrenik, editors, WLPE03, KULCW, Technical report CW 371, pages 17-30, 2003. Keyword(s): type systems.
  6. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, and Paolo Torroni. Interpreting Abduction in CLP. In F. Buccafurri, editor, AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, pages 25-35, September 2003. Keyword(s): abduction.
  7. Slim Abdennadher and Henning Christiansen. An Experimental CLP Platform for Integrity Constraints and Abduction. In FQAS '00: Proc. 4th Intl. Conf. Flexible Query Answering Systems, pages 141-152, October 2000. SV. Keyword(s): abduction.

BACK TO INDEX