911 search results - page 77 / 183 » Prolog and Natural-Language Analysis |
141
Voted
CICLING
2011
Springer
14 years 7 months ago
2011
Springer
In recent years, extraction of temporal relations for events that express sentiments has drawn great attention of the Natural Language Processing (NLP) research communities. In thi...
86
Voted
ACL
2006
15 years 4 months ago
2006
There are some sorts of `Preposition + Noun' combinations in Farsi that apparently a Prepositional Phrase almost behaves as Compound Prepositions. As they are not completely ...
112
click to vote
RR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed searc...
142
Voted
EUROCAST
1994
Springer
15 years 7 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
153
Voted
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...