Tertius: a system for rule discovery in first-order logic

Downloads

• Tertius system (GNU C, gzipped tar archive)
  • Short manual (PostScript)
  • Datasets
• Propositional Tertius extension to Weka (Java, gzipped tar archive)
  • README

Papers

• Peter A. Flach and Nicolas Lachiche. Confirmation-Guided Discovery of First-Order Rules with Tertius. Machine Learning,volume 42 (1/2): 61--95, January 2001. [PDF]
• Amelie Deltour. Tertius extension to Weka. Technical Report CSTR-01-001, Department of Computer Science, University of Bristol, September 2001. [PDF]