Unification in modal and description logics

Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description log...

Full description

Saved in:
Bibliographic Details
Published in:Logic journal of the IGPL 2011-12, Vol.19 (6), p.705-730
Main Authors: Baader, Franz, Ghilardi, Silvio
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.
ISSN:1367-0751
1368-9894
DOI:10.1093/jigpal/jzq008