References

  1. D. Buscaldi, P. Rosso, J.M. Gómez-Soriano & E. Sanchis (2009): Answering Questions with an n-gram based Passage Retrieval Engine. Journal of Intelligent Information Systems 34(2), pp. 113–134, doi:10.1007/s10844-009-0082-y.
  2. S. Fenech, G.J. Pace & G. Schneider (2009): Automatic Conflict Detection on Contracts. In: ICTAC'09, LNCS 5684. Springer, pp. 200–214, doi:10.1007/978-3-642-03466-4_13.
  3. S.Fenech, G.J. Pace & G. Schneider (2009): CLAN: A Tool for Contract Analysis and Conflict Discovery. In: ATVA'09, LNCS 5799. Springer, pp. 90–96, doi:10.1007/978-3-642-04761-9_8.
  4. R. Hähnle, K. Johannisson & A. Ranta (2002): An Authoring Tool for Informal and Formal Requirements Specifications. In: FASE, LNCS 2306. Springer, pp. 233–248. Available at http://link.springer.de/link/service/series/0558/bibs/2306/23060233.htm, doi:10.1007/3-540-45923-5_16.
  5. M. Forsberg A. Ranta. M. Pellauer (2004-09): BNF Converter: Multilingual Front-End Generation from Labelled BNF Grammars. Technical Report. Technical Report 348, Computing Science at Chalmers University of Technology and Gothenburg University.
  6. P. McNamara (2006): Deontic Logic. In: Gabbay, D.M., Woods, J., eds.: Handbook of the History of Logic 7. North-Holland Publishing, pp. 197–289.
  7. G.J. Pace & M. Rosner (2010): A Controlled Language for the Specification of Contracts 5972, pp. 226–245, doi:10.1007/978-3-642-14418-9_14.
  8. G. Pace, C. Prisacariu & G. Schneider (2007): Model Checking Contracts –A Case Study. In: ATVA'07, LNCS 4762. Springer-Verlag, pp. 82–97, doi:10.1007/978-3-540-75596-8_8.
  9. C. Prisacariu & G. Schneider (2007): A Formal Language for Electronic Contracts. In: FMOODS, LNCS 4468. Springer, pp. 174–189, doi:10.1007/978-3-540-72952-5_11.
  10. C. Prisacariu & G. Schneider (2009): CL: An Action-based Logic for Reasoning about Contracts. In: WOLLIC'09, LNCS 5514. Springer, pp. 335–349, doi:10.1007/978-3-642-02261-6_27.
  11. A. Ranta (2009): Grammatical Framework: A Programming Language for Multilingual Grammars and Their Applications. http://www.cs.um.edu.mt/svrg/Tools/CLTool.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org