IRIS - Integrated Rule Inference System Activity

Status: Beta

Brought to you by: daniel_winkler, florianfischer

• Summary
• Files
• Reviews
• Support
• Mailing Lists
• Tickets ▾
  • Maintenance
  • Feature Requests
  • Bugs
• Discussion
• Code
• Cvs

Activity for IRIS - Integrated Rule Inference System

• 10 years ago

  liteng posted a comment on discussion Open Discussion

  If we know p(?X) :- q(?X). can we do such negation reasoning: !q(?X) :- !p(?X) Hope...

• 1 decade ago

  IRIS - Integrated Rule Inference System released /OldFiles/OpenFirewall.zip

1