Publications

about 'disjunction'

Thesis

  1. Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): priorities, complexity, related formalisms.

Articles in journal, book chapters

  1. 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.
  2. Khalil Djelloul, Dao Thi-Bich-Hanh, and Thom Frühwirth. Theory of finite or infinite trees revisited. TPLP, 8(4):431-489, 2008. [doi:10.1017/S1471068407003171]
  3. 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 LNAI, pages 16-47. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_2] Keyword(s): disjunction, search.
  4. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^\vee$: An Extended Refined Operational Semantics for CHR$^\vee$ Based on Justifications. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 48-69. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_3] Keyword(s): disjunction, search, semantics.

Conference articles

  1. 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.
  2. Marcos Aurélio de Almeida Silva and Jacques Robin. Extending CHR with objects under a variety of inheritance and world-closure assumptions. In F. Raiser and J. Sneyers, editors, CHR09l, pages 3-17, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, extensions, CHR 2009, CHR 2009.
  3. Marcos Aurélio, François Fages, and Jacques Robin. Default Reasoning in CHR$^\vee$. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 111-126, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, disjunction, CHR 2008, CHR 2008.
  4. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007.
  5. Armin Wolf, Jacques Robin, and Jairson Vitorino. Adaptive CHR meets CHR$^{\lor}$: An Extended Refined Operational Semantics for CHR$^{\lor}$ Based On Justifications. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 1-15, September 2007. [PDF] Keyword(s): semantics, disjunction, CHR 2007, CHR 2007, CHR 2007.
  6. Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Search strategies in CHR(Prolog). In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 109-124, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, disjunction, CHR 2006, CHR 2006.
  7. Luis Menezes, Jairson Vitorino, and Marcos Aurelio. A High Performance CHR${}^\lor$ Execution Engine. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 35-45, 2005. KULCW, Technical report CW 421. [PDF] Keyword(s): CHR 2005, implementation, disjunction, CHR 2005, CHR 2005.
  8. Slim Abdennadher. A Language for Experimenting with Declarative Paradigms. In T. Frühwirth and others, editors, RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, September 2000. Keyword(s): disjunction.
  9. Slim Abdennadher and Heribert Schütz. CHR$^\vee$, A Flexible Query Language. In T. Andreasen, H. Christiansen, and H.L. Larsen, editors, FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems, volume 1495 of LNAI, pages 1-14, May 1998. SV. Keyword(s): disjunction.

Miscellaneous

  1. Marcos Aurélio de Almeida Silva. Constraint Handling Object-oriented Rules with Disjunction (CHORD). Master's thesis, Federal University of Pernambuco, Recife, Brazil, February 2009. [WWW] Keyword(s): disjunction, search.

BACK TO INDEX