FROST: A Forward Chaining Rule Ordering System for Reasoning with Nonmonotonic Rule Systems

Authors

Sean Engelson, Touro UniversityFollow
Ronen Feldman
Moshe Koppel
Anil Nerode
Jeffrey B. Remmel

Roles

Author

Document Type

Conference Proceeding

Publication Date

1-1-1995

Recommended Citation

Engelson, S., Feldman, R., Koppel, M., Nerode, A., & Remmel, J. B. (1995). FROST: A Forward Chaining Rule Ordering System for Reasoning with Nonmonotonic Rule Systems. IJCAI-95 Workshop On Applications and Implementations of Nonmonotonic Reasoning Systems, Montreal, Canada. Retrieved from https://touroscholar.touro.edu/president_pubs/298