We deene an order independent version of default uniication on typed feature structures. The operation is one where default information in a feature structure typed with a more speciic type, will override default information in a feature structure typed with a more general type, where speciicity is deened by the subtyping relation in the type hierarchy. The operation is also able to handle feat...

the paper presents the results of an investigation on the acoustic performance of vertical profile parallel barriers with quadratic residue diffuser tops and faces. a 2d boundary element method (bem) is used to predict the barrier insertion loss. the results of rigid and with absorptive coverage are also calculated for comparisons. using qrd on the top surface and faces of all vertical profile ...

most common hypotheses of seizure initiation are increased neural excitation, decreased inhibition or both. but, the conditions that lead to these activation states not to be clear yet. recent studies challenge traditional concepts and indicate new evidence that a key epileptogenic process may actually begin in the blood vessel. seizures could be initiate by a variety of insults to the brain, s...

the paper presents the results of an investigation on the acoustic performance of vertical profile parallel barriers with quadratic residue diffuser tops and faces. a 2d boundary element method (bem) was used to predict the barrier insertion loss. the results of rigid and with absorptive coverage were also calculated for comparisons. using qrd on the top surface and faces of all vertical profil...

Default unification represents a fundamental extension of the common unification operation, where even in case of inconsistency between the information to be merged, there will always be a result. As default unification is no longer a commutative operation, a distinction is made between the argument containing default information, the background, and the other argument consisting of non-default...

We address the problem of reasoning about preferences among properties (outcomes, desiderata, etc.) in Reiter’s default logic. Preferences are expressed using an ordered default theory, consisting of default rules, world knowledge, and an ordering, reflecting preference, on the default rules. In contrast with previous work in the area, we do not rely on prioritised versions of default logic, bu...