@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.