We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. One short-coming of our initial proposal is that the considered formalisms admit only acyclic TBoxes, but not GCIs. In this paper, we define DL action formalisms that admit GCIs, propose a pragmatic approach t...

This paper puts forward a framework for probabilistic and holistic cost-effectiveness analysis to provide support in selecting the least-cost set of measures to reach a multidimensional environmental objective. Following the principles of ecosystem-based management, the framework includes a flexible methodology for deriving and populating criteria for effectiveness and costs and analyzing compl...

Modeling and simulation of time domain faults in digital systems p. 5 Sizing CMOS circuits for increased transient error tolerance p. 11 Low-area on-chip circuit for jitter measurement in a phase-locked loop p. 17 Necessary and sufficient conditions for the existence of totally self-checking circuits p. 25 Self-checking code-disjoint carry-select adder with low area overhead by use of add1-circ...

The aim of this paper is to benchmark various semantic repositories in order to evaluate their deployment in a commercial image retrieval and browsing application. We adopt a two-phase approach for evaluating the target semantic repositories: analytical parameters such as query language and reasoning support are used to select the pool of the target repositories, and practical parameters such a...

................................................................................................................................. 3 TABLE OF CONTENTS ..................................................................................................................... 4 LIST OF FIGURES...................................................................................................................