E-LIB Suche - Ergebnisse für: Panettiere, Mattia

1

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/..

2

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

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

3

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/..

4

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/..

5

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/..

6

Reconciling transparency, low Δ0-complexity and axiomatic w..:

Cantone, Domenico ; Omodeo, Eugenio G ; Panettiere, Mattia
Journal of Logic and Computation. 33 (2023) 4 - p. 738-763 , 2023

Link: https://doi.org/10.1093/..

7

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/..

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

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/..

10

Labelled calculi for the logics of rough concepts:

van der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe...
http://arxiv.org/abs/2401.10143. , 2024

Link: http://arxiv.org/abs/240..

11

Labelled calculi for lattice-based modal logics:

van der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe...
http://arxiv.org/abs/2401.09887. , 2024

Link: http://arxiv.org/abs/240..

12

A Meta-Learning Algorithm for Interrogative Agendas:

Acar, Erman ; De Domenico, Andrea ; Manoorkar, Krishna.
http://arxiv.org/abs/2301.01837. , 2023

Link: http://arxiv.org/abs/230..

13

Game semantics for lattice-based modal {\mu}-calculus:

Ding, Yiwen ; Manoorkar, Krishna ; Panettiere, Mattia..
http://arxiv.org/abs/2310.13944. , 2023

Link: http://arxiv.org/abs/231..

14

Non-distributive description logic:

van der Berg, Ineke ; De Domenico, Andrea ; Greco, Giuseppe...
http://arxiv.org/abs/2307.09561. , 2023

Link: http://arxiv.org/abs/230..

15

Outlier detection using flexible categorisation and interro..:

Boersma, Marcel ; Manoorkar, Krishna ; Palmigiano, Alessandra...
http://arxiv.org/abs/2312.12010. , 2023

Link: http://arxiv.org/abs/231..