Reasoning with Embedded Formulas and Modalities in SUMO (bibtex)
by Christoph Benzmüller, Adam Pease
Reference:
Reasoning with Embedded Formulas and Modalities in SUMO (Christoph Benzmüller, Adam Pease), In The ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-10) (A. Bundy, J. Lehmann, G. Qi, I. J. Varzinczak, eds.), 2010. (slides) ((Superseded by 2012 article in Journal of Web Semantics))
Bibtex Entry:
@inproceedings{W44,
  Address =	 {August 16-17, Lisbon, Portugal},
  Author =	 {Christoph Benzm{\"u}ller and Adam Pease},
  Booktitle =	 {The ECAI-10 Workshop on Automated Reasoning about
                  Context and Ontology Evolution (ARCOE-10)},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/2010-ECAI-ARCOE-17-8.pdf
                  " target="_blank">slides</a>},
  Editor =	 {A.~Bundy and J.~Lehmann and G.~Qi and
                  I.~J.~Varzinczak},
  Keywords =	 {own, Ontology Reasoning, Automated Reasoning, Higher
                  Order Logic},
  Note =	 {(Superseded by 2012 article in Journal of Web
                  Semantics)},
  Title =	 {Reasoning with Embedded Formulas and Modalities in
                  {SUMO}},
  Url =		 {http://christoph-benzmueller.de/papers/W44.pdf},
  Year =	 2010,
}
Powered by bibtexbrowser