Sciweavers

1732 search results - page 19 / 347
» Knowledge-based organization evaluation
Sort
View
AAAI
2008
13 years 9 months ago
AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge
We are interested in the problem of reasoning over very large common sense knowledge bases. When such a knowledge base contains noisy and subjective data, it is important to have ...
Robert Speer, Catherine Havasi, Henry Lieberman
AAAI
2004
13 years 8 months ago
Interpreting Loosely Encoded Questions
Knowledge-based question-answering systems have become quite competent and robust at answering a wide range of questions in different domains, however in order to ask questions co...
James Fan, Bruce W. Porter
SEMCO
2007
IEEE
14 years 1 months ago
Corpus-based Pattern Induction for a Knowledge-based Question Answering Approach
In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. W...
Philipp Cimiano, Michael Erdmann, Günter Ladw...
AIIA
1999
Springer
13 years 11 months ago
An Implementation for Abductive Logic Agents
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
Anna Ciampolini, Evelina Lamma, Paola Mello, Cesar...
JAR
2007
85views more  JAR 2007»
13 years 6 months ago
User Interaction with the Matita Proof Assistant
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...