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,
}