Salvatore Ruggieri

According to our database, Salvatore Ruggieri authored at least 114 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Causal Perception.

José M. Álvarez, Salvatore Ruggieri

CoRR, 2024

Deep Neural Network Benchmarks for Selective Classification.

Andrea Pugnana, Lorenzo Perini, Jesse Davis, Salvatore Ruggieri

CoRR, 2024

2023

Explaining short text classification with diverse synthetic exemplars and counter-exemplars.

Orestis Lampridis, Laura State, Riccardo Guidotti, Salvatore Ruggieri

Mach. Learn., November, 2023

The Initial Screening Order Problem.

José M. Álvarez, Salvatore Ruggieri

CoRR, 2023

Demographic Parity Inspector: Fairness Audits via the Explanation Space.

Carlos Mougan, Laura State, Antonio Ferrara, Salvatore Ruggieri, Steffen Staab

CoRR, 2023

Reason to Explain: Interactive Contrastive Explanations (REASONX).

Laura State, Salvatore Ruggieri, Franco Turini

Proceedings of the Explainable Artificial Intelligence, 2023

Declarative Reasoning on Explanations Using Constraint Logic Programming.

Laura State, Salvatore Ruggieri, Franco Turini

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Trustworthy AI at KDD Lab.

Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Dino Pedreschi, Roberto Pellungrini, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Mattia Setzu, Rosaria Deluca

Proceedings of the Italia Intelligenza Artificiale, 2023

Domain Adaptive Decision Trees: Implications for Accuracy and Fairness.

José M. Álvarez, Kristen M. Scott, Bettina Berendt, Salvatore Ruggieri

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

The Explanation Dialogues: Understanding How Legal Experts Reason About XAI Methods.

Laura State, Alejandra Bringas Colmenarejo, Andrea Beretta, Salvatore Ruggieri, Franco Turini, Stephanie Law

Proceedings of the 2nd European Workshop on Algorithmic Fairness, 2023

Counterfactual Situation Testing: Uncovering Discrimination under Fairness given the Difference.

José Manuel Álvarez Colmenares, Salvatore Ruggieri

Proceedings of the 3rd ACM Conference on Equity and Access in Algorithms, 2023

GenFair: A Genetic Fairness-Enhancing Data Generation Framework.

Federico Mazzoni, Marta Marchiori Manerba, Martina Cinquini, Riccardo Guidotti, Salvatore Ruggieri

Proceedings of the Discovery Science - 26th International Conference, 2023

Causal Fairness-Guided Dataset Reweighting using Neural Networks.

Xuan Zhao, Klaus Broelemann, Salvatore Ruggieri, Gjergji Kasneci

Proceedings of the IEEE International Conference on Big Data, 2023

Correlation and Unintended Biases on Univariate and Multivariate Decision Trees.

Mattia Setzu, Salvatore Ruggieri

Proceedings of the IEEE International Conference on Big Data, 2023

Applied Data Science for Leasing Score Prediction.

Giuseppe Cianci, Roberto Goglia, Riccardo Guidotti, Matteo Kapllaj, Roberto Mosca, Andrea Pugnana, Franco Ricotti, Salvatore Ruggieri

Proceedings of the IEEE International Conference on Big Data, 2023

AUC-based Selective Classification.

Andrea Pugnana, Salvatore Ruggieri

Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

Fairness Implications of Encoding Protected Categorical Attributes.

Carlos Mougan, José Manuel Álvarez Colmenares, Salvatore Ruggieri, Steffen Staab

Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society, 2023

Can We Trust Fair-AI?

Salvatore Ruggieri, José M. Álvarez, Andrea Pugnana, Laura State, Franco Turini

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

A Model-Agnostic Heuristics for Selective Classification.

Andrea Pugnana, Salvatore Ruggieri

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Methods and tools for causal discovery and causal inference.

Ana Rita Nogueira, Andrea Pugnana, Salvatore Ruggieri, Dino Pedreschi, João Gama

WIREs Data Mining Knowl. Discov., 2022

Estimating the Total Volume of Queries to a Search Engine.

Fabrizio Lillo, Salvatore Ruggieri

IEEE Trans. Knowl. Data Eng., 2022

Predicting and explaining employee turnover intention.

Matilde Lazzari, José M. Álvarez, Salvatore Ruggieri

Int. J. Data Sci. Anal., 2022

Fairness implications of encoding protected categorical attributes.

Carlos Mougan, José M. Álvarez, Gourab K. Patro, Salvatore Ruggieri, Steffen Staab

CoRR, 2022

Bias Discovery within Human Raters: A Case Study of the Jigsaw Dataset.

Marta Marchiori Manerba, Riccardo Guidotti, Lucia C. Passaro, Salvatore Ruggieri

Proceedings of the 1st Workshop on Perspectivist Approaches to NLPerspectives@LREC 2022, 2022

2021

Introduction to The Special Section on Bias and Fairness in AI.

Toon Calders, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Salvatore Ruggieri

SIGKDD Explor., 2021

Give more data, awareness and control to individual citizens, and they will help COVID-19 containment.

Mirco Nanni, Gennady L. Andrienko, Albert-László Barabási, Chiara Boldrini, Francesco Bonchi, Ciro Cattuto, Francesca Chiaromonte, Giovanni Comandé, Marco Conti, Mark Coté, Frank Dignum, Virginia Dignum, Josep Domingo-Ferrer, Paolo Ferragina, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, Kimmo Kaski, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Stan Matwin, David Megías Jiménez, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Fabio Pianesi, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Vicenç Torra, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani

Ethics Inf. Technol., 2021

Ensemble of Counterfactual Explainers.

Riccardo Guidotti, Salvatore Ruggieri

Proceedings of the Discovery Science - 24th International Conference, 2021

2020

Bias in data-driven artificial intelligence systems - An introductory survey.

Eirini Ntoutsi, Pavlos Fafalios, Ujwal Gadiraju, Vasileios Iosifidis, Wolfgang Nejdl, Maria-Esther Vidal, Salvatore Ruggieri, Franco Turini, Symeon Papadopoulos, Emmanouil Krasanakis, Ioannis Kompatsiaris, Katharina Kinder-Kurlanda, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab

WIREs Data Mining Knowl. Discov., 2020

Causal inference for social discrimination reasoning.

Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri, Dino Pedreschi

J. Intell. Inf. Syst., 2020

Educational ecosystems for Information Science: The case of the University of Pisa.

Vittore Casarosa, Salvatore Ruggieri, Enrica Salvatori, Maria Simi, Simona Turbanti

Educ. Inf., 2020

Give more data, awareness and control to individual citizens, and they will help COVID-19 containment.

Mirco Nanni, Gennady L. Andrienko, Albert-László Barabási, Chiara Boldrini, Francesco Bonchi, Ciro Cattuto, Francesca Chiaromonte, Giovanni Comandé, Marco Conti, Mark Coté, Frank Dignum, Virginia Dignum, Josep Domingo-Ferrer, Fosca Giannotti, Riccardo Guidotti, Dirk Helbing, János Kertész, Sune Lehmann, Bruno Lepri, Paul Lukowicz, Anna Monreale, Katharina Morik, Nuria Oliver, Andrea Passarella, Andrea Passerini, Dino Pedreschi, Alex Pentland, Francesca Pratesi, Salvatore Rinzivillo, Salvatore Ruggieri, Arno Siebes, Roberto Trasarti, Jeroen van den Hoven, Alessandro Vespignani

CoRR, 2020

Bias in Data-driven AI Systems - An Introductory Survey.

Eirini Ntoutsi, Pavlos Fafalios, Ujwal Gadiraju, Vasileios Iosifidis, Wolfgang Nejdl, Maria-Esther Vidal, Salvatore Ruggieri, Franco Turini, Symeon Papadopoulos, Emmanouil Krasanakis, Ioannis Kompatsiaris, Katharina Kinder-Kurlanda, Claudia Wagner, Fariba Karimi, Miriam Fernández, Harith Alani, Bettina Berendt, Tina Kruegel, Christian Heinze, Klaus Broelemann, Gjergji Kasneci, Thanassis Tiropanis, Steffen Staab

CoRR, 2020

Explaining Sentiment Classification with Synthetic Exemplars and Counter-Exemplars.

Orestis Lampridis, Riccardo Guidotti, Salvatore Ruggieri

Proceedings of the Discovery Science - 23rd International Conference, 2020

2019

Complete Search for Feature Selection in Decision Trees.

Salvatore Ruggieri

J. Mach. Learn. Res., 2019

Sequential pattern mining for ICT risk assessment and management.

Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli

J. Log. Algebraic Methods Program., 2019

Factual and Counterfactual Explanations for Black Box Decision Making.

Riccardo Guidotti, Anna Monreale, Fosca Giannotti, Dino Pedreschi, Salvatore Ruggieri, Franco Turini

IEEE Intell. Syst., 2019

A Survey of Methods for Explaining Black Box Models.

Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini, Fosca Giannotti, Dino Pedreschi

ACM Comput. Surv., 2019

Estimating the Total Volume of Queries to Google.

Fabrizio Lillo, Salvatore Ruggieri

Proceedings of the World Wide Web Conference, 2019

On The Stability of Interpretable Models.

Riccardo Guidotti, Salvatore Ruggieri

Proceedings of the International Joint Conference on Neural Networks, 2019

SCube: A Tool for Segregation Discovery.

Alessandro Baroni, Salvatore Ruggieri

Proceedings of the Advances in Database Technology, 2019

Meaningful Explanations of Black Box AI Decision Systems.

Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Franco Turini

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Segregation discovery in a social network of companies.

Alessandro Baroni, Salvatore Ruggieri

J. Intell. Inf. Syst., 2018

Assessing the Stability of Interpretable Models.

Riccardo Guidotti, Salvatore Ruggieri

CoRR, 2018

Open the Black Box Data-Driven Explanation of Black Box Decision Systems.

Dino Pedreschi, Fosca Giannotti, Riccardo Guidotti, Anna Monreale, Luca Pappalardo, Salvatore Ruggieri, Franco Turini

CoRR, 2018

Local Rule-Based Explanations of Black Box Decision Systems.

Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Dino Pedreschi, Franco Turini, Fosca Giannotti

CoRR, 2018

How Data Mining and Machine Learning Evolved from Relational Data Base to Data Science.

Giuseppe Amato, Leonardo Candela, Donatella Castelli, Andrea Esuli, Fabrizio Falchi, Claudio Gennaro, Fosca Giannotti, Anna Monreale, Mirco Nanni, Pasquale Pagano, Luca Pappalardo, Dino Pedreschi, Francesca Pratesi, Fausto Rabitti, Salvatore Rinzivillo, Giulio Rossetti, Salvatore Ruggieri, Fabrizio Sebastiani, Maurizio Tesconi

Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017

Sequential Pattern Mining for ICT Risk Assessment and Prevention.

Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli

Proceedings of the Software Engineering and Formal Methods, 2017

Enumerating Distinct Decision Trees.

Salvatore Ruggieri

Proceedings of the 34th International Conference on Machine Learning, 2017

Efficiently Clustering Very Large Attributed Graphs.

Alessandro Baroni, Alessio Conte, Maurizio Patrignani, Salvatore Ruggieri

Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, Sydney, Australia, July 31, 2017

2016

Causal Discrimination Discovery Through Propensity Score Analysis.

Bilal Qureshi, Faisal Kamiran, Asim Karim, Salvatore Ruggieri

CoRR, 2016

A KDD Process for Discrimination Discovery.

Salvatore Ruggieri, Franco Turini

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2016

Classification Rule Mining Supported by Ontology for Discrimination Discovery.

Binh Thanh Luong, Salvatore Ruggieri, Franco Turini

Proceedings of the IEEE International Conference on Data Mining Workshops, 2016

2015

Introduction to the special issue on Artificial Intelligence for Society and Economy.

Salvatore Ruggieri

Intelligenza Artificiale, 2015

The layered structure of company share networks.

Andrea Romei, Salvatore Ruggieri, Franco Turini

Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

2014

Using t-closeness anonymity to control for non-discrimination.

Salvatore Ruggieri

Trans. Data Priv., 2014

On the complexity of quantified linear systems.

Salvatore Ruggieri, Pavlos Eirinakis, K. Subramani, Piotr Wojciechowski

Theor. Comput. Sci., 2014

A multidisciplinary survey on discrimination analysis.

Andrea Romei, Salvatore Ruggieri

Knowl. Eng. Rev., 2014

Decision tree building on multi-core using FastFlow.

Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati

Concurr. Comput. Pract. Exp., 2014

On quantified linear implications.

Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski

Ann. Math. Artif. Intell., 2014

Introduction to special issue on computational methods for enforcing privacy and fairness in the knowledge society.

Sergio Mascetti, Annarita Ricci, Salvatore Ruggieri

Artif. Intell. Law, 2014

Anti-discrimination Analysis Using Privacy Attack Strategies.

Salvatore Ruggieri, Sara Hajian, Faisal Kamiran, Xiangliang Zhang

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2014

2013

Discrimination Data Analysis: A Multi-disciplinary Bibliography.

Andrea Romei, Salvatore Ruggieri

Proceedings of the Discrimination and Privacy in the Information Society, 2013

The Discovery of Discrimination.

Dino Pedreschi, Salvatore Ruggieri, Franco Turini

Proceedings of the Discrimination and Privacy in the Information Society, 2013

Discrimination discovery in scientific project evaluation: A case study.

Andrea Romei, Salvatore Ruggieri, Franco Turini

Expert Syst. Appl., 2013

Learning from Polyhedral Sets.

Salvatore Ruggieri

Proceedings of the IJCAI 2013, 2013

Data Anonymity Meets Non-discrimination.

Salvatore Ruggieri

Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013

2012

A complexity perspective on entailment of parameterized linear constraints.

Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski

Constraints An Int. J., 2012

Subtree Replacement in Decision Tree Simplification.

Salvatore Ruggieri

Proceedings of the Twelfth SIAM International Conference on Data Mining, 2012

A study of top-k measures for discrimination discovery.

Dino Pedreschi, Salvatore Ruggieri, Franco Turini

Proceedings of the ACM Symposium on Applied Computing, 2012

Computational complexity of inclusion queries over polyhedral sets.

Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2012

Discovering Gender Discrimination in Project Funding.

Andrea Romei, Salvatore Ruggieri, Franco Turini

Proceedings of the 12th IEEE International Conference on Data Mining Workshops, 2012

Deciding Membership in a Class of Polyhedra.

Salvatore Ruggieri

Proceedings of the ECAI 2012, 2012

2011

k-NN as an implementation of situation testing for discrimination discovery and prevention.

Binh Luong Thanh, Salvatore Ruggieri, Franco Turini

Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2011

Who/Where Are My New Customers?

Salvatore Rinzivillo, Salvatore Ruggieri

Proceedings of the Emerging Intelligent Technologies in Industry, 2011

2010

Typing linear constraints.

Salvatore Ruggieri, Fred Mesnard

ACM Trans. Program. Lang. Syst., 2010

Data mining for discrimination discovery.

Salvatore Ruggieri, Dino Pedreschi, Franco Turini

ACM Trans. Knowl. Discov. Data, 2010

Integrating induction and deduction for finding evidence of discrimination.

Salvatore Ruggieri, Dino Pedreschi, Franco Turini

Artif. Intell. Law, 2010

DCUBE: discrimination discovery in databases.

Salvatore Ruggieri, Dino Pedreschi, Franco Turini

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

Variable ranges in linear constraints.

Salvatore Ruggieri, Fred Mesnard

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Porting Decision Tree Algorithms to Multicore Using FastFlow.

Marco Aldinucci, Salvatore Ruggieri, Massimo Torquati

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2010

Frequent regular itemset mining.

Salvatore Ruggieri

Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2010

2009

Measuring Discrimination in Socially-Sensitive Decision Records.

Dino Pedreschi, Salvatore Ruggieri, Franco Turini

Proceedings of the SIAM International Conference on Data Mining, 2009

2008

Typing Linear Constraints for Moding CLP() Programs.

Salvatore Ruggieri, Frédéric Mesnard

Proceedings of the Static Analysis, 15th International Symposium, 2008

A Case Study in Sequential Pattern Mining for IT-Operational Risk.

Valerio Grossi, Andrea Romei, Salvatore Ruggieri

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2008

Discrimination-aware data mining.

Dino Pedreschi, Salvatore Ruggieri, Franco Turini

Proceedings of the 14th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2008

2006

KDDML: A middleware language and system for knowledge discovery in databases.

Andrea Romei, Salvatore Ruggieri, Franco Turini

Data Knowl. Eng., 2006

2004

Bounded Nondeterminism of Logic Programs.

Dino Pedreschi, Salvatore Ruggieri

Ann. Math. Artif. Intell., 2004

Characterisations of Termination in Logic Programming.

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

YaDT: Yet another Decision Tree Builder.

Salvatore Ruggieri

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003

On proving left termination of constraint logic programs.

Frédéric Mesnard, Salvatore Ruggieri

ACM Trans. Comput. Log., 2003

On logic programs that always succeed.

Dino Pedreschi, Salvatore Ruggieri

Sci. Comput. Program., 2003

On computing the semi-sum of two integers.

Salvatore Ruggieri

Inf. Process. Lett., 2003

Preprocessing and Mining Web Log Data for Web Personalization.

Miriam Baglioni, U. Ferrara, Andrea Romei, Salvatore Ruggieri, Franco Turini

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

Classes of terminating logic programs.

Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus

Theory Pract. Log. Program., 2002

Efficient C4.5.

Salvatore Ruggieri

IEEE Trans. Knowl. Data Eng., 2002

Negation as Failure through Abduction: Reasoning about Termination.

Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

exists-Universal termination of logic programs.

Salvatore Ruggieri

Theor. Comput. Sci., 2001

Web log data warehousing and mining for intelligent web caching.

Francesco Bonchi, Fosca Giannotti, Cristian Gozzi, Giuseppe Manco, Mirco Nanni, Dino Pedreschi, Chiara Renso, Salvatore Ruggieri

Data Knowl. Eng., 2001

Data Mining for Intelligent Web Caching.

Francesco Bonchi, Fosca Giannotti, Giuseppe Manco, Chiara Renso, Mirco Nanni, Dino Pedreschi, Salvatore Ruggieri

Proceedings of the 2001 International Symposium on Information Technology (ITCC 2001), 2001

2000

Decidability of logic program semantics and applications to testing.

Salvatore Ruggieri

J. Log. Program., 2000

Parallelisation of C4.5 as a Particular Divide and Conquer Computation.

Primo Becuzzi, Massimo Coppola, Salvatore Ruggieri, Marco Vanneschi

Proceedings of the Parallel and Distributed Processing, 2000

1999

On Logic Programs That Do Not Fail.

Dino Pedreschi, Salvatore Ruggieri

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Verification of Logic Programs.

Dino Pedreschi, Salvatore Ruggieri

J. Log. Program., 1999

1998

Weakest Preconditions for Pure Prolog Programs.

Dino Pedreschi, Salvatore Ruggieri

Inf. Process. Lett., 1998

On Linguistic Quality of Natural Language Requirements.

Fabrizio Fabbrini, Mario Fusani, Vincenzo Gervasi, Stefania Gnesi, Salvatore Ruggieri

Proceedings of the Requirements Engineering: Foundation for Software Quality, 1998

A Complete Declarative Debugger of Missing Answers.

Salvatore Ruggieri

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997

Verification of Meta-Interpreters.

Dino Pedreschi, Salvatore Ruggieri

J. Log. Comput., 1997

Describing the MMI2 demonstrators with the IMMPS reference model.

Salvatore Ruggieri, Michael D. Wilson

Comput. Stand. Interfaces, 1997

A standard reference model for intelligent multimedia presentation systems.

Monica Bordegoni, Giorgio P. Faconti, Steven Feiner, Mark T. Maybury, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson

Comput. Stand. Interfaces, 1997

1996

Intelligent Multimedia Presentation Systems: A Proposal for a Reference Model.

Monica Bordegoni, Giorgio P. Faconti, Thomas Rist, Salvatore Ruggieri, Panos E. Trahanias, Michael D. Wilson

Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996

On Termination of Constraint Logic Programs.

Salvatore Ruggieri

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

A Case Study in Logic Program Verification: the Vanilla Metainterpreter.

Dino Pedreschi, Salvatore Ruggieri

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Proving (total) correctness of Prolog programs.

Salvatore Ruggieri

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

Termination is Language-Independent.

Dino Pedreschi, Salvatore Ruggieri

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994