E-LIB Suche - Ergebnisse für: Palmigiano, Alessandra

1

Correspondence Theory on Vector Spaces:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

Palmigiano, Alessandra ; Panettiere, Mattia ; Switrayni, Ni Wayan - p. 140-156 , 2024

2

Outlier detection using flexible categorization and interro..:

Boersma, Marcel ; Manoorkar, Krishna ; Palmigiano, Alessandra...
Decision Support Systems. 180 (2024) - p. 114196 , 2024

Link: https://doi.org/10.1016/..

3

Modal reduction principles across relational semantics:

Conradie, Willem ; De Domenico, Andrea ; Manoorkar, Krishna...
Fuzzy Sets and Systems. 481 (2024) - p. 108892 , 2024

Link: https://doi.org/10.1016/..

4

Modal reduction principles: a parametric shift to graphs:

Conradie, Willem ; Manoorkar, Krishna ; Palmigiano, Alessandra.
Journal of Applied Non-Classical Logics. 34 (2024) 2-3 - p. 174-222 , 2024

Link: https://doi.org/10.1080/..

5

Algebraic Proof Theory for LE-logics:

Greco, Giuseppe ; Jipsen, Peter ; Liang, Fei..
ACM Transactions on Computational Logic. 25 (2024) 1 - p. 1-37 , 2024

Link: https://doi.org/10.1145/..

6

Labelled Calculi for Lattice-Based Modal Logics:

, In: Logic and Its Applications; Lecture Notes in Computer Science,

van der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe... - p. 23-47 , 2023

Link: https://doi.org/10.1007/..

7

Samson Abramsky on Logic and Structure in Computer Science ..

Outstanding Contributions to Logic, 25

Palmigiano, Alessandra ; Sadrzadeh, Mehrnoosh - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

8

Non-distributive Description Logic:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

van der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe... - p. 49-69 , 2023

Link: https://doi.org/10.1007/..

9

Labelled Calculi for the Logics of Rough Concepts:

, In: Logic and Its Applications; Lecture Notes in Computer Science,

van der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe... - p. 172-188 , 2023

Link: https://doi.org/10.1007/..

10

Linear Logic Properly Displayed:

Greco, Giuseppe ; Palmigiano, Alessandra
ACM Transactions on Computational Logic. 24 (2023) 2 - p. 1-56 , 2023

Link: https://doi.org/10.1145/..

11

Subordination Algebras as Semantic Environment of Input/Out..:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,

De Domenico, Andrea ; Farjami, Ali ; Manoorkar, Krishna... - p. 326-343 , 2022

Link: https://doi.org/10.1007/..

12

Non-normal modal logics and conditional logics: Semantic an..:

Chen, Jinsheng ; Greco, Giuseppe ; Palmigiano, Alessandra.
Information and Computation. 287 (2022) - p. 104756 , 2022

Link: https://doi.org/10.1016/..

13

Syntactic Completeness of Proper Display Calculi:

Chen, Jinsheng ; Greco, Giuseppe ; Palmigiano, Alessandra.
ACM Transactions on Computational Logic. 23 (2022) 4 - p. 1-46 , 2022

Link: https://doi.org/10.1145/..

14

Rough concepts:

Conradie, Willem ; Frittella, Sabine ; Manoorkar, Krishna...
Information Sciences. 561 (2021) - p. 371-413 , 2021

Link: https://doi.org/10.1016/..

15

Slanted Canonicity of Analytic Inductive Inequalities:

De Rudder, Laurent ; Palmigiano, Alessandra
ACM Transactions on Computational Logic. 22 (2021) 3 - p. 1-41 , 2021

Link: https://doi.org/10.1145/..