Sigma: An Integrated Development Environment for Logical Theory Development

Pease, Adam; Benzmüller, Christoph

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) (Url (preprint): http://christoph-benzmueller.de/papers/W42.pdf)

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">slides</a>},
  Note =	 {(Superseded by 2013 article in AI Communications)},
  Title =	 {{Sigma}: An Integrated Development Environment for
                  Logical Theory Development},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W42.pdf}},
  Year =	 2010,
}