Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] Difference between using different reasoners

babar shahzad babarathotmail at
Mon Apr 26 05:34:04 PDT 2010


 I have few question. Whats difference between using different reasoners like Pallet, Fact ++, HermiT etc ? What are the merits to chose either of those ? 


Babar Shahzad Chaudary, 
Deptt of Information Processing
University of Oulu, Finland.


More information about the p4-feedback mailing list