|
|
S.-H. Nienhuys-Cheng and P.R.J. van der Laag and L.W.N. van der Torre (1993): Constructing refinement operators by decomposing logical implication
| Title: |
Constructing refinement operators by decomposing logical implication |
| Author(s): |
S.-H. Nienhuys-Cheng and P.R.J. van der Laag and L.W.N. van der Torre |
| Year: |
1993 |
| Booktitle: |
Third Congres of the Italian Association for Artificial Intelligence |
| Pages: |
178-189 |
| Publisher: |
Springer Verlag |
Concepts
|
|
