681 search results - page 45 / 137 » Parsing as Natural Deduction |
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
A semi-automatic procedure of linguistic knowledge acquisition is proposed, which combines corpus-based techniques with the conventional rule-based approach. The rule-based compon...
103
click to vote
CICLING
2011
Springer
14 years 1 months ago
2011
Springer
This paper introduces a work on identification of conjunct verbs in Hindi. The paper will first focus on investigating which noun-verb combination makes a conjunct verb in Hindi us...
IUI
2003
ACM
15 years 3 months ago
2003
ACM
As household appliances grow in complexity and sophistication, they become harder and harder to use, particularly because of their tiny display screens and limited keyboards. This...
LFCS
2007
Springer
15 years 3 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...