Sciweavers

15754 search results - page 149 / 3151
» Programs are Knowledge Bases
Sort
View
DLOG
2000
15 years 5 months ago
High Performance Reasoning with Very Large Knowledge Bases
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
Volker Haarslev, Ralf Möller
BNCOD
2009
88views Database» more  BNCOD 2009»
15 years 5 months ago
Towards Building a Knowledge Base for Research on Andean Weaving
We are working on a knowledge base to store 3D Andean textile patterns together with rich cultural and historic context information. This will allow ontological studies in museum c...
Denise Y. Arnold, Sven Helmer, Rodolfo Velá...
KR
2004
Springer
15 years 9 months ago
Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
Boris Mailhé, Henri Prade
ECSQARU
2009
Springer
15 years 8 months ago
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the for...
Jianbing Ma, Weiru Liu, Anthony Hunter
IJCAI
1989
15 years 5 months ago
An Integrated Knowledge Based Assembly Control System for Automobile Manufacturing
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...
Burkhard Freitag, Bernhard Huber, Wolfgang Womann