search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

Integrate SRASS #418

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by till and assigned to luecke Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/418

See: Sutcliffe G., Puzis Y. (2007), SRASS - a Semantic Relevance Axiom Selection System, Pfenning F., Proceedings of the 21st International Conference on Automated Deduction (Bremen, Germany), Lecture Notes in Artificial Intelligence 4603, 295-310.

sternk commented 10 years ago

Comment by luecke Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/418#comment:1

SRASS is not easily available as a standalone tool, currently just can use it via the SystemOnTPTP webinterface with very limited resources.