E-LIB Suche - Ergebnisse für: La Manna, Marco

1

Discrete preference games with logic-based agents: Formal f..:

Greco, Gianluigi ; Manna, Marco
Artificial Intelligence. 332 (2024) - p. 104131 , 2024

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

2

A logic-based framework for characterizing nexus of similar..:

Amendola, Giovanni ; Manna, Marco ; Ricioppo, Aldo
Information Sciences. 664 (2024) - p. 120331 , 2024

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

3

Polynomial combined first-order rewritings for linear and g..:

Gottlob, Georg ; Manna, Marco ; Pieris, Andreas
Artificial Intelligence. 321 (2023) - p. 103936 , 2023

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

4

Dyadic Existential Rules:

GOTTLOB, GEORG ; MANNA, MARCO ; MARTE, CINZIA
Theory and Practice of Logic Programming. 24 (2023) 2 - p. 227-249 , 2023

Link: https://doi.org/10.1017/..

5

Cognitive Waveforms for Automotive Radar:

, In: 2022 IEEE 21st Mediterranean Electrotechnical Conference (MELECON),

La Manna, Mario ; La Manna, Marco - p. 313-317 , 2022

Link: https://doi.org/10.1109/..

6

Introduction to the TPLP Special Issue from the 16th Europe..:

CALIMERI, FRANCESCO ; MANNA, MARCO ; PERRI, SIMONA
Theory and Practice of Logic Programming. 21 (2021) 4 - p. 402-403 , 2021

Link: https://doi.org/10.1017/..

7

A Rapid and Simple Multiparameter Assay to Quantify Spike-S..:

Shekarkar Azgomi, Mojtaba ; La Manna, Marco ; Badami, Giusto...
Biomedicines. 9 (2021) 11 - p. 1576 , 2021

Link: https://doi.org/10.3390/..

8

Combining Deep Learning and ASP-Based Models for the Semant..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,

Bruno, Pierangela ; Calimeri, Francesco ; Marte, Cinzia. - p. 95-110 , 2021

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

9

I-DLV-sr: A Stream Reasoning System based on I-DLV:

CALIMERI, FRANCESCO ; MANNA, MARCO ; MASTRIA, ELENA...
Theory and Practice of Logic Programming. 21 (2021) 5 - p. 610-628 , 2021

Link: https://doi.org/10.1017/..

10

Reasoning over Ontologies with DLV:

, In: Communications in Computer and Information Science; Knowledge Discovery, Knowledge Engineering and Knowledge Management,

Allocca, Carlo ; Alviano, Mario ; Calimeri, Francesco... - p. 114-136 , 2020

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

11

Reasoning Web. Declarative Artificial Intelligence: 16th In..

Information Systems and Applications, incl. Internet/Web, and HCI, 12258

Manna, Marco ; Pieris, Andreas - 1st ed. 2020 . , 2020

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

12

A logic-based decision support system for the diagnosis of ..:

COSTABILE, ROBERTA ; CATALANO, GELSOMINA ; CUTERI, BERNARDO...
Theory and Practice of Logic Programming. 20 (2020) 6 - p. 864-879 , 2020

Link: https://doi.org/10.1017/..

13

DaRLing: A Datalog rewriter for OWL 2 RL ontological reason..:

FIORENTINO, ALESSIO ; ZANGARI, JESSICA ; MANNA, MARCO
Theory and Practice of Logic Programming. 20 (2020) 6 - p. 958-973 , 2020

Link: https://doi.org/10.1017/..

14

Non-line-of-sight-imaging using dynamic relay surfaces:

La Manna, Marco ; Nam, Ji-Hyun ; Azer Reza, Syed.
Optics Express. 28 (2020) 4 - p. 5331 , 2020

Link: https://doi.org/10.1364/..

15

Enhancing DLV for Large-Scale Reasoning:

, In: Logic Programming and Nonmonotonic Reasoning; Lecture Notes in Computer Science,

Leone, Nicola ; Allocca, Carlo ; Alviano, Mario... - p. 312-325 , 2019

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