Related papers: Negation in SPARQL
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…
We study cohomology for classical Lie superalgebras $\mathfrak{g}$ (e.g. gl(m|n)) over the complex numbers. Using results from invariant theory, we show that there exist subsuperalgebras which detect the cohomology of $\mathfrak{g}.$…
We study the interpolation group whose elements are suitable pairs of formal power series. This group has a faithful representation into infinite lower triangular matrices and carries thus a natural structure as a Lie group. The matrix…
This paper develops a new approach to computational argumentation that is informed by philosophical and linguistic views. Namely, it takes into account two ideas that have received little attention in the literature on computational…
Categorization is a significant task in decision-making, which is a key part of human behavior. An interference effect is caused by categorization in some cases, which breaks the total probability principle. A negation quantum model (NQ…
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, methods for debugging an answer-set program are recognised as a…
We study Lie algebra prederivations. A Lie algebra admitting a non-singular prederivation is nilpotent. We classify filiform Lie algebras admitting a non-singular prederivation but no non-singular derivation. We prove that any 4-step…
The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes graph to describe a set of shape constraints paired with…
We add strong negation $N$ to classical logic and interpret the attack relation of "$x$ attacks $y$" in argumentation as $(x\to Ny)$. We write a corresponding object level (using $N$ only) classical theory for each argumentation network and…
Using reduction of spherical functions, we obtain generators of the algebra and the field of invariants for the coadjoint representation of Borel and maximal nilpotent subalgebras of simple Lie algebras.
What is Sequence Algebra? This is a question that any teacher or student of mathematics or computer science can engage with. Sequences are in Calculus, Combinatorics, Statistics and Computation. They are foundational, a step up from number…
The introduction of explicit notions of rejection, or disbelief, into logics for knowledge representation can be justified in a number of ways. Motivations range from the need for versions of negation weaker than classical negation, to the…
The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically…
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a semantic environment of various input/output logics. In…
In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non-compact algebras $su(n,n)$. Earlier were given the main multiplets of indecomposable elementary…
In this paper, we study the structure of closed algebraic ideals in the algebra of operators acting on a Lorentz sequence space.
This paper develops the structure theory of a Malcev algebra via the consideration of its most important and largest Lie (sub-) algebra. We introduce the notion of a Lie algebra which uniquely corresponds to a Malcev algebra and use this…
The World Wide Web currently evolves into a Web of Linked Data where content providers publish and link data as they have done with hypertext for the last 20 years. While the declarative query language SPARQL is the de facto for querying…
We describe some examples of non abelian nilpotent Lie algebras which are not algebraic.
Fock space representations of the Lie superalgebra $sl(n+1|m)$ and of its quantum analogue $U_q[sl(n+1|m)]$ are written down. The results are based on a description of these superalgebras via creation and annihilation operators. The…