The CONTROL project: Publications

The following list includes research papers and edited works made with reference to the CONTROL project and with at least one project group member as author.

Authors abbreviated: Philippe Blache (PB), Henning Christiansen (HC), Ver�nica Dahl (VD), Christian Theil Have (CTH), Knut Tveitane (KT), Christina Mackeprang Dahmcke (CMD), Maria Rekouts (MR), Davide Martinenghi (DM), Baohua Gu (BG), Juan Fern�ndez Ortiz (JFO), J�rgen Villadsen (JV), John P. Gallagher (JPG), Kim S. Henriksen (KSH), Gourinath Banda (GB).

References to papers in CSLP proceedings abbreviated.

Research papers

• HC+CTH+KT. From use cases to UML class diagrams using logic grammars and constraints. In Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N., & Nikolov, N. (red.): RANLP, International Conference: Recent Advances in Natural Language Processing: Proceedings (s. 128-132). Shoumen, Bulgaria: INCOMA Ltd..
• HC+CTH+KT. Reasoning about use cases using logic grammars and constraints. CSLP07
• PB: "Model Theoretic Syntax is not Generative Enumerative Syntax with constraints:" under what condition? CSLP07
• VD+BG, A CHRG Analysis of ambiguity in Biological Texts. CSLP07
• HC+CMD. A machine learning approach to test data generation: A case study in evaluation of gene finders. Proc. International Conference on Machine Learning and Data Mining MLDM 2007. Lecture Notes in Artificial Intelligence, vol. 4571, pp. 742-755. Springer, 2007.
• HC+MR. Integrity checking and maintenance with active rules in XML databases. In Proc. BNCODwebim, BNCOD Workshop on Web Information management, pp. 59-67. IEEE Press, 2007.
• HC, On the Implementation of Global Abduction. Seventh Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII), May 8,9 2006, Future University, Hakodate, Japan. Revised Selected and Invited Papers. pp. 226-245. Lecture Notes in Artificial Intelligence Science 4371.
• JFO+JV. Natural Language Processing Using Lexical and Logical Combinators. Springer Lecture Notes in Computer Science 4079, pp. 444-446. 2006.
• HC+DM, Incremental integrity checking: limitations and possibilities. Proc. LPAR 2005, 12th international conference on Logic for Programming and Artificial Intelligence and Reasoning. pp. 712-727, Lecture Notes in Computer Science 3835.
• VD+PB, Extracting Selected Phrases through Constraint Satisfaction , CSLP05
• HC+VD, HYPROLOG: A New Logic Programming Language with Assumptions and Abduction, In: Proc. International Conference on Logic Programming, ICLP 2005, pp. 159-173, 2005. Lecture Notes in Computer Science 3668.
• HC+VD, Meaning in Context, In: Proc. CONTEXT 2005, the Fourth International and Interdisciplinary Conference on Modeling and Using Context, Paris, France, 5-8 July 2005, Lecture Notes in Artificial Intelligence 3554. pp. 97-111.
• HC, Reasoning about passive declarations in CHR. Proc. CHR 2005, Second Workshop on Constraint Handling Rules, 2005.
• HC. CHR grammars. Theory and Practice of Logic Programming, vol. 4+5, special issue on Constraint Handling Rules, pp. 467-501, 2005.
• JPG+KSH+GB, Techniques for Scaling Up Analyses Based on Pre-interpretations. Proc. ICLP 2005, Lecture Notes in Computer Science 3668, pp. 280-296, 2006.
• HC, Experiences and directions for Abduction and Induction using Constraint Handling Rules. Workshop on Integration of Abduction and Induction in AI, 2005.
• PB, Syntactic Structures as Constraint Graphs, CSLP04.
• JV: A Paraconsistent Higher Order Logic. Springer Lecture Notes in Computer Science 3249, pp. 38-51, 2004.
• JV: Paraconsistent Assertions. Springer Lecture Notes in Computer Science 3187, pp. 99-113, 2004.
• VD, An Abductive Treatment of Long Distance Dependencies in CHR. CSLP04.
• JV, Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. CSLP04 (short paper in prelim. proc.)
• HC+VD, Assumptions and Abduction in Prolog, Proceedings of WLPE 2004: 14th Workshop on Logic Programming Environments and MultiCPL 2004: Third Workshop on Multiparadigm Constraint Programming Languages Workshop Proceedings September 2004, Saint-Malo, France. pp. 87-101.
• HC, CHR, Grammars with multiple constraint stores. First Workshop on Constraint Handling Rules: Selected Contributions, 2004, University of Ulm, Germany. Ulmer Informatik-Berichte 2004-01, ISSN 0939-5091.

Edited works

• HC+JV (eds.) Proceedings of CSLP 2007, 4th International Workshop on Constraints and Language Processing. Computer Science Research Report 113, Roskilde University, 2007.
• PB (ed.), Proceedings of the 3rd Workshop on Constraints and Language Processing (CSLP-06), Association for Computational Linguistics. Stroudsburg, PA, USA.
• HC+JV (eds.) Proceedings of CSLP, 2nd International Workshop on Constraint Solving and Language Processing. Datalogiske skrifter 104, Roskilde University, 2005.
• HC+PRS+JV, (eds.) Proceedings of CSLP, 1st International Workshop on Constraint Solving and Language Processing. Selected and revised papers. Lecture Notes in Artificial Intelligence 3438 (2005)
• HC+PRS+JV, Constraint Solving and Language processing, Workshop proceedings. Datalogiske skrifter 99, Roskilde University, 2004. [preliminary version of the above]

2016-04-25