Constructing Refinement Operators by Decomposing Logical Implication

• Authors:

• Shan-Hwei Nienhuys-Cheng;Patrick R. J. van der Laag;Leendert W. N. van der Torre

• Affiliations:

• -;-;-

• Venue:
• AI*IA '93 Proceedings of the Third Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
• Year:
• 1993