IJMMS
2002
13 years 4 months ago
2002
IJMMS
2000
13 years 4 months ago
2000
This paper presents a successful knowledge acquisition experiment in which subject matter experts that did not have any prior knowledge engineering experience succeeded to teach t...
CORR
2000
Springer
13 years 4 months ago
2000
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
COLING
2002
13 years 4 months ago
2002
We present a principled approach to the problem of connecting a controlled document authoring system with a knowledge base. We start by describingclosed-world authoring situations...
AI
2000
Springer
13 years 4 months ago
2000
Springer
The World Wide Web is a vast source of information accessible to computers, but understandable only to humans. The goal of the research described here is to automatically create a...
LOGCOM
2007
13 years 4 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
AAMAS
2002
Springer
13 years 4 months ago
2002
Springer
Abstract. The purpose of this research is to show the relevance of philosophical theories to agent knowledge base (AKB) design, implementation, and behaviour. We will describe how ...
JAR
2007
13 years 4 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
SIGMOD
2008
ACM
13 years 4 months ago
2008
ACM
This paper gives an overview on the YAGO-NAGA approach to information extraction for building a conveniently searchable, large-scale, highly accurate knowledge base of common fact...
KES
2008
Springer
13 years 4 months ago
2008
Springer
This paper discusses a new solution to university course timetabling problems. The problems that belong to the NP-hard class are very difficult to solve using conventional optimiza...