6618 search results - page 296 / 1324 » Natural Logic for Natural Language |
195
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
180
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
196
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
192
click to vote
AAAI
1996
15 years 8 months ago
1996
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
171
click to vote
EACL
1989
ACL Anthology
15 years 8 months ago
1989
ACL Anthology
The paper proposes a paradigmatic approach to morphological knowledge acquisition. It addresses the problem of learning from examples rules for word-forms analysis and synthesis. ...