Join/Login
Business Software
Open Source Software
For Vendors
Blog
About
More
Articles
Create
SourceForge Podcast
Site Documentation
Subscribe to our Newsletter
Support Request
For Vendors
Help
Create
Join
Login
Business Software
Open Source Software
SourceForge Podcast
Resources
Articles
Case Studies
Blog
Menu
Help
Create
Join
Login
Home
Browse
IRIS - Integrated Rule Inference System
Activity
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
✕