First Experiments with a Flexible Infrastructure for Normative Reasoning (bibtex)
by Christoph Benzmüller, Xavier Parent
Reference:
First Experiments with a Flexible Infrastructure for Normative Reasoning (Christoph Benzmüller, Xavier Parent), Technical report, CoRR, 2018. (http://arxiv.org/abs/1804.02929)
Bibtex Entry:
@techreport{R66,
  Author =	 {Benzm{\"u}ller, Christoph and Parent, Xavier},
  Keywords =	 {own, Higher Order Logic, Deontic Logic, Automated
                  Reasoning, Universal Reasoning},
  Title =	 {First Experiments with a Flexible Infrastructure for
                  Normative Reasoning},
  Institution =	 {CoRR},
  Note =	 {\url{http://arxiv.org/abs/1804.02929}},
  Url =		 {http://arxiv.org/abs/1804.02929},
  Year =	 2018
}
Powered by bibtexbrowser