Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
Hi-index | 0.01 |
Abstract: We introduce a generic and flexible ontology for modeling ill-structured knowledge domains within intelligent educational systems. The ontology is based on the Theory of Cognitive Flexibility. We have prototyped the ontology on a deductive object oriented database system. We provide simple and concrete examples that demonstrate benefits of the ontology, such as extensibility, flexibility and support for implementing authoring environments.