Andrea Formisano

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Constraints propagation on GPU: A case study for AllDifferent.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Temporalizing Epistemic Logic L-DINF.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Epistemic Logic Programs: an approach to Semantic Comparison.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

GPU parallelism for SAT solving heuristics.

[BibT_eX]

[DOI]

Michele Collevati

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

2021

Introduction to the 37th International Conference on Logic Programming Special Issue II.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Introduction to the 37th International Conference on Logic Programming Special Issue I.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Scalable Energy Games Solvers on GPUs.

[BibT_eX]

[DOI]

Raffaella Gentilini

IEEE Trans. Parallel Distributed Syst., 2021

Adding Metalogic Features to Knowledge Representation Languages.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments").

[BibT_eX]

[DOI]

CoRR, 2021

An Epistemic Logic for Multi-agent Systems with Budget and Costs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

An Epistemic Logic for Modular Development of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

A Logic of Inferable in Multi-Agent Systems with Budget and Costs.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2019

Introduction to the 35th International Conference on Logic Programming Special Issue.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Multi-context systems in dynamic environments.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2019

GPU-Based Parallelism for ASP-Solving.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2019

Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Augmenting Datalog<sup>±</sup> with Customizable Metalogic Features for Powerful Ontological Reasoning.

[BibT_eX]

[DOI]

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

2018

ASP Applications in Bio-informatics: A Short Tour.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

Stefano Bistarelli

Marco Maratea

J. Exp. Theor. Artif. Intell., 2018

Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2018

2D object reconstruction with ASP.

[BibT_eX]

[DOI]

Alessandro Dal Palù

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

Timed Memory in Resource-Bounded Agents.

[BibT_eX]

[DOI]

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

Parallel Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

Exploring life: answer set programming in bioinformatics.

[BibT_eX]

[DOI]

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017

Accelerating Energy Games Solvers on Modern Architectures.

[BibT_eX]

[DOI]

Raffaella Gentilini

Proceedings of the Seventh Workshop on Irregular Applications: Architectures and Algorithms, 2017

Multi-Context Systems: Dynamics and Evolution.

[BibT_eX]

[DOI]

Pedro Cabalar

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

2016

Query answering in resource-based answer set semantics.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Theoretical Computer Science in Italy.

[BibT_eX]

[DOI]

Stefano Bistarelli

Theor. Comput. Sci., 2016

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

A GPU Implementation of the ASP Computation.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2016

Multi-Context Systems in Time.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Logic Programming Applied to Genome Evolution in Cancer.

[BibT_eX]

[DOI]

Proceedings of the 31st Italian Conference on Computational Logic, 2016

Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Budget-Constrained Reasoning in Agent Computational Environments: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

CUD@SAT: SAT solving on GPUs.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2015

Negation as a Resource: a Novel View on Answer Set Semantics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2015

Parallel Execution of the ASP Computation - an Investigation on GPUs.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014

On multiple learning schemata in conflict driven solvers.

[BibT_eX]

[DOI]

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Preface.

[BibT_eX]

[DOI]

Stefano Bistarelli

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

2013

Autonomous agents coordination: Action languages meet CLP() and Linda.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

RASP and ASP as a fragment of linear logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Nested Weight Constraints in ASP.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Product and Production Process Modeling and Configuration.

[BibT_eX]

[DOI]

Dario Campagna

Fundam. Informaticae, 2013

CUD@ASP: Experimenting with GPGPUs in ASP solving.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012

Distributed colorings for collision-free routing in sink-centric sensor networks.

[BibT_eX]

[DOI]

Alfredo Navarra

Maria Cristina Pinotti

J. Discrete Algorithms, 2012

A graphical representation of relational formulae with complementation.

[BibT_eX]

[DOI]

Domenico Cantone

Marianna Nicolosi Asmundo

Eugenio Giovanni Omodeo

RAIRO Theor. Informatics Appl., 2012

Exploiting Unexploited Computing Resources for Computational Logics.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

Preferences and Priorities in ASP.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

Strong Equivalence of RASP Programs.

[BibT_eX]

[DOI]

David Pearce

Proceedings of the Correct Reasoning, 2012

2011

Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda

[BibT_eX]

[DOI]

CoRR, 2011

Weight Constraints with Preferences in ASP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

BAAC: A Prolog System for Action Description and Agents Coordination.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

ProdProc - Product and Production Process Modeling and Configuration.

[BibT_eX]

[DOI]

Dario Campagna

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

Augmenting Weight Constraints with Complex Preferences.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Multivalued action languages with constraints in CLP(FD).

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Answer Set Programming with Resources.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

An Investigation of Multi-Agent Planning in CLP.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Extending and Implementing RASP.

[BibT_eX]

[DOI]

Davide Petturiti

Fundam. Informaticae, 2010

Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

Theory-Specific Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 2009

Modeling preferences and conditional preferences on resource consumption and production in ASP.

[BibT_eX]

[DOI]

J. Algorithms, 2009

Multi-valued Action Languages in CLP(FD)

[BibT_eX]

[DOI]

CoRR, 2009

Representing Multi-agent Planning in CLP.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Comparative uncertainty: theory and automation.

[BibT_eX]

[DOI]

Andrea Capotorti

Math. Struct. Comput. Sci., 2008

Conditional preferences in P-RASP.

[BibT_eX]

[DOI]

Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, 2008

2007

An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Decidability results for sets with atoms.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

An efficient relational deductive system for propositional non-classical logics.

[BibT_eX]

[DOI]

Marianna Nicolosi Asmundo

J. Appl. Non Class. Logics, 2006

Qualitative Uncertainty Orderings Revised.

[BibT_eX]

[DOI]

Andrea Capotorti

Gianfranco Murador

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.

[BibT_eX]

[DOI]

Ewa Orlowska

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006

2005

Theory-based resolution and automated set reasoning.

[BibT_eX]

[DOI]

PhD thesis, 2005

The axiom of elementary sets on the edge of Peircean expressibility.

[BibT_eX]

[DOI]

J. Symb. Log., 2005

A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Three-variable statements of set-pairing.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2003

Compiling dyadic first-order specifications into map algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Mappings Between Domain Models in Answer Set Programming.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Automation of Aggregate Theories: The Cornerstones of Equational Expressibility.

[BibT_eX]

[DOI]

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

An AGG Application Supporting Visual Reasoning.

[BibT_eX]

[DOI]

Marta Simeoni

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Layered map reasoning: An experimental approach put to trial on sets.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming, 2001

A graphical approach to relational reasoning.

[BibT_eX]

[DOI]

Marta Simeoni

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Instructing Equational Set-Reasoning with Otter.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Goals and Benchmarks for Automated Map Reasoning.

[BibT_eX]

[DOI]

J. Symb. Comput., 2000

1999

T-Resolution: Refinements and Model Elimination.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Proving the completeness of theory-based variants of resolution.

[BibT_eX]

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

An Equational Re-engineering of Set Theories.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

Plan of Activities on the Map Calculus.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

On T Logic Programming.

[BibT_eX]