Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus has been developed and used as a description language for feature structures. In the present work, a framework in three-valued logic is suggested for defining the semantics of a feature structure description language, a...

We introduce a family of partial stable model semantics for logic programs with arbitrary aggregate relations. The semantics are parametrized by the interpretation of aggregate relations in three-valued logic. Any semantics in this family satisfies two important properties: (i) it extends the partial stable semantics for normal logic programs and (ii) total stable models are always minimal. We ...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

The coincidence of the declarative and procedural interpretations of logic programs does not apply to Prolog programs, due to the depth-rst left-to-right evaluation strategy of Prolog interpreters. We propose a semantics for Prolog programs based on a four-valued logic. The semantics is based on a new concept of completion analogous to Clark's and it enjoys the nice properties of the declarativ...

We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a completeness result.  1998 Elsevier Science B.V. All rights reserved.

Through the development of set-valued information systems from models of single-valued information systems, we see there are important applications in the pattern recognition and intelligent decision-making. In this paper, we first introduce concept of dominance rough entropy in set-valued ordered information systems. When the average uncertainty quantity of rough set is measured in set-valued ...

We extend the characterization of extremal valued fields given in [1] to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that are extremal. The key to the proof is a model theoretic result about tame valued fields in mixed characteristic. Further, we prove that in an extremal valued field o...

The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute multi-valued solutions to the Hamilton-Jacobi equation and evaluate position density accordingly. In this paper we propose two approaches for computing multi-valued quantities related to density, momentum as well as energ...

Multiple classifiers combination is a technique that combines the decisions of different classifiers as to reduce the variance of estimation errors and improve the overall classification accuracy. A new multiple classifiers fusion method integrated classifier selection and classifier combination is proposed in this paper. It is base on interval-valued fuzzy permutation. Firstly, normalize all c...