Progress in Automating Higher-Order Ontology Reasoning (bibtex)
by Christoph Benzmüller, Adam Pease
Reference:
Progress in Automating Higher-Order Ontology Reasoning (Christoph Benzmüller, Adam Pease), In PAAR-2010 -- Workshop on Practical Aspects of Automated Reasoning (Renate A. Schmidt, Stephan Schulz, Boris Konev, eds.), EasyChair, EPiC Series in Computing, volume 9, pp. 22-32, 2012. (slides)
Bibtex Entry:
@inproceedings{W40,
  Author =	 {Christoph Benzm\"uller and Adam Pease},
  Booktitle =	 {PAAR-2010 -- Workshop on Practical Aspects of
                  Automated Reasoning},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/2010-PAAR.pdf
                  " target="_blank">slides</a>},
  Editor =	 {Renate A. Schmidt and Stephan Schulz and Boris
                  Konev},
  Issn =	 {2040-557X},
  Pages =	 {22-32},
  Publisher =	 {EasyChair},
  Series =	 {EPiC Series in Computing},
  Title =	 {Progress in Automating Higher-Order Ontology
                  Reasoning},
  Url =
                  {http://www.easychair.org/publications/?page=999569486},
  Volume =	 9,
  Year =	 2012,
}
Powered by bibtexbrowser