Sciweavers

413 search results - page 13 / 83
» Decidable Reasoning in Terminological Knowledge Representati...
Sort
View
VL
1991
IEEE
183views Visual Languages» more  VL 1991»
15 years 1 months ago
The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
Heather Pfeiffer, Roger T. Hartley
IPPS
2000
IEEE
15 years 2 months ago
The Parallelization of a Knowledge Discovery System with Hypergraph Representation
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDEDpronounced indee...
Jennifer Seitzer, James P. Buckley, Yi Pan, Lee A....
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 4 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
ATAL
2005
Springer
15 years 3 months ago
A logic of reasoning, communication and cooperation with syntactic knowledge
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
Thomas Ågotnes, Michal Walicki
DSS
2006
116views more  DSS 2006»
14 years 9 months ago
Matching knowledge elements in concept maps using a similarity flooding algorithm
Concept mapping systems used in education and knowledge management emphasize flexibility of representation to enhance learning and facilitate knowledge capture. Collections of con...
Byron Marshall, Hsinchun Chen, Therani Madhusudan