Sciweavers

1455 search results - page 1 / 291
» Programming in Logic with Constraints for Natural Language P...
Sort
View
EACL
1989
ACL Anthology
13 years 6 months ago
Programming in Logic with Constraints for Natural Language Processing
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
Patrick Saint-Dizier
EACL
1989
ACL Anthology
13 years 6 months ago
JPSG Parser on Constraint Logic Programming
Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai
VL
1993
IEEE
159views Visual Languages» more  VL 1993»
13 years 9 months ago
A Visual Logic Programming Language Based on Sets and Partitioning Constraints
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
Lindsey L. Spratt, Allen L. Ambler
PPCP
1993
13 years 9 months ago
Higher-Order Logic Programming as Constraint Logic Programming
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
Spiro Michaylov, Frank Pfenning
FOAL
2008
ACM
13 years 6 months ago
Enforcing behavioral constraints in evolving aspect-oriented programs
Raffi Khatchadourian, Johan Dovland, Neelam Sounda...