1   2   3   4   5   6   7  
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling
Chesani, F.; Cota, G.; Gavanelli, M.; Lamma, E.; Mello, P.; Riguzzi, F.     details >>

Contributo in rivista (Pubblicazione in Rivista)
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Vol. 95, No. 1, pp: 1-11, Anno: 2020

The horn fragment of branching algebra
Bertagnon, Alessandro; Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido; Trevisani, Stefano     details >>

Atto di Convegno (Proceedings)
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Vol. 178, No. 1, pp: 1-16, Anno: 2020

Accountable protocols in abductive logic programming (extended abstract)
Gavanelli, M.; Alberti, M.; Lamma, E.     details >>

Atto di Convegno (Proceedings)
Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol. 325, No. 1, pp: 276-277, Anno: 2020

Improved filtering for the Euclidean Traveling Salesperson Problem in CLP(FD)
Bertagnon, Alessandro; Gavanelli, Marco     details >>

Atto di Convegno (Proceedings)
AAAI Press, The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020
Vol. 34, No. 2, pp: 1412-1419, Anno: 2020

On (maximal, tractable) fragments of the branching algebra
Bertagnon, Alessandro; Gavanelli, Marco; Sciavicco, Guido; Trevisani, Stefano     details >>

Atto di Convegno (Proceedings)
RWTH Aachen University, Proceedings of the 35th Edition of the Italian Conference on Computational Logic (CILC 2020)
Vol. 2710, No. 1, pp: 113-126, Anno: 2020

Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints
Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.     details >>

Atto di Convegno (Proceedings)
CEUR Workshop Proceedings, IPS-RCRA 2020 Italian Workshop on Planning and Scheduling and International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Vol. 2745, No. 1, pp: 1-15, Anno: 2020

Dischargeable Obligations in the ScIFF Framework
Alberti, M.; Gavanelli, M.; Lamma, E.; Riguzzi, F.; Satoh, K.; Zese, R.     details >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 176, No. 3-4, pp: 321-348, Anno: 2020

Wavelength-Routed Optical Networks-on-Chip: Design Methods and Tools to Bridge the Gap Between Logic Topologies and Physical Ones in 3D Architectures
Bertozzi, Davide; Gavanelli, Marco; Nonato, Maddalena     details >>

Atto di Convegno (Proceedings)
ACM, Proceedings of the 2018 on Great Lakes Symposium on VLSI
pp: 311-316, Anno: 2018

A network model for routing-fault-free wavelength selection in WRONoCs design
Nonato, Maddalena; Bertozzi, Davide; Gavanelli, Marco; Peano, Andrea     details >>

Contributo in rivista (Pubblicazione in Rivista)
ELECTRONIC NOTES IN DISCRETE MATHEMATICS
Vol. 64, No. 1, pp: 285-294, Anno: 2018

Evaluating Compliance: From LTL to Abductive Logic Programming
Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco     details >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 35-63, Anno: 2018

Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     details >>

Contributo in rivista (Pubblicazione in Rivista)
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 65-93, Anno: 2018

Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina     details >>

Contributo in rivista (Pubblicazione in Rivista)
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46-1-46-20, Anno: 2018

Deciding the Consistency of Branching Time Interval Networks
Gavanelli, Marco; Passantino, Alessandro; Sciavicco, Guido     details >>

Atto di Convegno (Proceedings)
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Proceedings of the 25th International Symposium on Temporal Representation and Reasoning
Vol. 120, No. 1, pp: 1-15, Anno: 2018

Dischargeable obligations in abductive logic programming
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo     details >>

Atto di Convegno (Proceedings)
Springer Verlag, International Joint Conference on Rules and Reasoning, RuleML+RR 2017; London; United Kingdom; 12 July 2017 through 15 July 2017
Vol. 10364, No. 1, pp: 7-21, Anno: 2017

SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX
Marco Gavanelli     details >>

Contributo in rivista (Pubblicazione in Rivista)
INTELLIGENZA ARTIFICIALE
Vol. 11, No. 1, pp: 81-92, Anno: 2017

Abductive Logic Programming for Normative Reasoning and Ontologies
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     details >>

Atto di Convegno (Proceedings)
Springer, New Frontiers in Artificial Intelligence (JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers)
Vol. 10091, No. 1, pp: 187-203, Anno: 2017

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
Gavanelli, Marco; Nonato, Maddalena; Peano, Andrea; Bertozzi, Davide     details >>

Atto di Convegno (Proceedings)
Cambridge University Press, THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 17, No. 5-6, pp: 800-818, Anno: 2017

Practical Aspects of Declarative Languages: 18th international symposium, PADL 2016 St. Petersburg, FL, USA, January 18-19, 2016 proceedings
Gavanelli, Marco; Reppy, John     details >>

Curatela
Springer Verlag, LECTURE NOTES IN COMPUTER SCIENCE
Vol. 9585, No. 1, Anno: 2016

Design technology for fault-free and maximally-parallel wavelength-routed optical networks-on-chip
Peano, Andrea; Ramini, Luca; Gavanelli, Marco; Nonato, Maddalena; Bertozzi, Davide     details >>

Atto di Convegno (Proceedings)
Institute of Electrical and Electronics Engineers Inc., 2016 IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Vol. 07-10-, No. 1, pp: 1-8, Anno: 2016

Preface
Gavanelli, Marco; Reppy, John     details >>

Contributo in volume
Springer International Publishing, Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Vol. 9585, No. 1, pp: V-V, Anno: 2016

1   2   3   4   5   6   7