Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules [PDF]
International Conference on Principles of Knowledge Representation and Reasoning, 2023 Chase algorithms are indispensable in the domain of knowledge base querying, which enable the extraction of implicit knowledge from a given database via applications of rules from a given ontology.
Tim S. Lyon, Piotr Ostropolski-Nalewaja
semanticscholar +1 more source
Representation theory of vertex operator algebras and orbifold conformal field theory [PDF]
Lie Groups, Number Theory, and Vertex
Algebras, 2020 We discuss some basic problems and conjectures in a program to construct general orbifold conformal field theories using the representation theory of vertex operator algebras. We first review a program to construct conformal field theories.
Yi-Zhi Huang
semanticscholar +1 more source
The semi-linear representation theory of the infinite symmetric group [PDF]
Representation Theory: An Electronic Journal of the AMS, 2019 We study the category A \mathcal {A} of smooth semilinear representations of the infinite symmetric group over the field of rational functions in infinitely many variables.
Rohit Nagpal, Andrew Snowden
semanticscholar +1 more source
Homogeneous vector bundles over abelian varieties via representation theory [PDF]
Representation Theory: An Electronic Journal of the AMS, 2018 Let A A be an abelian variety over a field. The homogeneous (or translation-invariant) vector bundles over A A form an abelian category HVec A \textrm {HVec}_A ; the ...
M. Brion
semanticscholar +1 more source
Modular Representation Theory of Affine and Cyclotomic Yokonuma-Hecke Algebras [PDF]
Algebras and Representation Theory, 2019 We explore the modular representation theory of affine and cyclotomic Yokonuma-Hecke algebras. We provide an equivalence between the category of finite dimensional representations of the affine (resp.
Weideng Cui, Jinkui Wan
semanticscholar +2 more sources
Pitkin’s Second Way: Freeing Representation Theory from Identity
Representation, 2020 Within the last decade, sociologists as well as scholars of political culture and elections have come to conclusions that should warn us about studying political interests as something that is linked to the identity of people in a group.
Mette Marie Staehr Harder
semanticscholar +1 more source
Robinson–Schensted–Knuth correspondence in the representation theory of the general linear group over a non-archimedean local field [PDF]
Representation Theory: An Electronic Journal of the AMS, 2019 We construct new “standard modules” for the representations of general linear groups over a local non-archimedean field. The construction uses a modified Robinson–Schensted–Knuth correspondence for Zelevinsky’s multisegments.
M. Gurevich, Erez Lapid
semanticscholar +1 more source
Content systems and deformations of cyclotomic KLR algebras of type
Annals of Representation Theory, 2022 This paper initiates a systematic study of the cyclotomic KLR algebras of affine types $A$ and $C$. We start by introducing a graded deformation of these algebras and the constructing all of the irreducible representations of the deformed cyclotomic KLR ...
A. Evseev, Andrew Mathas
semanticscholar +1 more source
On the Representation Theory of some Noncrossing Partition Quantum Groups [PDF]
Algebras and Representation Theory, 2018 We compute the representation theory of two families of noncrossing partition quantum groups connected to amalgamated free products and free wreath products.
Amaury Freslon
semanticscholar +1 more source
Steps to a Theory of Non-State Representation
Representation, 2021 Brito Vieira, Monica (ed.) Reclaiming Representation. Contemporary Advances in the Theory of Political Representation.
G. Caruso, T. Teivainen
semanticscholar +1 more source