This work concerns the problem of broadcasting a large message efficiently when each processor has partial prior knowledge about the contents of the broadcast message. The partial information held by the processors might be out of date or otherwise erroneous, and consequently, different processors may hold conflicting information. The problem of Broadcast with Partial Knowledge (BPK) was introd...

Background: Feedback of the weak areas of knowledge in RPD using continuous competency or other test forms is very essential to develop the student knowledge and the syllabus as well. This act should be a regular practice. Aim: To use the outcome of competency test and the objectives structured clinical examination of removable partial denture as a reliable measure to provide a continuous feedb...

We consider intensional answers to be logical formulas expressing sufficient conditions for objects to belong to the usual answer to a query addressed to a knowledge base. We show that in the SLDNF-resolution framework, complete and procedurally complete sets of intensional answers can be generated by using partial evaluation. Specific treatments of recursion and negation are also presented.

This paper details an approach to cognitive diagnosis that enables the inference of detailed models of a student’s conceptualisation of a domain. This model is constructed be examining the attributes of the problems that the student has tackled and the student’s performance while tackling those problems. A feature network is used to represent educationally relevant domain knowledge. • This appr...