Sciweavers

187 search results - page 11 / 38
» Semantic Interpretation Based on the Multi-World Model
Sort
View
AI
2008
Springer
14 years 9 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey
ACL
1996
14 years 11 months ago
A Fully Statistical Approach to Natural Language Interfaces
We present a natural language interface system which is based entirely on trained statistical models. The system consists of three stages of processing: parsing, semantic interpre...
Scott Miller, David Stallard, Robert J. Bobrow, Ri...
FLAIRS
2008
14 years 11 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...
WWW
2004
ACM
15 years 11 months ago
Flexibility of Automatic Authoring for the Semantic Web
The LAOS model, a 5-layer adaptive hypermedia (AH) authoring model, was previously shown to specify a flexible framework for (collaborative) creation of material for the semantic ...
Alexandra I. Cristea
CADE
2007
Springer
15 years 4 months ago
Semantic Selection of Premisses for Automated Theorem Proving
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
Petr Pudlak