remu-publications.bib

@inproceedings{pkolachi2016gfud,
  title = {{From Abstract Syntax to Universal Dependencies}},
  author = {Kolachina, Prasanth and Ranta, Aarne},
  booktitle = {Linguistic Issues in Language Technology (LiLT)},
  month = {August},
  year = {2016},
  publisher = {CSLI, Stanford},
  volume = 13,
  number = 3,
  url = {http://csli-lilt.stanford.edu/ojs/index.php/LiLT/article/download/71/73}
}
@inproceedings{pkolachi2017oov,
  title = {{Replacing OOV Words For Dependency Parsing With Distributional Semantics}},
  author = {Kolachina, Prasanth and Riedl, Martin and Biemann, Chris},
  booktitle = {Proceedings of the 21st Nordic Conference on Computational Linguistics (NoDaLiDa)},
  month = {May},
  year = {2017},
  publisher = {Link{\"o}ping University Electronic Press}
}
@inproceedings{ranta2017ud2gf,
  title = {{From Universal Dependencies to Abstract Syntax}},
  author = {Ranta, Aarne and Kolachina, Prasanth},
  booktitle = {Proceedings of the 1st Workshop on Universal Dependencies},
  month = {May},
  year = {2017},
  publisher = {Link{\"o}ping University Electronic Press}
}
@inproceedings{ranta2017uddemo,
  title = {{Cross-Lingual Syntax:  Relating Grammatical Framework with Universal Dependencies}},
  author = {Ranta, Aarne and Kolachina, Prasanth and Hallgren, Thomas},
  booktitle = {Proceedings of the 21st Nordic Conference on Computational Linguistics (NoDaLiDa), System Demos},
  month = {May},
  year = {2017},
  publisher = {Link{\"o}ping University Electronic Press}
}
@inproceedings{Schneider16SEP,
  author = {Gerardo Schneider},
  title = {{On the Specification and Enforcement of Privacy-Preserving Contractual Agreements}},
  booktitle = {7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'16) - Track: Runtime Verification and Enforcement, the (industrial) application perspective},
  optpages = {},
  year = {2016},
  opteditor = {Tiziana Margaria and Bernhard Steffen},
  optvolume = {},
  optnumber = {},
  series = {LNCS},
  optaddress = {},
  optmonth = {5-14 October},
  optorganization = {},
  publisher = {Springer},
  note = {To appear},
  abstract = {We are here concerned with the enforcement at runtime of contractual agreements (e.g., Terms of Service) that respect users' privacy policies. We do not provide a technical solution to the problem but rather give an overview of a framework for such an enforcement, and briefly discuss related work and ideas on how to address part of the framework.},
  doi = {},
  e-issn = {},
  isbn = {},
  issn = {},
  pdf = {}
}
@inproceedings{PSS15cpc,
  abstract = {Defining and characterising conditional permissions has never been easy. Part of the problem, we believe, comes from the fact that there is not one but a whole family of possible deontic operators, all of them distinct and reasonable, that can be labelled as conditional permissions. In this article, rather than disputing the correct interpretation, we revisit a number of different interpretations the term has received in the literature, and propose appropriate formalisations for these interpretations within the context of contract automata.},
  author = {Gordon J.~Pace and Fernando Schapachnik and Gerardo Schneider},
  booktitle = {The 28th International Conference on Legal Knowledge and Information Systems (JURIX'15)},
  doi = {10.3233/978-1-61499-609-5-61},
  e-issn = {1879-8314},
  isbn = {978-1-61499-608-8},
  issn = {0922-6389},
  optaddress = {Braga, Portugal},
  optmonth = {December 10-11},
  pages = {61–70},
  publisher = {{IOS} Press},
  series = {Frontiers in Artificial Intelligence and Applications},
  title = {{Conditional Permissions in Contracts}},
  volume = {279},
  year = {2015},
  bdsk-url-1 = {http://dx.doi.org/10.3233/978-1-61499-609-5-61}
}
@phdthesis{camilleri2015,
  author = {John J. Camilleri},
  title = {{Analysing normative texts — On the semantic gap between natural and formal languages}},
  address = {Gothenburg, Sweden},
  school = {Chalmers University of Technology and University of Gothenburg},
  year = {2015},
  month = {October},
  url = {https://gup.ub.gu.se/publication/222958-analysing-normative-contracts},
  type = {Licentiate thesis}
}
@phdthesis{camilleri2017,
  author = {John J. Camilleri},
  title = {{Contracts and Computation — Formal modelling and analysis for normative natural language}},
  address = {Gothenburg, Sweden},
  school = {University of Gothenburg},
  year = {2017},
  month = {October},
  url = {http://hdl.handle.net/2077/53815},
  type = {Ph.D. thesis}
}
@inproceedings{contracts-cnl2014,
  author = {John J. Camilleri and Gabriele Paganelli and Gerardo Schneider},
  title = {{A CNL for Contract-Oriented Diagrams}},
  booktitle = {Proceedings of the 4th Workshop on Controlled Natural Language (CNL)},
  series = {Lecture Notes in Computer Science},
  volume = {8625},
  subseries = {Lecture Notes in Artificial Intelligence},
  editor = {Brian Davis and Kaarel Kaljurand and Tobias Kuhn},
  publisher = {Springer},
  address = {Berlin, Heidelberg},
  year = {2014},
  month = {August},
  url = {http://arxiv.org/abs/1406.5691}
}
@inproceedings{contracts-nldb2016,
  author = {John J. Camilleri and Normunds Gruzitis and Gerardo Schneider},
  title = {Extracting Formal Models from Normative Texts},
  booktitle = {Proceedings of the 21st International conference on the Application of Natural Language to Information Systems (NLDB 2016)},
  series = {Lecture Notes in Computer Science},
  subseries = {Lecture Notes in Artificial Intelligence},
  editor = {E. M\'{e}tais and F. Meziane and M. Saraee and V. Sugumaran and S. Vadera},
  publisher = {Springer},
  address = {Berlin, Heidelberg},
  year = {2016},
  volume = {9612},
  doi = {10.1007/978-3-319-41754-7_40},
  pages = {403–408}
}
@article{contracts-jlamp2017,
  title = {Modelling and Analysis of Normative Documents},
  author = {Camilleri, John J. and Schneider, Gerardo},
  year = {2017},
  doi = {10.1016/j.jlamp.2017.05.002},
  journal = {Logical and Algebraic Methods in Programming},
  volume = {91},
  number = {},
  pages = {33–59},
  url = {http://www.sciencedirect.com/science/article/pii/S2352220817300822},
  issn = {2352-2208}
}
@inproceedings{contracts-time2016,
  title = {A Domain-Specific Language for Normative Texts with Timing Constraints},
  author = {Gulliksson, Runa and Camilleri, John J.},
  booktitle = {International Symposium on Temporal Representation and Reasoning (TIME 2016)},
  year = {2016},
  doi = {10.1109/TIME.2016.14},
  pages = {60–69},
  publisher = {IEEE}
}
@inproceedings{sefm2017,
  title = {Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL},
  author = {Luteberget, Bjørnar and Camilleri, John J. and Johansen, Christian and Schneider, Gerardo},
  booktitle = {International Conference on Software Engineering and Formal Methods (SEFM 2017)},
  date = {2017},
  note = {(To appear)}
}
@online{sac-svt2018,
  author = {Camilleri, John J. and Haghshenas, Mohammad Reza and Schneider, Gerardo},
  title = {A Web-Based Tool for Analysing Normative Documents in {English}},
  year = {2017},
  eprinttype = {arxiv},
  eprintclass = {cs.CL},
  eprint = {1707.03997}
}
@inbook{luteberget-sefm2017,
  author = {Luteberget, Bj{\o}rnar and Camilleri, John J. and Johansen, Christian and Schneider, Gerardo},
  editor = {Cimatti, Alessandro and Sirjani, Marjan},
  title = {Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL},
  booktitle = {Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings},
  year = {2017},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {87–103},
  isbn = {978-3-319-66197-1},
  doi = {10.1007/978-3-319-66197-1_6},
  url = {https://doi.org/10.1007/978-3-319-66197-1_6}
}
@inproceedings{DannellsAndGruzitis2014a,
  author = {Dann\'{e}lls, Dana and Gruzitis, Normunds},
  title = {Extracting a bilingual semantic grammar from {FrameNet}-annotated corpora},
  booktitle = {Proceedings of the 9th International Language Resources and Evaluation Conference (LREC)},
  year = {2014},
  pages = {2466-2473},
  url = {http://www.lrec-conf.org/proceedings/lrec2014/pdf/1079_Paper.pdf}
}
@inproceedings{DannellsAndGruzitis2014b,
  author = {Dann\'{e}lls, Dana and Gruzitis, Normunds},
  title = {Controlled Natural Language Generation from a Multilingual {FrameNet}-based Grammar},
  booktitle = {Proceedings of the 4th Workshop on Controlled Natural Language (CNL)},
  series = {LNCS},
  volume = {8625},
  publisher = {Springer},
  year = {2014},
  pages = {155-166},
  url = {http://arxiv.org/abs/1406.2400}
}
@inproceedings{GruzitisEtAl2015a,
  author = {Gruzitis, Normunds and Dann\'{e}lls, Dana and Lyngfelt, Benjamin and Ranta, Aarne},
  title = {Formalising the {Swedish} Constructicon in {Grammatical Framework}},
  booktitle = {Proceedings of the ACL Workshop on Grammar Engineering Across Frameworks},
  year = {2015},
  pages = {49–56},
  url = {http://www.aclweb.org/anthology/W/W15/W15-3307.pdf}
}
@article{GruzitisEtAl2015b,
  author = {Gruzitis, Normunds and Dann\'{e}lls, Dana},
  title = {A Multilingual {FrameNet}-based Grammar and Lexicon for Controlled Natural Language},
  journal = {Language Resources and Evaluation},
  publisher = {Springer},
  year = {2015},
  url = {http://arxiv.org/abs/1511.03924}
}
@inproceedings{ListenmaaKaljurand2014,
  author = {Listenmaa, Inari and Kaljurand, Kaarel},
  title = {{Computational Estonian Grammar in Grammatical Framework}},
  booktitle = {9th {SALTMIL} workshop on free/open-source language resources for the machine translation of less-resourced languages},
  year = {2014}
}
@inproceedings{ListenmaaClaessen2015,
  author = {Inari Listenmaa and Koen Claessen},
  title = {{Constraint Grammar as a SAT problem}},
  booktitle = {Proceedings of the NODALIDA 2015 Workshop: Constraint Grammar — methods, tools and applications},
  year = {2015},
  location = {{Vilnius, Lithuania}}
}
@inproceedings{ListenmaaClaessen2016,
  author = {Inari Listenmaa and Koen Claessen},
  title = {{Analysing Constraint Grammar with a SAT-solver}},
  booktitle = {Proceedings of 10th Language Resources and Evaluation Conference (LREC)},
  year = {2016},
  location = {{Portoroz, Slovenia}}
}
@inproceedings{compounds-cnl2014,
  author = {Ramona Enache and Inari Listenmaa and Prasanth Kolachina},
  title = {{Handling non-compositionality in multilingual CNLs}},
  booktitle = {{Fourth Workshop on Controlled Natural Language (CNL 2014)}},
  year = {2014},
  pages = {147–154}
}
@article{angelov2014speech,
  title = {Speech-Enabled Hybrid Multilingual Translation for Mobile Devices},
  author = {Angelov, Krasimir and Bringert, Bj{\"o}rn and Ranta, Aarne},
  journal = {EACL 2014, System Demonstration},
  pages = {41–44},
  year = {2014},
  url = {https://www.aclweb.org/anthology/E/E14/E14-2.pdf#page=55}
}
@article{ranta2014types,
  title = {Types and Records for Predication},
  author = {Ranta, Aarne},
  journal = {Workshop on Type Theory and Natural Language Semantics, EACL 2014},
  pages = {1–9},
  year = {2014},
  url = {https://www.aclweb.org/anthology/W/W14/W14-14.pdf#page=11}
}
@article{ranta2014embedded,
  title = {Embedded Controlled Languages},
  author = {Ranta, Aarne},
  journal = {{CNL 2014 Proceedings, LNCS; xarXiv preprint arXiv:1406.4057}},
  year = {2014},
  url = {http://arxiv.org/pdf/1406.4057v1.pdf}
}
@article{detrezsharing,
  title = {Sharing resources between free/open-source rule-based machine translation systems: Grammatical Framework and Apertium},
  author = {D{\'e}trez, Gr{\'e}goire and S{\'a}nchez-Cartagena, V{\i}ctor M and Ranta, Aarne},
  journal = {LREC 2014},
  url = {http://www.lrec-conf.org/proceedings/lrec2014/pdf/665_Paper.pdf}
}
@inproceedings{Safwat-EtAl:2015:iiWAS,
  author = {Safwat, Hazem and Gruzitis, Normunds and Enache, Ramona and Davis, Brian},
  title = {{Embedded controlled languages to facilitate information extraction from eGov policies}},
  booktitle = {Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services (iiWAS)},
  year = {2015}
}
@inproceedings{Safwat-EtAl:2016:ICSC,
  author = {Safwat, Hazem and Gruzitis, Normunds and Enache, Ramona and Davis, Brian},
  title = {{Extracting semantic knowledge from unstructured text using embedded controlled language}},
  booktitle = {Proceedings of the 10th International Conference on Semantic Computing (ICSC)},
  year = {2016}
}

This file was generated by bibtex2html 1.98.