6554 search results - page 460 / 1311 » Constraint Logic Programming |
174
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
205
click to vote
EVOW
1994
Springer
15 years 11 months ago
1994
Springer
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...
177
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
148
click to vote
ACL
1990
15 years 8 months ago
1990
In this paper, we represent singular definite noun phrases as functions in logical form. This representation is designed to model the behaviors of both anaphoric and non-anaphoric...
210
click to vote
ICDE
1992
IEEE
15 years 11 months ago
1992
IEEE
Contrary to popular belief, relation schemes in good classical normal forms are not necessarily devoid of redundancies. This arises from the fact that classical data dependencies ...