Zobrazeno 1 - 10
of 818
pro vyhledávání: '"Palmigiano, A."'
Autor:
Boersma, Marcel, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Tzimoulis, Apostolos, Wijnberg, Nachoem
Categorization of business processes is an important part of auditing. Large amounts of transactional data in auditing can be represented as transactions between financial accounts using weighted bipartite graphs. We view such bipartite graphs as man
Externí odkaz:
http://arxiv.org/abs/2408.15012
We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (LE algebras). We work in the purely algebraic setting of perfect LEs;
Externí odkaz:
http://arxiv.org/abs/2405.01262
Graph-based frames have been introduced as a logical framework which internalizes an inherent boundary to knowability. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptu
Externí odkaz:
http://arxiv.org/abs/2403.14026
Autor:
De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong
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 particular, we
Externí odkaz:
http://arxiv.org/abs/2403.03148
Autor:
De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong
We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general background environment for input/output logics. In this paper, we introd
Externí odkaz:
http://arxiv.org/abs/2402.07336
Autor:
Greati, Vitor, Greco, Giuseppe, Marcelino, Sérgio, Palmigiano, Alessandra, Rivieccio, Umberto
In general, providing an axiomatization for an arbitrary logic is a task that may require some ingenuity. In the case of logics defined by a finite logical matrix (three-valued logics being a particularly simple example), the generation of suitable f
Externí odkaz:
http://arxiv.org/abs/2401.03274
Autor:
Boersma, Marcel, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Tzimoulis, Apostolos, Wijnberg, Nachoem
Categorization is one of the basic tasks in machine learning and data analysis. Building on formal concept analysis (FCA), the starting point of the present work is that different ways to categorize a given set of objects exist, which depend on the c
Externí odkaz:
http://arxiv.org/abs/2312.12010
Autor:
van der Berg, Ineke, De Domenico, Andrea, Greco, Giuseppe, Manoorkar, Krishna B., Palmigiano, Alessandra, Panettiere, Mattia
We define LE-ALC, a generalization of the description logic ALC based on the propositional logic of general (i.e. not necessarily distributive) lattices, and semantically interpreted on relational structures based on formal contexts from Formal Conce
Externí odkaz:
http://arxiv.org/abs/2307.09561
Autor:
Boersma, Marcel, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Tzimoulis, Apostolos, Wijnberg, Nachoem
Categorization of business processes is an important part of auditing. Large amounts of transnational data in auditing can be represented as transactions between financial accounts using weighted bipartite graphs. We view such bipartite graphs as man
Externí odkaz:
http://arxiv.org/abs/2210.17330
Autor:
De Domenico, Andrea, Farjami, Ali, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Wang, Xiaolong
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical formalizatio
Externí odkaz:
http://arxiv.org/abs/2205.13903