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">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