Publications

of Verónica Dahl

Books and proceedings

  1. Philippe Blache, Henning Christiansen, and Verónica Dahl. Constraints and Language. Cambridge Scholars Publishing, 2014.
  2. V. Dahl and I. Niemelä, editors. ICLP07l, volume 4670 of LNCS, September 2007. SV. [doi:10.1007/978-3-540-74610-2]

Articles in journal, book chapters

  1. Philipp Körner, Michael Leuschel, Joăo Barbosa, Větor Santos Costa, Manuel V. Hermenegildo, Jose Morales, Jan Wielemaker, Giovanni Ciatto, Verónica Dahl, Daniel Diaz, and Salvador Abreu. 50 Years of Prolog and Beyond. arXiv preprint arXiv:2201.10816, 2022. Keyword(s): Prolog, logic programming systems, portability, rationale, evolution, vision.
  2. Verónica Dahl, Sergio Tessaris, and Mariano De Sousa Bispo. Parsing as semantically guided constraint solving: the role of ontologies. Annals of Mathematics and Artificial Intelligence, 82(1-3):161-185, 2018.
  3. Leonor Becerra-Bonache, Verónica Dahl, and M. Dolores Jiménez-López. Womb Grammars as a Bio-inspired Model for Grammar Induction, pages 79-86. Springer International Publishing, Cham, 2014. ISBN: 978-3-319-07476-4. [WWW] [doi:10.1007/978-3-319-07476-4_10]
  4. 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.
  5. 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.
  6. 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.
  7. Verónica 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.
  8. Maryam Bavarian and Verónica Dahl. Constraint Based Methods for Biological Sequence Analysis. j-jucs, 12(11):1500-1520, 2006. [WWW] Keyword(s): applications.
  9. 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.

Conference articles

  1. Verónica Dahl, Sergio Tessaris, and Thom Frühwirth. Imperfect Querying through Womb Grammars plus Ontologies.. In Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo L. FermĂ©, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, and Daniele Porello, editors, JOWO@IJCAI, volume 1517 of CEUR Workshop Proceedings, 2015. CEUR-WS.org. [WWW] Keyword(s): dblp.
  2. Verónica Dahl, Sinan Egilmez, Joao Martins, and Emilio Miralles. On Failure-Driven Constraint-Based Parsing through CHRG. In Henning Christiansen and Jon Sneyers, editors, CHR13l, pages 13-24, July 2013. KULCW, Technical report CW 641. [WWW] [PDF] Keyword(s): linguistics, CHR 2013, CHR 2013.
  3. Verónica 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]
  4. Verónica Dahl and Juan Emilio Miralles. Womb Grammars: Constraint Solving for Grammar Induction. In Jon Sneyers and Thom Frühwirth, editors, CHR12l, pages 32-40, September 2012. KULCW, Technical report CW 624. [WWW] [PDF] Keyword(s): linguistics, CHR 2012, CHR 2012.
  5. Verónica 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]
  6. 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.
  7. 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.
  8. 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]
  9. 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. SV. [doi:10.1007/978-3-642-12433-4_48] Keyword(s): applications, linguistics.
  10. 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 LNCS, pages 480-487, 2009. SV. [doi:10.1007/978-3-642-02478-8_60] Keyword(s): linguistics.
  11. 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, LNCS, pages 346-355, 2009. SV. [doi:10.1007/978-3-642-02264-7_36] Keyword(s): linguistics.
  12. 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.
  13. Verónica Dahl and Baohua Gu. Semantic Property Grammars for Knowledge Extraction from Biomedical Text. In S. Etalle and M. Truszczynski, editors, ICLP06l, volume 4079 of LNCS, pages 442-443, August 2006. SV. Note: Poster Paper. [doi:10.1007/11799573_40] Keyword(s): applications, linguistics.
  14. Henning Christiansen and Verónica Dahl. HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. In M. Gabbrielli and G. Gupta, editors, ICLP05l, volume 3668 of LNCS, pages 159-173, October 2005. SV. Keyword(s): abduction.
  15. 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 LNAI, pages 97-111, 2005. SV.
  16. 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.
  17. 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 LNCS, pages 315-324, November 2004. Keyword(s): applications.
  18. 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 LNCS, pages 17-31, 2004. SV. Note: Invited Paper. Keyword(s): abduction.
  19. 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.
  20. 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.

BACK TO INDEX