BACK TO INDEX

Publications of Verónica Dahl
Books and proceedings
  1. V. Dahl and I. Niemelä, editors. ICLP '07: Proc. 23rd Intl. Conf. Logic Programming, volume 4670 of Lecture Notes in Computer Science, September 2007. Springer-Verlag. [doi:10.1007/978-3-540-74610-2] [bibtex-entry]


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


  2. 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]


  3. 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]


  4. 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]


  5. 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]


  6. 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]


Conference articles
  1. Veronica Dahl, Sinan Egilmez, Joao Martins, and Emilio Miralles. On Failure-Driven Constraint-Based Parsing through CHRG. In Henning Christiansen and Jon Sneyers, editors, CHR '13: Proc. 10th Workshop on Constraint Handling Rules, pages 13-24, July 2013. K.U.Leuven, Department of Computer Science, Technical report CW 641. [WWW] [PDF] Keyword(s): linguistics, CHR 2013, CHR 2013, CHR 2013, CHR 2013. [bibtex-entry]


  2. Veronica Dahl, Bradley Coleman, J. Emilio Miralles, and Erez Maharshak. CHR for Social Responsibility. In Agostino Dovier and Vìtor Santos Costa, editors, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12), volume 17 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pages 370-380, 2012. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-43-9. ISSN: 1868-8969. [WWW] [doi:http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.370] [Annotation] [bibtex-entry]


  3. Veronica Dahl and Juan Emilio Miralles. Womb Grammars: Constraint Solving for Grammar Induction. In Jon Sneyers and Thom Frühwirth, editors, CHR '12: Proc. 9th Workshop on Constraint Handling Rules, pages 32-40, September 2012. K.U.Leuven, Department of Computer Science, Technical report CW 624. [WWW] [PDF] Keyword(s): linguistics, CHR 2012, CHR 2012, CHR 2012, CHR 2012. [Abstract] [bibtex-entry]


  4. Veronica Dahl, Emilio Miralles, and Leonor Becerra-Bonache. On Language Acquisition through Womb Grammars. In Proceedings of the 7th International Workshop on Constraint Solving and Language Processing, France, pages 99-105, 2012. [WWW] [PDF] [Abstract] [bibtex-entry]


  5. Verónica Dahl. CHR for Spoken and other Biological Languages. In Jon Sneyers, editor, CHR '11: Proc. 8th Workshop on Constraint Handling Rules, pages 4-18, September 2011. GUC, Technical report. Note: Invited talk. [PDF] Keyword(s): abduction, linguistics, applications, CHR 2011, CHR 2011. [Abstract] [bibtex-entry]


  6. Evgeny Skvortsov, Nima Kaviani, and Veronica Dahl. Chemical Signaling as a Useful Metafor for Resource Management. In Proc. IWANN 2011 (International Work Conference on Artificial Neural Networks), 2011. [bibtex-entry]


  7. Evgeny Skvortsov, Nima Kaviani, and Veronica 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] [bibtex-entry]


  8. Verónica Dahl, M. Dolores Jiménez-López, and Olivier Perriquet. Poetic RNA: Adapting RNA Design Methods to the Analysis of Poetry. In Proc. 8th Intl. Conf. Practical Applications of Agents and Multiagent Systems, volume 71 of Advances in Soft Computing, pages 403-410, April 2010. Springer-Verlag. [doi:10.1007/978-3-642-12433-4_48] Keyword(s): applications, linguistics. [Abstract] [bibtex-entry]


  9. Verónica Dahl, Baohua Gu, and Erez Maharshak. A Hyprolog Parsing Methodology for Property Grammars. In IWANN '09: Proc. 10th Intl. Workshop on Artif. Neural Networks, volume 5517 of Lecture Notes in Computer Science, pages 480-487, 2009. Springer-Verlag. [doi:10.1007/978-3-642-02478-8_60] Keyword(s): linguistics. [Abstract] [bibtex-entry]


  10. Verónica Dahl and Erez Maharshak. DNA Replication as a Model for Computational Linguistics. In IWINAC '09: Proc. Third Intl. Work-Conf. on the Interplay Between Natural and Artificial Computation, Lecture Notes in Computer Science, pages 346-355, 2009. Springer-Verlag. [doi:10.1007/978-3-642-02264-7_36] Keyword(s): linguistics. [Abstract] [bibtex-entry]


  11. Verónica Dahl and Baohua Gu. A CHRG Analysis of ambiguity in Biological Texts. In CSLP '07: Proc. 4th Intl. Workshop on Constraints and Language Processing, August 2007. Note: Extended Abstract. Keyword(s): linguistics, applications. [bibtex-entry]


  12. Verónica Dahl and Baohua Gu. Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In S. Etalle and M. Truszczynski, editors, ICLP '06: Proc. 22nd Intl. Conf. Logic Programming, volume 4079 of Lecture Notes in Computer Science, pages 442-443, August 2006. Springer-Verlag. Note: Poster Paper. [doi:10.1007/11799573_40] Keyword(s): applications, linguistics. [Abstract] [bibtex-entry]


  13. Henning Christiansen and Verónica Dahl. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. In M. Gabbrielli and G. Gupta, editors, ICLP '05: Proc. 21st Intl. Conf. Logic Programming, volume 3668 of Lecture Notes in Computer Science, pages 159-173, October 2005. Springer-Verlag. Keyword(s): abduction. [bibtex-entry]


  14. Henning Christiansen and Verónica Dahl. Meaning in Context. In A. Dey, B. Kokinov, and R. Turner, editors, CONTEXT '05: Proc. 4th Intl. and Interdisciplinary Conf. Modeling and Using Context, volume 3554 of Lecture Notes in Artificial Intelligence, pages 97-111, 2005. Springer-Verlag. [bibtex-entry]


  15. Verónica Dahl and Philippe Blache. Extracting Selected Phrases through Constraint Satisfaction. In Proc. 2nd Intl. Workshop on Constraint Solving and Language Processing, October 2005. [bibtex-entry]


  16. Dulce Aguilar-Solis and Verónica Dahl. Coordination Revisited – A Constraint Handling Rule Approach. In IBERAMIA '04: Proc. 9th Ibero-American Conf. on AI, volume 3315 of Lecture Notes in Computer Science, pages 315-324, November 2004. Keyword(s): applications. [bibtex-entry]


  17. Verónica Dahl. An Abductive Treatment of Long Distance Dependencies in CHR. In CSLP '04: Proc. First Intl. Workshop on Constraint Solving and Language Processing, volume 3438 of Lecture Notes in Computer Science, pages 17-31, 2004. Springer-Verlag. Note: Invited Paper. Keyword(s): abduction. [bibtex-entry]


  18. Verónica Dahl and Kimberly Voll. Concept Formation Rules: An Executable Cognitive Model of Knowledge Construction. In NLUCS '04: Proc. First Intl. Workshop on Natural Language Understanding and Cognitive Sciences, April 2004. [bibtex-entry]


  19. Gabriel G. Bès and Verónica Dahl. Balanced parentheses in NL texts: a useful cue in the syntax/semantics interface. In Proc. Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface, October 2003. Note: Poster Paper. Keyword(s): applications, linguistics. [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: Mon Dec 16 13:19:47 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