Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL (bibtex)
by Alexander Steen, Max Wisniewski, Christoph Benzmüller
Reference:
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL (Alexander Steen, Max Wisniewski, Christoph Benzmüller), In GCAI 2016, 2nd Global Conference on Artificial Intelligence (Christoph Benzüller, Raul Rojas, Geoff Sutcliffe, eds.), EasyChair, EPiC Series in Computing, volume 41, pp. 1-10, 2016.
Bibtex Entry:
@inproceedings{C61,
  Address =	 {Berlin, Germany},
  Author =	 {Alexander Steen and Max Wisniewski and Christoph
                  Benzm{\"u}ller},
  Title =	 {Tutorial on Reasoning in Expressive Non-Classical
                  Logics with {Isabelle/HOL}},
  Booktitle =	 {GCAI 2016, 2nd Global Conference on Artificial
                  Intelligence},
  Editor =	 {Christoph Benz{\"u}ller and Raul Rojas and Geoff
                  Sutcliffe},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Semantic
                  Embedding, Higher Order Logic, Mulimodal Logic},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Url    =       {http://page.mi.fu-berlin.de/cbenzmueller/papers/C61.pdf},
  OPTUrl =
                  {http://www.easychair.org/publications/paper/Tutorial_on_Reasoning_in_Expressive_Non-Classical_Logics_with_Isabelle-HOL},
  Volume =	 41,
  Year =	 2016,
  Pages =	 {1-10}
}
Powered by bibtexbrowser