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 yahoo.com
Mon Apr 26 05:34:04 PDT 2010


Hi,

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

BR,

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



      




More information about the p4-feedback mailing list