2409 search results - page 219 / 482 » Logical systems for structured specifications |
173
click to vote
TREC
2000
15 years 6 months ago
2000
CL Research's question-answering system (DIMAP-QA) for TREC-9 significantly extends its semantic relation triple (logical form) technology in which documents are fully parsed...
144
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
143
click to vote
SIGPLAN
2008
15 years 4 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
160
click to vote
INEX
2005
Springer
15 years 10 months ago
2005
Springer
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...
161
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...