FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: