Andrea Formisano

139 papers A* 1A 5B 13C 1Journal 50Unranked 57
YearRankTypeTitle / Venue / Authors
2025 A conf
A Prototyping Framework for Reduct-Based ELP Solvers: Methodology and Implementation.
ECAI
Stefania Costantini, Andrea Formisano
2025 — conf
Diophantine Modeling of Provability in Algebraic Logic.
CILC
Andrea Formisano, Isacco Gavazzi, Eugenio G. Omodeo
2025 J jnl
GPU Accelerated Compact-Table Propagation.
CoRR
Enrico Santi, Fabio Tardivo, Agostino Dovier, Andrea Formisano
2025 J jnl
GPU Accelerated Compact-Table Propagation.
Theory Pract. Log. Program.
Enrico Santi, Agostino Dovier, Andrea Formisano, Fabio Tardivo
2025 — conf
GPU-Accelerated Propagation for the Stable Marriage Constraint.
CILC
Stefano Travasci, Fabio Tardivo, Andrea Formisano
2025 B conf
XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions.
ICLP
Agostino Dovier, Talissa Dreossi, Andrea Formisano, Benedetta Strizzolo
2024 J jnl
Advances in Computational Logic (CILC23): Preface.
J. Log. Comput.
Agostino Dovier, Andrea Formisano
2024 — conf
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language.
CILC
Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio
2024 J jnl
Constraint propagation on GPU: a case study for the cumulative constraint.
Constraints An Int. J.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2024 B conf
Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration.
ICLP
Flavio Bertini, Alessandro Dal Palù, Federica Zaglio, Francesco Fabiano, Andrea Formisano
2024 J jnl
Epistemic Logic Programs: A Study of Some Properties.
Theory Pract. Log. Program.
Stefania Costantini, Andrea Formisano
2024 — conf
Solver Fast Prototyping for Reduct-based ELP Semantics.
CILC
Stefania Costantini, Andrea Formisano
2024 B conf
Towards Explainable Weather Forecasting Through FastLAS.
LPNMR
Talissa Dreossi, Agostino Dovier, Andrea Formisano, Mark Law, Agostino Manzato, Alessandra Russo, Matthew Tait
2024 — conf
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions.
CILC
Agostino Dovier, Talissa Dreossi, Andrea Formisano
2023 — conf
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents.
WOA
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2023 B conf
An xAI Approach for Data-to-Text Processing with ASP.
ICLP
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2023 B conf
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.
CPAIOR
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
Constraint propagation on GPU: A case study for the AllDifferent constraint.
J. Log. Comput.
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2023 J jnl
Epistemic Logic Programs: a study of some properties.
CoRR
Stefania Costantini, Andrea Formisano
2023 — conf
Fast Prototyping of a Solver for Reduct-based ELP Semantics.
CILC
Stefania Costantini, Andrea Formisano
2023 — conf
Preference Management in Epistemic Logic L-DINF.
CILC
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2023 — ed.
Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023.
CILC
Agostino Dovier, Andrea Formisano
2023 — ch.
Prolog Meets Biology.
Prolog: The Next 50 Years
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2023 — conf
Students' Careers and AI: a decision-making support system for Academia.
Ital-IA
Flavio Bertini, Alessandro Dal Palù, Andrea Formisano, Andrea Pintus, Sara Rainieri, Luana Salvarani
2023 — conf
Towards Explainable Data-to-text Generation.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2022 — conf
Cognitive Aspects in Epistemic Logic L-DINF.
CAKR@IJCAI
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2022 — conf
Constraints propagation on GPU: A case study for AllDifferent.
CILC
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
2022 B conf
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF.
RuleML+RR
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2022 B conf
Epistemic Logic Programs: A Study of Some Properties.
LPNMR
Stefania Costantini, Andrea Formisano
2022 — conf
Epistemic Logic Programs: a Novel Perspective and Some Extensions.
ICLP Workshops
Stefania Costantini, Andrea Formisano
2022 — conf
Epistemic Logic Programs: an approach to Semantic Comparison.
CILC
Stefania Costantini, Andrea Formisano
2022 — conf
GPU parallelism for SAT solving heuristics.
CILC
Michele Collevati, Agostino Dovier, Andrea Formisano
2022 — conf
Modelling Agents Roles in the Epistemic Logic L-DINF.
NMR
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2022 J jnl
Parallel Logic Programming: A Sequel.
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2022 — conf
Temporalizing Epistemic Logic L-DINF.
CILC
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 A conf
A Logic of Inferable in Multi-Agent Systems with Budget and Costs.
AAMAS
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 J jnl
Adding Metalogic Features to Knowledge Representation Languages.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano
2021 — conf
An Epistemic Logic for Modular Development of Multi-Agent Systems.
EMAS@AAMAS
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 B conf
An Epistemic Logic for Multi-agent Systems with Budget and Costs.
JELIA
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2021 J jnl
Introduction to the 37th International Conference on Logic Programming Special Issue I.
Theory Pract. Log. Program.
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
2021 J jnl
Introduction to the 37th International Conference on Logic Programming Special Issue II.
Theory Pract. Log. Program.
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
2021 J jnl
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments").
CoRR
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
2021 J jnl
Parallel Logic Programming: A Sequel.
CoRR
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
2021 — ed.
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021.
ICLP Technical Communications
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
2021 J jnl
Scalable Energy Games Solvers on GPUs.
IEEE Trans. Parallel Distributed Syst.
Andrea Formisano, Raffaella Gentilini, Flavio Vella
2019 — conf
Augmenting Datalog
AI*IA
Stefania Costantini, Andrea Formisano
2019 — conf
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features.
CILC
Stefania Costantini, Andrea Formisano
2019 — conf
GPU-Based Parallelism for ASP-Solving.
DECLARE
Agostino Dovier, Andrea Formisano, Flavio Vella
2019 J jnl
GPU-based parallelism for ASP-solving.
CoRR
Agostino Dovier, Andrea Formisano, Flavio Vella
2019 J jnl
Introduction to the 35th International Conference on Logic Programming Special Issue.
CoRR
Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
2019 J jnl
Introduction to the 35th International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program.
Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
2019 J jnl
Multi-context systems in dynamic environments.
Ann. Math. Artif. Intell.
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
2019 — ed.
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019.
ICLP Technical Communications
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
2018 J jnl
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2018 — conf
2D object reconstruction with ASP.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2018 J jnl
ASP Applications in Bio-informatics: A Short Tour.
Künstliche Intell.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 J jnl
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules.
Int. J. Agent Oriented Softw. Eng.
Stefania Costantini, Andrea Formisano
2018 — ch.
Exploring life: answer set programming in bioinformatics.
Declarative Logic Programming
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 — ch.
Parallel Answer Set Programming.
Handbook of Parallel Constraint Reasoning
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2018 — conf
Timed Memory in Resource-Bounded Agents.
AI*IA
Stefania Costantini, Andrea Formisano, Valentina Pitoni
2017 — conf
Accelerating Energy Games Solvers on Modern Architectures.
IA3@SC
Andrea Formisano, Raffaella Gentilini, Flavio Vella
2017 J jnl
Accelerating Energy Games Solvers on Modern Architectures.
CoRR
Andrea Formisano, Raffaella Gentilini, Flavio Vella
2017 — conf
Multi-Context Systems: Dynamics and Evolution.
ASPOCP@LPNMR
Pedro Cabalar, Stefania Costantini, Andrea Formisano
2016 C conf
A GPU Implementation of the ASP Computation.
PADL
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
2016 — conf
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules.
AAMAS Workshops (Visionary Papers)
Stefania Costantini, Andrea Formisano
2016 — conf
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules.
EMAS@AAMAS
Stefania Costantini, Andrea Formisano
2016 A conf
Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract).
AAMAS
Stefania Costantini, Andrea Formisano
2016 — conf
Logic Programming Applied to Genome Evolution in Cancer.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
2016 A conf
Multi-Context Systems in Time.
ECAI
Stefania Costantini, Andrea Formisano
2016 J jnl
Preface.
Fundam. Informaticae
Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni
2016 — ed.
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), Genova, Italy, November 28, 2016.
RCRA@AI*IA
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2016 J jnl
Query Answering in Resource-Based Answer Set Semantics.
CoRR
Stefania Costantini, Andrea Formisano
2016 J jnl
Query answering in resource-based answer set semantics.
Theory Pract. Log. Program.
Stefania Costantini, Andrea Formisano
2016 J jnl
Theoretical Computer Science in Italy.
Theor. Comput. Sci.
Stefano Bistarelli, Andrea Formisano
2015 J jnl
CUD@SAT: SAT solving on GPUs.
J. Exp. Theor. Artif. Intell.
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2015 J jnl
Negation as a Resource: a Novel View on Answer Set Semantics.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano
2015 — conf
Parallel Execution of the ASP Computation - an Investigation on GPUs.
ICLP (Technical Communications)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
2015 — ed.
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), Ferrara, Italy, September 22, 2015.
RCRA@AI*IA
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2014 — conf
On multiple learning schemata in conflict driven solvers.
ICTCS
Andrea Formisano, Flavio Vella
2014 — conf
Preface.
ICTCS
Stefano Bistarelli, Andrea Formisano
2014 — ed.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014.
ICTCS
Stefano Bistarelli, Andrea Formisano
2014 — conf
Query Answering in Resource-Based Answer Set Semantics.
CILC
Stefania Costantini, Andrea Formisano
2013 J jnl
Autonomous agents coordination: Action languages meet CLP() and Linda.
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2013 — conf
CUD@ASP: Experimenting with GPGPUs in ASP solving.
CILC
Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2013 B conf
Negation as a Resource: A Novel View on Answer Set Semantics.
LPNMR
Stefania Costantini, Andrea Formisano
2013 — conf
Negation as a Resource: a Novel View on Answer Set Semantics.
CILC
Stefania Costantini, Andrea Formisano
2013 J jnl
Nested Weight Constraints in ASP.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano
2013 J jnl
Product and Production Process Modeling and Configuration.
Fundam. Informaticae
Dario Campagna, Andrea Formisano
2013 J jnl
RASP and ASP as a fragment of linear logic.
J. Appl. Non Class. Logics
Stefania Costantini, Andrea Formisano
2012 J jnl
A graphical representation of relational formulae with complementation.
RAIRO Theor. Informatics Appl.
Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo
2012 J jnl
Distributed colorings for collision-free routing in sink-centric sensor networks.
J. Discrete Algorithms
Alfredo Navarra, Maria Cristina Pinotti, Andrea Formisano
2012 — conf
Exploiting Unexploited Computing Resources for Computational Logics.
CILC
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
2012 — conf
Preferences and Priorities in ASP.
CILC
Stefania Costantini, Andrea Formisano
2012 — conf
Strong Equivalence of RASP Programs.
Correct Reasoning
Stefania Costantini, Andrea Formisano, David Pearce
2011 — conf
Augmenting Weight Constraints with Complex Preferences.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Stefania Costantini, Andrea Formisano
2011 J jnl
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda
CoRR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 — conf
BAAC: A Prolog System for Action Description and Agents Coordination.
ICLP (Technical Communications)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 — conf
Nested Weight Constraints in ASP.
CILC
Stefania Costantini, Andrea Formisano
2011 — conf
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2011 — conf
ProdProc - Product and Production Process Modeling and Configuration.
CILC
Dario Campagna, Andrea Formisano
2011 B conf
Weight Constraints with Preferences in ASP.
LPNMR
Stefania Costantini, Andrea Formisano
2010 J jnl
An Investigation of Multi-Agent Planning in CLP.
Fundam. Informaticae
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 J jnl
Answer Set Programming with Resources.
J. Log. Comput.
Stefania Costantini, Andrea Formisano
2010 — conf
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda.
CILC
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 J jnl
Extending and Implementing RASP.
Fundam. Informaticae
Stefania Costantini, Andrea Formisano, Davide Petturiti
2010 J jnl
Multivalued action languages with constraints in CLP(FD).
Theory Pract. Log. Program.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2010 — ch.
Theory-Specific Automated Reasoning.
25 Years GULP
Andrea Formisano, Eugenio G. Omodeo
2009 J jnl
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.
J. Exp. Theor. Artif. Intell.
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2009 J jnl
Modeling preferences and conditional preferences on resource consumption and production in ASP.
J. Algorithms
Stefania Costantini, Andrea Formisano
2009 J jnl
Multi-valued Action Languages in CLP(FD)
CoRR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2009 B conf
Representing Multi-agent Planning in CLP.
LPNMR
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2008 J jnl
Comparative uncertainty: theory and automation.
Math. Struct. Comput. Sci.
Andrea Capotorti, Andrea Formisano
2008 — conf
Conditional preferences in P-RASP.
LA-NMR
Stefania Costantini, Andrea Formisano
2007 A* conf
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
AAAI
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2007 B conf
Multivalued Action Languages with Constraints in CLP(FD).
ICLP
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2006 — ch.
An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.
Theory and Applications of Relational Structures as Knowledge Instruments
Andrea Formisano, Eugenio G. Omodeo, Ewa Orlowska
2006 J jnl
An efficient relational deductive system for propositional non-classical logics.
J. Appl. Non Class. Logics
Andrea Formisano, Marianna Nicolosi Asmundo
2006 J jnl
Decidability results for sets with atoms.
ACM Trans. Comput. Log.
Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo
2006 — conf
Qualitative Uncertainty Orderings Revised.
LMCS
Andrea Capotorti, Andrea Formisano, Gianfranco Murador
2005 B conf
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
ICLP
Agostino Dovier, Andrea Formisano, Enrico Pontelli
2005 J jnl
The axiom of elementary sets on the edge of Peircean expressibility.
J. Symb. Log.
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
2005 — —
Theory-based resolution and automated set reasoning.
Andrea Formisano
2004 J jnl
Three-variable statements of set-pairing.
Theor. Comput. Sci.
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
2003 J jnl
Compiling dyadic first-order specifications into map algebra.
Theor. Comput. Sci.
Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, Calogero G. Zarba
2003 — conf
Mappings Between Domain Models in Answer Set Programming.
APPIA-GULP-PRODE
Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
2003 — conf
Mappings Between Domain Models in Answer Set Programming.
Answer Set Programming
Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo
2002 — conf
Automation of Aggregate Theories: The Cornerstones of Equational Expressibility.
APPIA-GULP-PRODE
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
2001 — conf
A graphical approach to relational reasoning.
RelMiS
Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni
2001 — conf
An AGG Application Supporting Visual Reasoning.
GT-VMT@ICALP
Andrea Formisano, Marta Simeoni
2001 — conf
Decidability results for sets with atoms.
APPIA-GULP-PRODE
Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo
2001 A conf
Instructing Equational Set-Reasoning with Otter.
IJCAR
Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
2001 — conf
Layered map reasoning: An experimental approach put to trial on sets.
APPIA-GULP-PRODE
Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
2000 J jnl
Goals and Benchmarks for Automated Map Reasoning.
J. Symb. Comput.
Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
1999 — conf
Proving the completeness of theory-based variants of resolution.
APPIA-GULP-PRODE
Andrea Formisano
1999 J jnl
T-Resolution: Refinements and Model Elimination.
J. Autom. Reason.
Andrea Formisano, Alberto Policriti
1998 — conf
An Equational Re-engineering of Set Theories.
FTP (LNCS Selection)
Andrea Formisano, Eugenio G. Omodeo
1998 — conf
Plan of Activities on the Map Calculus.
APPIA-GULP-PRODE
Andrea Formisano, Eugenio G. Omodeo, Marco Temperini
1997 — conf
On T Logic Programming.
APPIA-GULP-PRODE
Agostino Dovier, Andrea Formisano, Alberto Policriti
1997 — conf
On T Logic Programming.
ILPS
Agostino Dovier, Andrea Formisano, Alberto Policriti