Original language | American English |
---|---|
Title of host publication | IJCAI-95 Workshop on Applications and Implementations of Nonmonotomic Reasonigs Systems |
State | Published - 1995 |
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 proceeding › Conference contribution › peer-review