Sciweavers

15754 search results - page 125 / 3151
» Programs are Knowledge Bases
Sort
View
AIPS
1996
15 years 5 months ago
Static and Completion Analysis for Planning Knowledge Base Development and Verification
A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Pla...
Steve A. Chien
ECAI
2006
Springer
15 years 7 months ago
Compiling Possibilistic Knowledge Bases
Abstract. Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, de...
Salem Benferhat, Henri Prade
AIED
2009
Springer
15 years 10 months ago
Student Knowledge Diagnosis Using Item Response Theory and Constraint-Based Modeling
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
Jaime Gálvez, Eduardo Guzmán, Ricard...
SEMWEB
2009
Springer
15 years 10 months ago
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
José Júlio Alferes, Matthias Knorr, ...
NAR
2002
48views more  NAR 2002»
15 years 3 months ago
PharmGKB: the Pharmacogenetics Knowledge Base
The Pharmacogenetics Knowledge Base (PharmGKB; http://www.pharmgkb.org/) contains genomic, phenotype and clinical information collected from ongoing pharmacogenetic studies. Tools...
Micheal Hewett, Diane E. Oliver, Daniel L. Rubin, ...