11963 search results - page 2181 / 2393 » A framework for linguistic modelling |
183
click to vote
WOA
2000
15 years 8 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
181
click to vote
SLP
1994
15 years 8 months ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
169
click to vote
AAAI
1992
15 years 7 months ago
1992
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...
167
click to vote
IJCAI
1989
15 years 7 months ago
1989
In many applications in mobile robotics, it is important for a robot to explore its environment in order to construct a representation of space useful for guiding movement. We refe...
192
click to vote
TREC
2007
15 years 7 months ago
2007
We describe recent extensions to the Ephyra question answering (QA) system and their evaluation in the TREC 2007 QA track. Existing syntactic answer extraction approaches for fact...