ACUI Unification Modulo Ground Theories
Authors: Franz Baader, Pavlos Marantidis and Antoine Mottet
Paper Information
| Title: | ACUI Unification Modulo Ground Theories |
| Authors: | Franz Baader, Pavlos Marantidis and Antoine Mottet |
| Proceedings: | UNIF Extended abstracts |
| Editors: | Mauricio Ayala-Rincon and Philippe Balbiani |
| Keywords: | unification, ACUI, ground theories |
| Abstract: | ABSTRACT. It is well-known that the unification problem for a binary associative-commutative-idempotent function symbol with a unit (ACUI-unification) is polynomial for unification with constants and in NP for general unification. We show that the same is true if we add a finite set of ground identities. |
| Pages: | 8 |
| Talk: | Jul 07 15:00 (Session 28P: Invited Talk, and Unification Modulo) |
| Paper: |  |