Relaxed unification -- proposal

DOI10.1016/S0893-9659(03)00077-6zbMath1091.68106MaRDI QIDQ1431877

T. Abou-Assaleh, Nick Cercone

Publication date: 11 June 2004

Published in: Applied Mathematics Letters (Search for Journal in Brave)

zbMATH Keywords

uncertain reasoningimperfect datarelaxed unification

Mathematics Subject Classification ID

Cites Work

• A graph unification machine for NL parsing
• Evidential support logic programming
• Unification: a multidisciplinary survey
• An Efficient Unification Algorithm
• A Machine-Oriented Logic Based on the Resolution Principle
• Fuzzy Logic and the Resolution Principle
• Unnamed Item

This page was built for publication: Relaxed unification -- proposal