73 search results - page 6 / 15 » Nonmonotonic Model Inference-A Formalization of Student Mode... |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
FORTE
2008
13 years 8 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
IJCAI
1989
13 years 8 months ago
1989
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
Professors often develop anecdotal guidelines about how each student’s past performance in their academic major relates to their performance in later courses. While these guidel...
ANSS
2000
IEEE
13 years 11 months ago
2000
IEEE
This work is devoted to present the design and implementation of Alfa-1, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of th...