Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Symmetric closure
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Symmetry-based state space pruning techniques have proved to greatly improve heuristic search based classical planners. Similarly… Expand
2015
2015
The purpose of the present work is to establish a one-to-one cor- respondence between the family of interval type-2 fuzzy reexive… Expand
2014
2014
Links between heterogeneous data sets may be found by using a generalisation of keys in databases, called linkkeys, which apply… Expand
2010
2010
We present a nondeterministic polynomial-time decision pro- cedure for an extension of multi-level syllogistic with the singleton… Expand
2008
2008
I first summarize Baltag and Smets’ contribution to this volume, and praise their work. Then I compare the anti-lexicographic… Expand
2006
2006
In this paper we study the fragment of Dung's argumentation theory in which the strict attack relation is acyclic. We show that… Expand
2005
2005
Abstract.For an arbitrary set E and a given closure operator
$$ \sigma :\,\mathcal{P}(E) \to \,\mathcal{P}(E) $$, we want to… Expand
2002
2002
We consider formal provability with structural induction and related proof principles in the λ-calculus presented with first… Expand
2001
2001
Abstract The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed… Expand
1996
1996
Abstract In this paper we present a classification into three categories of the imprimitive non-symmetric association schemes… Expand