The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Aiming at the design of Human-Computer Interaction (HCI) course system in software engineering, the HCI course system in Stanford University and the teaching practice details of related courses are analysed and studied. We sum up nearly five-years of teaching experience, propose a theoretical knowledge system of three levels in HCI, and build up a suitable road to reform and practice the course system.
So far, many nonmonotonic logics are available to deal with the problem of reasoning about completeness, consistency and priorities of the knowledge. The two representative formalisms of them are default reasoning and belief revision, on which the frameworks of Brewka's default theories and Rodrigues' structured clusters are based, respectively. In this paper, we present a framework with the meta-formalism...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.