Sciweavers

861 search results - page 3 / 173
» A General Framework for Knowledge Compilation
Sort
View
IJCAI
2003
13 years 8 months ago
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling sear...
Alfredo Gabaldon
AIIA
2005
Springer
14 years 27 days ago
Towards a General Framework for Substitutional Adaptation in Case-Based Reasoning
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
Sara Manzoni, Fabio Sartori, Giuseppe Vizzari
MICRO
2000
IEEE
162views Hardware» more  MICRO 2000»
13 years 11 months ago
Accurate and efficient predicate analysis with binary decision diagrams
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
John W. Sias, Wen-mei W. Hwu, David I. August
FLAIRS
2008
13 years 8 months ago
A Framework for Evaluating Semantic Knowledge in Problem-Solving-Based Intelligent Tutoring Systems
We describe a framework for building intelligent tutoring systems that offer an advanced evaluation of learners' semantic knowledge. The knowledge model makes a pedagogical d...
Philippe Fournier-Viger, Roger Nkambou, Andr&eacut...
EUROS
2008
194views Robotics» more  EUROS 2008»
13 years 9 months ago
Compiling POMDP Models for a Multimodal Service Robot from Background Knowledge
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...
Sven R. Schmidt-Rohr, Rainer Jäkel, Martin L&...