Sciweavers

681 search results - page 8 / 137
» Parsing as Natural Deduction
Sort
View
LOGCOM
1998
64views more  LOGCOM 1998»
14 years 9 months ago
A Relevant Analysis of Natural Deduction
Samin S. Ishtiaq, David J. Pym
55
Voted
SLOGICA
1998
79views more  SLOGICA 1998»
14 years 9 months ago
Normal Natural Deduction Proofs (in classical logic)
Wilfried Sieg, John Byrnes
IJCAI
1997
14 years 11 months ago
Let's Plan It Deductively!
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
Wolfgang Bibel
72
Voted
EUROGP
2004
Springer
108views Optimization» more  EUROGP 2004»
15 years 3 months ago
Genetic Programming for Natural Language Parsing
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
Lourdes Araujo