Implementing and Evaluating Provers for First-order Modal Logics (bibtex)
by Christoph Benzmüller, Jens Otten, Thomas Raths
Reference:
Implementing and Evaluating Provers for First-order Modal Logics (Christoph Benzmüller, Jens Otten, Thomas Raths), In ECAI 2012 (Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter Lucas, eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, volume 242, pp. 163-168, 2012. (slides)
Bibtex Entry:
@inproceedings{C34,
  Address =	 {Montpellier, France},
  Author =	 {Christoph Benzm{\"u}ller and Jens Otten and Thomas
                  Raths},
  Booktitle =	 {ECAI 2012},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2012_ECAI.pdf
                  " target="_blank">slides</a>},
  Doi =		 {10.3233/978-1-61499-098-7-163},
  Editor =	 {Luc De Raedt and Christian Bessiere and Didier
                  Dubois and Patrick Doherty and Paolo Frasconi and
                  Fredrik Heintz and Peter Lucas},
  Isbn =	 {978-1-61499-097-0},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Automated Reasoning},
  Pages =	 {163-168},
  Publisher =	 {IOS Press},
  Series =	 {Frontiers in Artificial Intelligence and
                  Applications},
  Title =	 {Implementing and Evaluating Provers for First-order
                  Modal Logics},
  Url =		 {http://christoph-benzmueller.de/papers/C34.pdf},
  Volume =	 242,
  Year =	 2012,
}
Powered by bibtexbrowser