Frost: A forward chaining rule ordering system for reasoning with nonmonotonic rule systems

S. P Engelson, R Feldman, M Koppel, A Nerode, J. B Remmel

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageAmerican English
Title of host publicationIJCAI-95 Workshop on Applications and Implementations of Nonmonotomic Reasonigs Systems
StatePublished - 1995

Bibliographical note

Place of conference:Canada

Cite this