Luca Pulina

2021

Building the Semantic Layer of the Józef Piłsudski Digital Archive With an Ontology-Based Approach.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2021

SMT-Based Consistency Checking of Configuration-Based Components Specifications.

[BibT_eX]

[DOI]

Simone Vuotto

IEEE Access, 2021

ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

QBFFam: A Tool for Generating QBF Families from Proof Complexity.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

pyNeVer: A Framework for Learning and Verification of Neural Networks.

[BibT_eX]

[DOI]

Dario Guidotti

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Understanding and Modeling Visitor Behaviours for Enhancing Personalized Cultural Experiences.

[BibT_eX]

[DOI]

Int. J. Technol. Hum. Interact., 2020

NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks.

[BibT_eX]

[DOI]

Dario Guidotti

CoRR, 2020

Automated Requirements-Based Testing of Black-Box Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Verification of Neural Networks: Enhancing Scalability Through Pruning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Notes from the Guest Editors.

[BibT_eX]

[DOI]

Martina Seidl

J. Satisf. Boolean Model. Comput., 2019

Property specification patterns at work: verification and inconsistency explanation.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2019

The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17).

[BibT_eX]

[DOI]

Martina Seidl

Artif. Intell., 2019

Algorithm Selection for Paracoherent Answer Set Computation.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America.

[BibT_eX]

[DOI]

Marek Zielinski

Proceedings of the Digital Libraries: Supporting Open Science, 2019

SMT-based Planning for Robots in Smart Factories.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

A Survey on Applications of Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Poster: Automatic Consistency Checking of Requirements with ReqV.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Automata based test generation with SpecPro.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Requirements Engineering and Testing, 2019

CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of reconfigurable systems in unceRtain hybRid envirOnments: Invited paper: CERBERO teams from UniSS, UniCA, IBM Research, TASE, INSA-Rennes, UPM, USI, Abinsula, AmbieSense, TNO, S&T, CRF.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State.

[BibT_eX]

[DOI]

Arthur Bit-Monnot

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Verification and Repair of Neural Networks: A Progress Report on Convolutional Models.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

SMarTplan: a Task Planner for Smart Factories.

[BibT_eX]

[DOI]

CoRR, 2018

Automated Verification of Neural Networks: Advances, Challenges and Perspectives.

[BibT_eX]

[DOI]

CoRR, 2018

Translation-based approaches for solving disjunctive temporal problems with preferences.

[BibT_eX]

[DOI]

Enrico Giunchiglia

Constraints An Int. J., 2018

Verification and repair of control policies for safe reinforcement learning.

[BibT_eX]

[DOI]

Appl. Intell., 2018

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

ARKIVO: an Ontology for Describing Archival Resources.

[BibT_eX]

[DOI]

Marek Zielinski

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

A User Model Ontology for Adaptive Systems in Cultural Tourism Domain.

[BibT_eX]

[DOI]

Enrico Grosso

Proceedings of the Applications of Intelligent Systems, 2018

On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations.

[BibT_eX]

[DOI]

Proceedings of the Applications of Intelligent Systems, 2018

2017

Towards an Ontology for Describing Archival Resources.

[BibT_eX]

[DOI]

Marek Zielinski

Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe II) co-located with 16th International Semantic Web Conference (ISWC 2017), 2017

ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

More Adaptive Does not Imply Less Safe (with Formal Verification).

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Evaluating probabilistic model checking tools for verification of robot control policies.

[BibT_eX]

[DOI]

AI Commun., 2016

The Ninth QBF Solvers Evaluation - Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Framework for Automatic Population of Ontology-Based Digital Libraries.

[BibT_eX]

[DOI]

Giovanni Adorni

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Learning with Safety Requirements: State of the Art and Open Questions.

[BibT_eX]

[DOI]

Francesco Leofante

Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2016

2015

Multi-engine ASP solving with policy adaptation.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

An Ontology for Historical Research Documents.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Multi-level Algorithm Selection for ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

An Ontology-Based Archive for Historical Research.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Leveraging semantic web technologies for analysis of crime in social science.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

A Case for Robust AI in Robotics.

[BibT_eX]

[DOI]

Proceedings of the 2nd Italian Workshop on Artificial Intelligence and Robotics A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

An Empirical Perspective on Ten Years of QBF Solving.

[BibT_eX]

[DOI]

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Advances in Multi-engine ASP Solving.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

A multi-engine approach to answer-set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

Efficient DTPP solving with a reduction-based approach.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2014

The Multi-engine ASP Solver ME-ASP: Progress Report.

[BibT_eX]

[DOI]

CoRR, 2014

An Ontology for Container Terminal Operations.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

TROvE: a Graphical Tool to Evaluate OWL Reasoners.

[BibT_eX]

[DOI]

Jean-Rémi Bourguet

Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014

Towards practical space-variant based face recognition and authentication.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Biometrics and Forensics, 2014

Engineering Approaches and Methods to Verify Software in Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Autonomous Systems 13, 2014

2013

OBDA and Intermodal Logistics: Active Projects and Applications.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

FRaQuE: A Framework for Rapid Query Processing Evaluation.

[BibT_eX]

[DOI]

Jean-Rémi Bourguet

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Automated Selection of Grounding Algorithm in Answer Set Programming.

[BibT_eX]

[DOI]

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

A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences.

[BibT_eX]

[DOI]

Jean-Rémi Bourguet

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

How to Abstract Intelligence? (If Verification Is in Order).

[BibT_eX]

[DOI]

Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012

Challenging SMT solvers to verify neural networks.

[BibT_eX]

[DOI]

AI Commun., 2012

Solving disjunctive temporal problems with preferences using maximum satisfiability.

[BibT_eX]

[DOI]

AI Commun., 2012

The Multi-Engine ASP Solver me-asp.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Applying Machine Learning Techniques to ASP Solving.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Modeling biometric template update with Ant Colony Optimization.

[BibT_eX]

[DOI]

Enrico Grosso

Massimo Tistarelli

Proceedings of the 5th IAPR International Conference on Biometrics, 2012

Understanding Critical Factors in Appearance-Based Gender Categorization.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision - ECCV 2012. Workshops and Demonstrations, 2012

2011

NeVer: a tool for artificial neural networks verification.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

AQME'10.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2010

An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning.

[BibT_eX]

[DOI]

AI Commun., 2010

The Seventh QBF Solvers Evaluation (QBFEVAL'10).

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Safe Learning with Real-Time Constraints: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Trends in Applied Intelligent Systems, 2010

Safe and effective learning: A case study.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Designing a solver competition: the QBFEVAL'10 case study.

[BibT_eX]

[DOI]

Claudia Peschiera

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

Collaborative Expert Portfolio Management.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

A self-adaptive multi-engine solver for quantified Boolean formulas.

[BibT_eX]

[DOI]

Constraints An Int. J., 2009

Evaluating and certifying QBFs: A comparison of state-of-the-art tools.

[BibT_eX]

[DOI]

AI Commun., 2009

A Structural Approach to Reasoning with Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.

[BibT_eX]

[DOI]

Michael Zakharyaschev

Proceedings of the IJCAI 2009, 2009

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Hard QBF Encodings Made Easy: Dream or Reality?

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

QuBIS: An (In)complete Solver for Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008

Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

2007

A Multi-engine Solver for Quantified Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

Ranking and Reputation Systems in the QBF Competition.

[BibT_eX]

[DOI]

Massimo Narizzano

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Report of the Third QBF Solvers Evaluation.

[BibT_eX]

[DOI]

Massimo Narizzano

J. Satisf. Boolean Model. Comput., 2006

Empirical Evaluation of Scoring Methods.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2006, 2006

The QBFEVAL Web Portal.

[BibT_eX]

[DOI]

Massimo Narizzano