I/O Logic in HOL (bibtex)
by Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller
Reference:
I/O Logic in HOL (Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Url (preprint): http://orbilu.uni.lu/handle/10993/37013)
Bibtex Entry:
@misc{W63,
  Author =	 {Farjami, Ali and Meder, Paul and Parent, Xavier and
                  Benzm\"uller, Christoph},
  Booktitle =	 {MIREL 2018},
  Keywords =	 {own, Input/Output Logic, Higher Order Logic,
                  Semantic Embedding, Automated Reasoning, General
                  Data Protection Regulation},
  Publisher =	 {MIREL 2018 workshop on MIning and REasoning with
                  Legal texts},
  Note =	         {Url (preprint): \url{http://orbilu.uni.lu/handle/10993/37013}},
  Title =	 {I/O Logic in HOL},
  Year =	 2018,
}
Powered by bibtexbrowser