This paper is a contribution to formal ontology study. Some entities belong more or less to a class. In particular, some individual entities are attached to classes whereas they d...
The purpose of this working session is to solicit feedback from the software architecture community for the revision of IEEE Std 1471 (now also ISO/IEC 42010), to identify topics ...
In this paper we report some of the research endeavors we are embarking on as part of the Doctoral research of the first author. We have already completed an investigation of some...
Two of the most efficient planners for planning in nondeterministic domains are MBP and ND-SHOP2. MBP achieves its efficiency by using Binary Decision Diagrams (BDDs) to represent...
Some students cheat by buying solutions to assignments and paying other people to sit their exams. We investigated such a case in 2001, in which around thirty students appear to h...