On T Logic Programming. - Agostino Dovier; Andrea Formisano 001; Alberto Policriti (APPIA-GULP-PRODE, 1997)

Plan of Activities on the Map Calculus. - Andrea Formisano 001; Eugenio G. Omodeo; Marco Temperini (APPIA-GULP-PRODE, 1998)

An Equational Re-engineering of Set Theories. - Andrea Formisano 001; Eugenio G. Omodeo (FTP (LNCS Selection), 1998)

Proving the completeness of theory-based variants of resolution. - Andrea Formisano 001 (APPIA-GULP-PRODE, 1999)

T-Resolution: Refinements and Model Elimination. - Andrea Formisano 001; Alberto Policriti (J. Autom. Reason., 1999)

Goals and Benchmarks for Automated Map Reasoning. - Andrea Formisano 001; Eugenio G. Omodeo; Marco Temperini (J. Symb. Comput., 2000)

Instructing Equational Set-Reasoning with Otter. - Andrea Formisano 001; Eugenio G. Omodeo; Marco Temperini (IJCAR, 2001)

A graphical approach to relational reasoning. - Andrea Formisano 001; Eugenio G. Omodeo; Marta Simeoni (RelMiS, 2001)

Layered map reasoning: An experimental approach put to trial on sets. - Andrea Formisano 001; Eugenio G. Omodeo; Marco Temperini (APPIA-GULP-PRODE, 2001)

An AGG Application Supporting Visual Reasoning. - Andrea Formisano 001; Marta Simeoni (GT-VMT@ICALP, 2001)

Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. - Andrea Formisano 001; Eugenio G. Omodeo; Alberto Policriti (APPIA-GULP-PRODE, 2002)

Mappings Between Domain Models in Answer Set Programming. - Stefania Costantini; Andrea Formisano 001; Eugenio G. Omodeo (APPIA-GULP-PRODE, 2003)

Compiling dyadic first-order specifications into map algebra. - Domenico Cantone; Andrea Formisano 001; Eugenio G. Omodeo; Calogero G. Zarba (Theor. Comput. Sci., 2003)

Three-variable statements of set-pairing. - Andrea Formisano 001; Eugenio G. Omodeo; Alberto Policriti (Theor. Comput. Sci., 2004)

A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (ICLP, 2005)

The axiom of elementary sets on the edge of Peircean expressibility. - Andrea Formisano 001; Eugenio G. Omodeo; Alberto Policriti (J. Symb. Log., 2005)

Theory-based resolution and automated set reasoning. - Andrea Formisano 001 (2005)

An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. - Andrea Formisano 001; Eugenio G. Omodeo; Ewa Orlowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Qualitative Uncertainty Orderings Revised. - Andrea Capotorti; Andrea Formisano 001; Gianfranco Murador (LMCS, 2006)

An efficient relational deductive system for propositional non-classical logics. - Andrea Formisano 001; Marianna Nicolosi Asmundo (J. Appl. Non Class. Logics, 2006)

Decidability results for sets with atoms. - Agostino Dovier; Andrea Formisano 001; Eugenio G. Omodeo (ACM Trans. Comput. Log., 2006)

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (AAAI, 2007)

Conditional preferences in P-RASP. - Stefania Costantini; Andrea Formisano 001 (LA-NMR, 2008)

Comparative uncertainty: theory and automation. - Andrea Capotorti; Andrea Formisano 001 (Math. Struct. Comput. Sci., 2008)

Representing Multi-agent Planning in CLP. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (LPNMR, 2009)

Multi-valued Action Languages in CLP(FD) - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (CoRR, 2009)

Modeling preferences and conditional preferences on resource consumption and production in ASP. - Stefania Costantini; Andrea Formisano 001 (J. Algorithms, 2009)

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (J. Exp. Theor. Artif. Intell., 2009)

Theory-Specific Automated Reasoning. - Andrea Formisano 001; Eugenio G. Omodeo (25 Years GULP, 2010)

Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (CILC, 2010)

Extending and Implementing RASP. - Stefania Costantini; Andrea Formisano 001; Davide Petturiti (Fundam. Informaticae, 2010)

An Investigation of Multi-Agent Planning in CLP. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Fundam. Informaticae, 2010)

Answer Set Programming with Resources. - Stefania Costantini; Andrea Formisano 001 (J. Log. Comput., 2010)

Multivalued action languages with constraints in CLP(FD). - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Theory Pract. Log. Program., 2010)

Augmenting Weight Constraints with Complex Preferences. - Stefania Costantini; Andrea Formisano 001 (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

ProdProc - Product and Production Process Modeling and Configuration. - Dario Campagna; Andrea Formisano 001 (CILC, 2011)

BAAC: A Prolog System for Action Description and Agents Coordination. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (ICLP (Technical Communications), 2011)

Weight Constraints with Preferences in ASP. - Stefania Costantini; Andrea Formisano 001 (LPNMR, 2011)

Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (CoRR, 2011)

Strong Equivalence of RASP Programs. - Stefania Costantini; Andrea Formisano 001; David Pearce 001 (Correct Reasoning, 2012)

Preferences and Priorities in ASP. - Stefania Costantini; Andrea Formisano 001 (CILC, 2012)

Exploiting Unexploited Computing Resources for Computational Logics. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (CILC, 2012)

A graphical representation of relational formulae with complementation. - Domenico Cantone; Andrea Formisano 001; Marianna Nicolosi Asmundo; Eugenio Giovanni Omodeo (RAIRO Theor. Informatics Appl., 2012)

Distributed colorings for collision-free routing in sink-centric sensor networks. - Alfredo Navarra; Maria Cristina Pinotti; Andrea Formisano 001 (J. Discrete Algorithms, 2012)

CUD@ASP: Experimenting with GPGPUs in ASP solving. - Flavio Vella; Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (CILC, 2013)

Product and Production Process Modeling and Configuration. - Dario Campagna; Andrea Formisano 001 (Fundam. Informaticae, 2013)

Nested Weight Constraints in ASP. - Stefania Costantini; Andrea Formisano 001 (Fundam. Informaticae, 2013)

RASP and ASP as a fragment of linear logic. - Stefania Costantini; Andrea Formisano 001 (J. Appl. Non Class. Logics, 2013)

Autonomous agents coordination: Action languages meet CLP() and Linda. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Theory Pract. Log. Program., 2013)

Preface. - Stefano Bistarelli; Andrea Formisano 001 (ICTCS, 2014)

On multiple learning schemata in conflict driven solvers. - Andrea Formisano 001; Flavio Vella (ICTCS, 2014)

Parallel Execution of the ASP Computation - an Investigation on GPUs. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli; Flavio Vella (ICLP (Technical Communications), 2015)

Negation as a Resource: a Novel View on Answer Set Semantics. - Stefania Costantini; Andrea Formisano 001 (Fundam. Informaticae, 2015)

CUD@SAT: SAT solving on GPUs. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (J. Exp. Theor. Artif. Intell., 2015)

Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract). - Stefania Costantini; Andrea Formisano 001 (AAMAS, 2016)

Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules. - Stefania Costantini; Andrea Formisano 001 (AAMAS Workshops (Visionary Papers), 2016)

Logic Programming Applied to Genome Evolution in Cancer. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Alberto Policriti; Enrico Pontelli (CILC, 2016)

Multi-Context Systems in Time. - Stefania Costantini; Andrea Formisano 001 (ECAI, 2016)

A GPU Implementation of the ASP Computation. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli; Flavio Vella (PADL, 2016)

Preface. - Stefano Bistarelli; Andrea Formisano 001; Marco Maratea; Paolo Torroni (Fundam. Informaticae, 2016)

Theoretical Computer Science in Italy. - Stefano Bistarelli; Andrea Formisano 001 (Theor. Comput. Sci., 2016)

Query answering in resource-based answer set semantics. - Stefania Costantini; Andrea Formisano 001 (Theory Pract. Log. Program., 2016)

Multi-Context Systems: Dynamics and Evolution. - Pedro Cabalar; Stefania Costantini; Andrea Formisano 001 (ASPOCP@LPNMR, 2017)

Accelerating Energy Games Solvers on Modern Architectures. - Andrea Formisano 001; Raffaella Gentilini; Flavio Vella (IA3@SC, 2017)

Exploring life: answer set programming in bioinformatics. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Declarative Logic Programming, 2018)

Parallel Answer Set Programming. - Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Handbook of Parallel Constraint Reasoning, 2018)

Timed Memory in Resource-Bounded Agents. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (AI*IA, 2018)

2D object reconstruction with ASP. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001 (CILC, 2018)

Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules. - Stefania Costantini; Andrea Formisano 001 (Int. J. Agent Oriented Softw. Eng., 2018)

23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Stefano Bistarelli; Andrea Formisano 001; Marco Maratea (J. Exp. Theor. Artif. Intell., 2018)

ASP Applications in Bio-informatics: A Short Tour. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Künstliche Intell., 2018)

Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning. - Stefania Costantini; Andrea Formisano 001 (AI*IA, 2019)

Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. - Stefania Costantini; Andrea Formisano 001 (CILC, 2019)

GPU-Based Parallelism for ASP-Solving. - Agostino Dovier; Andrea Formisano 001; Flavio Vella (DECLARE, 2019)

Multi-context systems in dynamic environments. - Pedro Cabalar; Stefania Costantini; Giovanni De Gasperis; Andrea Formisano 001 (Ann. Math. Artif. Intell., 2019)

Introduction to the 35th International Conference on Logic Programming Special Issue. - Esra Erdem 001; Andrea Formisano 001; Germán Vidal; Fangkai Yang (Theory Pract. Log. Program., 2019)

A Logic of Inferable in Multi-Agent Systems with Budget and Costs. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (AAMAS, 2021)

An Epistemic Logic for Modular Development of Multi-Agent Systems. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (EMAS@AAMAS, 2021)

An Epistemic Logic for Multi-agent Systems with Budget and Costs. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (JELIA, 2021)

Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments"). - Pedro Cabalar; Stefania Costantini; Giovanni De Gasperis; Andrea Formisano 001 (CoRR, 2021)

Adding Metalogic Features to Knowledge Representation Languages. - Stefania Costantini; Andrea Formisano 001 (Fundam. Informaticae, 2021)

Scalable Energy Games Solvers on GPUs. - Andrea Formisano 001; Raffaella Gentilini; Flavio Vella (IEEE Trans. Parallel Distributed Syst., 2021)

Introduction to the 37th International Conference on Logic Programming Special Issue I. - Alex Brik; Andrea Formisano 001; Yanhong Annie Liu; Joost Vennekens (Theory Pract. Log. Program., 2021)

Introduction to the 37th International Conference on Logic Programming Special Issue II. - Alex Brik; Andrea Formisano 001; Yanhong Annie Liu; Joost Vennekens (Theory Pract. Log. Program., 2021)

GPU parallelism for SAT solving heuristics. - Michele Collevati; Agostino Dovier; Andrea Formisano 001 (CILC, 2022)

Epistemic Logic Programs: an approach to Semantic Comparison. - Stefania Costantini; Andrea Formisano 001 (CILC, 2022)

Temporalizing Epistemic Logic L-DINF. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (CILC, 2022)

Constraints propagation on GPU: A case study for AllDifferent. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (CILC, 2022)

Epistemic Logic Programs: a Novel Perspective and Some Extensions. - Stefania Costantini; Andrea Formisano 001 (ICLP Workshops, 2022)

Cognitive Aspects in Epistemic Logic L-DINF. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (CAKR@IJCAI, 2022)

Modelling Agents Roles in the Epistemic Logic L-DINF. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (NMR, 2022)

Cooperation Among Groups of Agents in the Epistemic Logic L-DINF. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (RuleML+RR, 2022)

Parallel Logic Programming: A Sequel. - Agostino Dovier; Andrea Formisano 001; Gopal Gupta 001; Manuel V. Hermenegildo; Enrico Pontelli; Ricardo Rocha 001 (Theory Pract. Log. Program., 2022)

Dataset_ScalableEnergyGamesSolversOnGPUs. - Andrea Formisano 001; Raffaella Gentilini; Flavio Vella (IEEE DataPort, 2022)

Fast Prototyping of a Solver for Reduct-based ELP Semantics. - Stefania Costantini; Andrea Formisano 001 (CILC, 2023)

Preference Management in Epistemic Logic L-DINF. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (CILC, 2023)

Towards Explainable Data-to-text Generation. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001 (CILC, 2023)

Students' Careers and AI: a decision-making support system for Academia. - Flavio Bertini 001; Alessandro Dal Palù; Andrea Formisano 001; Andrea Pintus; Sara Rainieri; Luana Salvarani (Ital-IA, 2023)

A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents. - Stefania Costantini; Andrea Formisano 001; Valentina Pitoni (WOA, 2023)

An xAI Approach for Data-to-Text Processing with ASP. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001 (ICLP, 2023)

Prolog Meets Biology. - Alessandro Dal Palù; Agostino Dovier; Andrea Formisano 001; Enrico Pontelli (Prolog: The Next 50 Years, 2023)

Constraint propagation on GPU: A case study for the AllDifferent constraint. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (J. Log. Comput., 2023)

Concept2Text: An Explainable Multilingual Rewriting of Concepts into Natural Language. - Flavio Bertini 001; Alessandro Dal Palù; Francesco Fabiano; Andrea Formisano 001; Federica Zaglio (CILC, 2024)

Solver Fast Prototyping for Reduct-based ELP Semantics. - Stefania Costantini; Andrea Formisano 001 (CILC, 2024)

XAI-LAW Towards a Logic Programming Tool for Taking and Explaining Legal Decisions. - Agostino Dovier; Talissa Dreossi; Andrea Formisano 001 (CILC, 2024)

Towards Explainable Weather Forecasting Through FastLAS. - Talissa Dreossi; Agostino Dovier; Andrea Formisano 001; Mark Law; Agostino Manzato; Alessandra Russo; Matthew Tait (LPNMR, 2024)

Advances in Computational Logic (CILC23): Preface. - Agostino Dovier; Andrea Formisano 001 (J. Log. Comput., 2024)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration. - Flavio Bertini 001; Alessandro Dal Palù; Federica Zaglio; Francesco Fabiano; Andrea Formisano 001 (ICLP, 2024)

Epistemic Logic Programs: A Study of Some Properties. - Stefania Costantini; Andrea Formisano 001 (Theory Pract. Log. Program., 2024)

Constraint propagation on GPU: a case study for the cumulative constraint. - Fabio Tardivo; Agostino Dovier; Andrea Formisano 001; Laurent Michel; Enrico Pontelli (Constraints An Int. J., 2024)

Diophantine Modeling of Provability in Algebraic Logic. - Andrea Formisano 001; Isacco Gavazzi; Eugenio G. Omodeo (CILC, 2025)

GPU-Accelerated Propagation for the Stable Marriage Constraint. - Stefano Travasci; Fabio Tardivo; Andrea Formisano 001 (CILC, 2025)

GPU Accelerated Compact-Table Propagation. - Enrico Santi; Fabio Tardivo; Agostino Dovier; Andrea Formisano 001 (CoRR, 2025)