An Attributive Logic of Set Descriptions and Set Operations
| dc.creator | Manandhar, Suresh | |
| dc.date | 1994-05-30 | |
| dc.date.accessioned | 2026-07-07T09:09:17Z | |
| dc.date.available | 2026-07-07T09:09:17Z | |
| dc.description | This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality set descriptions, set-membership constraints, restricted universal role quantifications, set union, intersection, subset and disjointness. A sound, complete and terminating consistency checking procedure is provided to determine the consistency of any given term in the logic. It is shown that determining consistency of terms is a NP-complete problem. | |
| dc.description | 8 pages, epsf.sty, leqno.sty, LaTeX, ACL'94 | |
| dc.identifier | https://arxiv.org/abs/cmp-lg/9405031 | |
| dc.identifier | http://arxiv.org/abs/cmp-lg/9405031 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/150982 | |
| dc.subject | Computation and Language | |
| dc.title | An Attributive Logic of Set Descriptions and Set Operations | |
| dc.type | text |