Sciweavers

335 search results - page 12 / 67
» KRRT: Knowledge Representation and Reasoning Tutor System
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
14 years 9 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
AAAI
2000
14 years 11 months ago
Conceptual Indexing: Practical Large-Scale AI for Efficient Information Access
Finding information is a problem shared by people and intelligent systems. This paper describes an experiment combining both human and machine aspects in a knowledgebased system t...
William A. Woods
79
Voted
STAIRS
2008
109views Education» more  STAIRS 2008»
14 years 11 months ago
Representing Case Variations for Learning General and Specific Adaptation Rules
Adaptation is a task of case-based reasoning systems that is largely domain-dependant. This motivates the study of adaptation knowledge acquisition (AKA) that can be carried out th...
Fadi Badra, Jean Lieber
LPNMR
2005
Springer
15 years 3 months ago
Nonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
Michael Kifer
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....