| 2026 |
J |
jnl |
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
|
| 2025 |
J |
jnl |
Theory Pract. Log. Program.
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
|
| 2025 |
J |
jnl |
CoRR
Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi
|
| 2025 |
J |
jnl |
J. Medical Syst.
Cinzia Marte, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
|
| 2024 |
— |
conf |
HC@AIxIA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Cinzia Marte, Marco Mochi
|
| 2024 |
— |
conf |
CILC
Carmine Dodaro, Giuseppe Galatà, Cinzia Marte, Marco Maratea, Marco Mochi
|
| 2024 |
J |
jnl |
J. Log. Comput.
Carmine Dodaro, Giuseppe Galatà, Martin Gebser, Marco Maratea, Cinzia Marte, Marco Mochi, Marco Scanu
|
| 2024 |
— |
conf |
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Paola Cappanera, Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Gavanelli, Marco Maratea, Cinzia Marte, Marco Mochi, Maddalena Nonato, Marco Roma
|
| 2024 |
J |
jnl |
J. Log. Comput.
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
|
| 2024 |
J |
jnl |
Theory Pract. Log. Program.
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
|
| 2023 |
— |
conf |
HC@AIxIA
Giuseppe Galatà, Marco Maratea, Marco Mochi
|
| 2023 |
J |
jnl |
J. Log. Comput.
Marco Mochi, Giuseppe Galatà, Marco Maratea
|
| 2023 |
— |
conf |
CILC
Marco Scanu, Marco Mochi, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
|
| 2023 |
J |
jnl |
J. Log. Comput.
Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Nicholas Nisopoli, Ivan Porro
|
| 2023 |
— |
conf |
CILC
Simone Caruso, Carmine Dodaro, Giuseppe Galatà, Marco Maratea
|
| 2023 |
J |
jnl |
CoRR
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
|
| 2022 |
— |
conf |
CILC
Linda Cadermatori, Giuseppe Galatà, Carola Lo Monaco, Marco Maratea, Marco Mochi, Marco Schouten
|
| 2022 |
J |
jnl |
Theory Pract. Log. Program.
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
|
| 2021 |
B |
conf |
RuleML+RR
Matteo Cardellini, Paolo De Nardi, Carmine Dodaro, Giuseppe Galatà, Anna Giardini, Marco Maratea, Ivan Porro
|
| 2021 |
— |
conf |
AI*IA
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
|
| 2021 |
J |
jnl |
CoRR
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
|
| 2021 |
J |
jnl |
Theory Pract. Log. Program.
Carmine Dodaro, Giuseppe Galatà, Andrea Grioni, Marco Maratea, Marco Mochi, Ivan Porro
|
| 2021 |
— |
conf |
IPS-RCRA@AI*IA
Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro
|
| 2021 |
— |
conf |
IPS-RCRA@AI*IA
Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca
|
| 2021 |
J |
jnl |
CoRR
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
|
| 2021 |
— |
conf |
IPS-RCRA@AI*IA
Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
|
| 2020 |
— |
conf |
IPS-RCRA@AI*IA
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
|
| 2020 |
— |
conf |
IPS-RCRA@AI*IA
Mario Alviano, Riccardo Bertolucci, Matteo Cardellini, Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro, Marco Schouten
|
| 2020 |
— |
conf |
CILC
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro
|
| 2020 |
— |
conf |
AI*IA
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
|
| 2019 |
B |
conf |
RuleML+RR
Carmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro
|
| 2019 |
J |
jnl |
Intelligenza Artificiale
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
|
| 2018 |
— |
conf |
RiCeRcA@AI*IA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
|
| 2018 |
— |
conf |
AI*IA
Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro
|