772 search results - page 128 / 155 » Ontology Based Information Integration Using Logic Programmi... |
132
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
155
click to vote
TREC
2000
15 years 3 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...
112
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
154
click to vote
JFP
2007
15 years 2 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
136
click to vote
JUCS
2008
15 years 2 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...