Mechanised Assessment of Complex Natural-Language Arguments using Expressive Logic Combinations (bibtex)
by David Fuenmayor, Christoph Benzmüller
Reference:
Mechanised Assessment of Complex Natural-Language Arguments using Expressive Logic Combinations (David Fuenmayor, Christoph Benzmüller), In Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, September 4-6 (Andreas Herzig, AndreiPopescu, eds.), Springer Nature Switzerland AG, Lecture Notes in Artificial Intelligence, volume 11715, pp. 112--128, 2019. (Preprint http://doi.org/10.13140/RG.2.2.20803.45608/1)
Bibtex Entry:
@InProceedings{C77,
  Keywords =	 {own, Higher Order Logic, Universal Reasoning, Logic Combinations, Machine Ethics},
  author = 	 {Fuenmayor, David and Benzm{\"u}ller, Christoph},
  title = 	 {Mechanised Assessment of Complex Natural-Language Arguments using Expressive Logic Combinations},
  booktitle =    {Frontiers of Combining Systems, 12th International Symposium, FroCoS 2019, London, September 4-6},
  editor    =    {Andreas Herzig and AndreiPopescu},
  year = 	 2019,
  series = 	 {Lecture Notes in Artificial Intelligence},
  volume =       11715,
  publisher =    {Springer Nature Switzerland AG},
  doi       =    {10.1007/978-3-030-29007-8_7},
  addendum = 	 {Preprint \url{http://doi.org/10.13140/RG.2.2.20803.45608/1}},
  pages = {112--128},
}