All Stories

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

    Article • Journal of Experimental & Theoretical Artificial Intelligence, April 2018, Taylor & Francis

    Andrea Formisano, Professor Stefano Bistarelli

  2. Preface

    Article • Fundamenta Informaticae, December 2016, IOS Press

    Professor Stefano Bistarelli, Dr Paolo Torroni, Andrea Formisano

  3. Query answering in resource-based answer set semantics

    Article • Theory and Practice of Logic Programming, September 2016, Cambridge University Press

    Andrea Formisano

  4. Theoretical Computer Science in Italy

    Article • Theoretical Computer Science, May 2016, Elsevier

    Professor Stefano Bistarelli, Andrea Formisano

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

    Article • January 2016, Springer Science + Business Media

    Andrea Formisano

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

    Article • January 2016, Springer Science + Business Media

    Andrea Formisano

  7. A GPU Implementation of the ASP Computation

    Article • January 2016, Springer Science + Business Media

    Andrea Formisano, Dr Agostino Dovier

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

    Article • Fundamenta Informaticae, September 2015, IOS Press

    Andrea Formisano

  9. CUD@SAT: SAT solving on GPUs

    Article • Journal of Experimental & Theoretical Artificial Intelligence, September 2014, Taylor & Francis

    Dr Agostino Dovier, Andrea Formisano

  10. RASP and ASP as a fragment of linear logic

    Article • Journal of Applied Non-Classical Logics, June 2013, Taylor & Francis

    Andrea Formisano

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

    Article • January 2013, Springer Science + Business Media

    Andrea Formisano

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

    Article • Theory and Practice of Logic Programming, September 2012, Cambridge University Press

    Dr Agostino Dovier, Andrea Formisano

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

    Article • Journal of Discrete Algorithms, July 2012, Elsevier

    Andrea Formisano

  14. A graphical representation of relational formulae with complementation

    Article • RAIRO - Theoretical Informatics and Applications, February 2012, EDP Sciences

    Andrea Formisano

  15. Strong Equivalence of RASP Programs

    Article • January 2012, Springer Science + Business Media

    Andrea Formisano

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

    Article • January 2011, Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano

  17. Weight Constraints with Preferences in ASP

    Article • January 2011, Springer Science + Business Media

    Andrea Formisano

  18. Multivalued action languages with constraints in CLP(FD)

    Article • Theory and Practice of Logic Programming, February 2010, Cambridge University Press

    Dr Agostino Dovier, Andrea Formisano

  19. Theory-Specific Automated Reasoning

    Article • January 2010, Springer Science + Business Media

    Andrea Formisano

  20. Representing Multi-agent Planning in CLP

    Article • January 2009, Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano

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

    Article • Journal of Algorithms, January 2009, Elsevier

    Andrea Formisano

  22. Comparative uncertainty: theory and automation

    Article • Mathematical Structures in Computer Science, February 2008, Cambridge University Press

    Andrea Formisano

  23. Qualitative Uncertainty Orderings Revised

    Article • Electronic Notes in Theoretical Computer Science, March 2007, Elsevier

    Andrea Formisano

  24. Decidability results for sets with atoms

    Article • ACM Transactions on Computational Logic, April 2006, ACM (Association for Computing Machinery)

    Dr Agostino Dovier, Andrea Formisano

  25. Management of uncertainty orderings through ASP

    Article • January 2006, Elsevier

    Andrea Formisano

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

    Article • Journal of Applied Non-Classical Logics, January 2006, Taylor & Francis

    Andrea Formisano

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

    Article • January 2006, Springer Science + Business Media

    Andrea Formisano

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

    Article • Journal of Symbolic Logic, September 2005, Cambridge University Press

    Professor Alberto Policriti, Andrea Formisano

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

    Article • January 2005, Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano

  30. Three-variable statements of set-pairing

    Article • Theoretical Computer Science, August 2004, Elsevier

    Professor Alberto Policriti, Andrea Formisano

  31. A graphical approach to relational reasoning1 1This research was partially funded by the Italian CNR (coordinated project log(SETA)); by MURST PGR-2000; by the EC TMR Network GETGRATS; and by Esprit Working Group APPLIGRAPH.

    Article • Electronic Notes in Theoretical Computer Science, May 2003, Elsevier

    Andrea Formisano

  32. An Agg Application Supporting Visual Reasoning1

    Article • Electronic Notes in Theoretical Computer Science, August 2001, Elsevier

    Andrea Formisano

  33. Layered map reasoning

    Article • Electronic Notes in Theoretical Computer Science, June 2001, Elsevier

    Andrea Formisano

  34. Instructing Equational Set-Reasoning with Otter

    Article • January 2001, Springer Science + Business Media

    Andrea Formisano

  35. Goals and Benchmarks for Automated Map Reasoning

    Article • Journal of Symbolic Computation, February 2000, Elsevier

    Andrea Formisano

  36. An Equational Re-engineering of Set Theories

    Article • January 2000, Springer Science + Business Media

    Andrea Formisano

  37. Multivalued Action Languages with Constraints in CLP(FD)

    Article • Springer Science + Business Media

    Dr Agostino Dovier, Andrea Formisano