A Formal Proof of Strong Equivalence for a Grammar Conversion from LTAG to HPSG-style.
Naoki YoshinagaYusuke MiyaoJun'ichi TsujiiPublished in: TAG+ (2002)
Keyphrases
- formal proof
- strong equivalence
- phrase structure
- logic programs
- theorem prover
- answer set programming
- stable models
- argumentation frameworks
- answer sets
- natural language
- context free
- logic programming
- reasoning tasks
- autoepistemic logic
- relation extraction
- classical logic
- dependency structure
- deductive databases
- sufficient conditions
- general purpose