Andrea Formisano

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 59

Top Venues

CILC

CoRR

Theory Pract. Log. Program.

Fundam. Informaticae

Publications

Stefania Costantini, Andrea Formisano
Solver Fast Prototyping for Reduct-based ELP Semantics. CILC (2024)
Flavio Bertini, Alessandro Dal Palù, Francesco Fabiano, Andrea Formisano, Federica Zaglio
Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. CILC (2024)
Agostino Dovier, Talissa Dreossi, Andrea Formisano
XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions. CILC (2024)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR (2023)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
Towards Explainable Data-to-text Generation. CILC (2023)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
An xAI Approach for Data-to-Text Processing with ASP. CoRR (2023)
Stefania Costantini, Andrea Formisano
Epistemic Logic Programs: a study of some properties. CoRR (2023)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents. WOA (2023)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
Preference Management in Epistemic Logic L-DINF. CILC (2023)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33 (8) (2023)
Flavio Bertini, Alessandro Dal Palù, Andrea Formisano, Andrea Pintus, Sara Rainieri, Luana Salvarani
Students' Careers and AI: a decision-making support system for Academia. Ital-IA (2023)
Stefania Costantini, Andrea Formisano
Fast Prototyping of a Solver for Reduct-based ELP Semantics. CILC (2023)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
Cognitive Aspects in Epistemic Logic L-DINF. CAKR@IJCAI (2022)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22 (6) (2022)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
Temporalizing Epistemic Logic L-DINF. CILC (2022)
Stefania Costantini, Andrea Formisano
Epistemic Logic Programs: an approach to Semantic Comparison. CILC (2022)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
Modelling Agents Roles in the Epistemic Logic L-DINF. NMR (2022)
Michele Collevati, Agostino Dovier, Andrea Formisano
GPU parallelism for SAT solving heuristics. CILC (2022)
Stefania Costantini, Andrea Formisano
Epistemic Logic Programs: a Novel Perspective and Some Extensions. ICLP Workshops (2022)
Stefania Costantini, Andrea Formisano
Epistemic Logic Programs: A Study of Some Properties. LPNMR (2022)
Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli
Constraints propagation on GPU: A case study for AllDifferent. CILC (2022)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF. RuleML+RR (2022)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
A Logic of Inferable in Multi-Agent Systems with Budget and Costs. AAMAS (2021)
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
Introduction to the 37th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 21 (6) (2021)
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments"). CoRR (2021)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
An Epistemic Logic for Modular Development of Multi-Agent Systems. EMAS@AAMAS (2021)
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha
Parallel Logic Programming: A Sequel. CoRR (2021)
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Scalable Energy Games Solvers on GPUs. IEEE Trans. Parallel Distributed Syst. 32 (12) (2021)
Stefania Costantini, Andrea Formisano
Adding Metalogic Features to Knowledge Representation Languages. Fundam. Informaticae 181 (1) (2021)
Alex Brik, Andrea Formisano, Yanhong Annie Liu, Joost Vennekens
Introduction to the 37th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. 21 (5) (2021)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
An Epistemic Logic for Multi-agent Systems with Budget and Costs. JELIA (2021)
Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
Introduction to the 35th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 19 (5-6) (2019)
Stefania Costantini, Andrea Formisano
with Customizable Metalogic Features for Powerful Ontological Reasoning. AI*IA (2019)
Agostino Dovier, Andrea Formisano, Flavio Vella
GPU-Based Parallelism for ASP-Solving. DECLARE (2019)
Agostino Dovier, Andrea Formisano, Flavio Vella
GPU-based parallelism for ASP-solving. CoRR (2019)
Esra Erdem, Andrea Formisano, Germán Vidal, Fangkai Yang
Introduction to the 35th International Conference on Logic Programming Special Issue. CoRR (2019)
Stefania Costantini, Andrea Formisano
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. CILC (2019)
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
ASP Applications in Bio-informatics: A Short Tour. Künstliche Intell. 32 (2-3) (2018)
Stefania Costantini, Andrea Formisano, Valentina Pitoni
Timed Memory in Resource-Bounded Agents. AI*IA (2018)
Stefano Bistarelli, Andrea Formisano, Marco Maratea
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 30 (4) (2018)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano
2D object reconstruction with ASP. CILC (2018)
Stefania Costantini, Andrea Formisano
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules. Int. J. Agent Oriented Softw. Eng. 6 (3/4) (2018)
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Accelerating Energy Games Solvers on Modern Architectures. CoRR (2017)
Pedro Cabalar, Stefania Costantini, Andrea Formisano
Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR (2017)
Andrea Formisano, Raffaella Gentilini, Flavio Vella
Accelerating Energy Games Solvers on Modern Architectures. IA3@SC (2017)
Stefania Costantini, Andrea Formisano
Multi-Context Systems in Time. ECAI (2016)
Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni
Preface. Fundam. Informaticae 149 (1-2) (2016)
Stefania Costantini, Andrea Formisano
Query answering in resource-based answer set semantics. Theory Pract. Log. Program. 16 (5-6) (2016)
Stefania Costantini, Andrea Formisano
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. EMAS@AAMAS (2016)
Stefania Costantini, Andrea Formisano
Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract). AAMAS (2016)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Alberto Policriti, Enrico Pontelli
Logic Programming Applied to Genome Evolution in Cancer. CILC (2016)
Stefania Costantini, Andrea Formisano
Query Answering in Resource-Based Answer Set Semantics. CoRR (2016)
Stefano Bistarelli, Andrea Formisano
Theoretical Computer Science in Italy. Theor. Comput. Sci. 629 (2016)
Stefania Costantini, Andrea Formisano
Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. AAMAS Workshops (Visionary Papers) (2016)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
A GPU Implementation of the ASP Computation. PADL (2016)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
CUD@SAT: SAT solving on GPUs. J. Exp. Theor. Artif. Intell. 27 (3) (2015)
Stefania Costantini, Andrea Formisano
Negation as a Resource: a Novel View on Answer Set Semantics. Fundam. Informaticae 140 (3-4) (2015)
Agostino Dovier, Andrea Formisano, Enrico Pontelli, Flavio Vella
Parallel Execution of the ASP Computation - an Investigation on GPUs. ICLP (Technical Communications) (2015)
Stefano Bistarelli, Andrea Formisano
Preface. ICTCS (2014)
Stefania Costantini, Andrea Formisano
Query Answering in Resource-Based Answer Set Semantics. CILC (2014)
Andrea Formisano, Flavio Vella
On multiple learning schemata in conflict driven solvers. ICTCS (2014)
Flavio Vella, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
CUD@ASP: Experimenting with GPGPUs in ASP solving. CILC (2013)
Stefania Costantini, Andrea Formisano
Nested Weight Constraints in ASP. Fundam. Informaticae 124 (4) (2013)
Stefania Costantini, Andrea Formisano
RASP and ASP as a fragment of linear logic. J. Appl. Non Class. Logics 23 (1-2) (2013)
Dario Campagna, Andrea Formisano
Product and Production Process Modeling and Configuration. Fundam. Informaticae 124 (4) (2013)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Autonomous agents coordination: Action languages meet CLP() and Linda. Theory Pract. Log. Program. 13 (2) (2013)
Stefania Costantini, Andrea Formisano
Negation as a Resource: A Novel View on Answer Set Semantics. LPNMR (2013)
Stefania Costantini, Andrea Formisano
Negation as a Resource: a Novel View on Answer Set Semantics. CILC (2013)
Stefania Costantini, Andrea Formisano
Preferences and Priorities in ASP. CILC (2012)
Stefania Costantini, Andrea Formisano, David Pearce
Strong Equivalence of RASP Programs. Correct Reasoning (2012)
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Enrico Pontelli
Exploiting Unexploited Computing Resources for Computational Logics. CILC (2012)
Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo
A graphical representation of relational formulae with complementation. RAIRO Theor. Informatics Appl. 46 (2) (2012)
Alfredo Navarra, Maria Cristina Pinotti, Andrea Formisano
Distributed colorings for collision-free routing in sink-centric sensor networks. J. Discrete Algorithms 14 (2012)
Stefania Costantini, Andrea Formisano
Nested Weight Constraints in ASP. CILC (2011)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
BAAC: A Prolog System for Action Description and Agents Coordination. ICLP (Technical Communications) (2011)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Stefania Costantini, Andrea Formisano
Weight Constraints with Preferences in ASP. LPNMR (2011)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda CoRR (2011)
Dario Campagna, Andrea Formisano
ProdProc - Product and Production Process Modeling and Configuration. CILC (2011)
Stefania Costantini, Andrea Formisano
Augmenting Weight Constraints with Complex Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. CILC (2010)
Stefania Costantini, Andrea Formisano
Answer Set Programming with Resources. J. Log. Comput. 20 (2) (2010)
Stefania Costantini, Andrea Formisano, Davide Petturiti
Extending and Implementing RASP. Fundam. Informaticae 105 (1-2) (2010)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Multivalued action languages with constraints in CLP(FD). Theory Pract. Log. Program. 10 (2) (2010)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
An Investigation of Multi-Agent Planning in CLP. Fundam. Informaticae 105 (1-2) (2010)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. J. Exp. Theor. Artif. Intell. 21 (2) (2009)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Multi-valued Action Languages in CLP(FD) CoRR (2009)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Representing Multi-agent Planning in CLP. LPNMR (2009)
Stefania Costantini, Andrea Formisano
Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64 (1) (2009)
Stefania Costantini, Andrea Formisano
Conditional preferences in P-RASP. LA-NMR (2008)
Andrea Capotorti, Andrea Formisano
Comparative uncertainty: theory and automation. Math. Struct. Comput. Sci. 18 (1) (2008)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
Multivalued Action Languages with Constraints in CLP(FD). ICLP (2007)
Andrea Capotorti, Andrea Formisano, Gianfranco Murador
Qualitative Uncertainty Orderings Revised. Electron. Notes Theor. Comput. Sci. 169 (2007)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. AAAI (2007)
Andrea Formisano, Marianna Nicolosi Asmundo
An efficient relational deductive system for propositional non-classical logics. J. Appl. Non Class. Logics 16 (3-4) (2006)
Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo
Decidability results for sets with atoms. ACM Trans. Comput. Log. 7 (2) (2006)
Agostino Dovier, Andrea Formisano, Enrico Pontelli
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. ICLP (2005)
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
The axiom of elementary sets on the edge of Peircean expressibility. J. Symb. Log. 70 (3) (2005)
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti
Three-variable statements of set-pairing. Theor. Comput. Sci. 322 (1) (2004)

Andrea Formisano.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrea Formisano