1455 search results - page 10 / 291 » Programming in Logic with Constraints for Natural Language P... |
EACL
2009
ACL Anthology
14 years 8 months ago
2009
ACL Anthology
EMNLP
2011
12 years 7 months ago
2011
IJSSE
2011
13 years 2 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
PPDP
1999
Springer
13 years 12 months ago
1999
Springer
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...