Sciweavers

241 search results - page 13 / 49
» Propositional knowledge and know-how
Sort
View
AMKM
2003
Springer
15 years 3 months ago
Modeling Context-Aware Distributed Knowledge
This paper presents a multi-agent model to support decisionmaking in organizations. The model is characterized by being interactive, distributed, and incremental and by the use of...
Jorge Louçã
WM
2003
14 years 11 months ago
Knowledge Management durch Prozess Mining
Der Bedarf Wissen, welches sich überreichem Masse weitgehend auch elektronisch vorhanden ist, im Anlassfall verfügbar zu haben ist enorm. Knowledge Management ist daher als jene...
Peter F. Smolle
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
15 years 3 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
KR
2004
Springer
15 years 3 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
AAAI
1996
14 years 11 months ago
Post-Analysis of Learned Rules
Rule induction research implicitly assumes that after producing the rules from a dataset, these rules will be used directly by an expert system or a human user. In real-life appli...
Bing Liu, Wynne Hsu