Sigma: An Integrated Development Environment for Logical Theory Development (bibtex)
by Adam Pease, Christoph Benzmüller
Reference:
Sigma: An Integrated Development Environment for Logical Theory Development (Adam Pease, Christoph Benzmüller), In The ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET'2010), 2010. (slides) ((Superseded by 2013 article in AI Communications))
Bibtex Entry:
@inproceedings{W42,
  Address =	 {Lisbon, Portugal},
  Author =	 {Adam Pease and Christoph Benzm{\"u}ller},
  Booktitle =	 {The ECAI 2010 Workshop on Intelligent Engineering
                  Techniques for Knowledge Bases (IKBET'2010)},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/2010-ECAI-IKBET.pdf
                  " target="_blank">slides</a>},
  Note =	 {(Superseded by 2013 article in AI Communications)},
  Title =	 {{Sigma}: An Integrated Development Environment for
                  Logical Theory Development},
  Url =		 {http://christoph-benzmueller.de/papers/W42.pdf},
  Year =	 2010,
}
Powered by bibtexbrowser