| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | examples | 2022-02-22 06:13 | |
| homeworks | 2022-02-22 06:13 | |
 | A Guide to Flora-2 Packages - September 8, 2017.pdf | 2022-02-22 06:13 | 214 KB |
| ERGO Lite (a.k.a. Flora-2 )_ User’s Manual - Michael Kifer, Guizhen Yang, Hui Wan, Chang Zhao. September 8, 2017.pdf | 2022-02-22 06:13 | 2018 KB |
| FLORA-2_ A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web - Guizhen Yang , Michael Kifer , Chang Zhao (2003).pdf | 2022-02-22 06:13 | 187 KB |
| Flora_ Implementing an Efficient DOOD System Using a Tabling Logic Engine - Guizhen Yang , Michael Kifer (2000).pdf | 2022-02-22 06:13 | 264 KB |
| part1-foundations.pdf | 2022-02-22 06:13 | 496 KB |
| part2-programming.pdf | 2022-02-22 06:13 | 298 KB |