Applications of answer set programming motivated various extensions of the stable model semantics, for instance, to allow aggregates or to facilitate interface with external ontology descriptions. We present a uniform, reductive view on these extensions by viewing them as special cases of formulas with generalized quantifiers. This is done by extending the first-order stable model semantics by Ferraris, Lee and Lifschitz to account for generalized quantifiers and then by reducing the individual extensions to this formalism

Lee, Joohyung

Meng, Yunsong

Monitoring of the electrical resistance of the Ta catalyst during the hot wire chemical vapor deposition (HWCVD) of thin silicon films gives information about filament condition. Using Ta filaments for silane decomposition not only the well known strong changes at the cold ends, but also changes of the central part of the filament were observed. Three different phenomena can be distinguished: silicide (stoichiometric TaxSiy alloys) growth on the filament surfaces, diffusion of Si into the Ta filament and thick silicon deposits (TSD) formation on the filament surface. The formation of different tantalum silicides on the surface as well as the in-diftusion of silicon increase the filament resistance, while the TSDs form additional electrical current channels and that result in a decrease of the filament resistance. Thus, the filament resistance behaviour during ageing is the result of the competition between these two processes. (c) 2007 Elsevier B.V. All rights reserved

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report)

Abstract

Similar works

Full text

Available Versions

Juelich Shared Electronic Resources

Dagstuhl Research Online Publication Server

RWTH Publications

Publikationsserver der RWTH Aachen University