Dominance Constraints in Stratified Context Unification

Katrin Erk; Joachim Niehren

doi:10.1016/j.ipl.2006.09.009

Journal Articles Information Processing Letters Year : 2007

Dominance Constraints in Stratified Context Unification

(1) , (2)

1
2

Katrin Erk

Function : Author

Computer Science Department [Austin]

Joachim Niehren

Function : Author
PersonId : 1702
IdHAL : joachim-niehren
ORCID : 0000-0002-2611-8950
IdRef : 140813055

Modeling Tree Structures, Machine Learning, and Information Extraction

Abstract

We express dominance constraints in the once-only nesting fragment of stratified context unification, which therefore is NP-complete.

Keywords

Computational logics Trees Unification Formal languages

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Fichier principal

final.pdf (96.82 Ko)

Joachim Niehren : Connect in order to contact the contributor

https://hal.inria.fr/inria-00094787

Submitted on : Saturday, September 16, 2006-2:35:49 PM

Last modification on : Friday, March 24, 2023-2:52:48 PM

Long-term archiving on: Tuesday, April 6, 2010-12:57:54 AM

Dates and versions

inria-00094787 , version 1 (16-09-2006)

Identifiers

HAL Id : inria-00094787 , version 1
DOI : 10.1016/j.ipl.2006.09.009

Cite

Katrin Erk, Joachim Niehren. Dominance Constraints in Stratified Context Unification. Information Processing Letters, 2007, 101 (4), pp.141-147. ⟨10.1016/j.ipl.2006.09.009⟩. ⟨inria-00094787⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-LILLE3 CNRS INRIA MOSTRARE INRIA2

115 View

183 Download

Dominance Constraints in Stratified Context Unification

Abstract

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share