formisbibs.bib

@article{DDFP-JETAI15,
author    = "Alessandro {Dal~Pal\`u}, and Agostino Dovier and Andrea Formisano and Enrico Pontelli",
title     = "{CUD@SAT: SAT solving on GPUs}",
journal   = "Journal of Experimental and Theoretical Artificial Intelligence",
year      = "2015",
volume    = "27",
number    = "3",
pages     = "293--316",
}
@article{CFll-JANCL13,
author    = "Stefania Costantini and Andrea Formisano",
title     = "{RASP} and {ASP} as a fragment of linear logic",
journal   = "Journal of Applied Non-Classical Logics",
year      = "2013",
volume    = "23",
number    = "1-2",
pages     = "49--74",
}
@article{CF-FICILC11,
author    = "Dario Campagna and Andrea Formisano",
title     = "Product and Production Process Modeling and Configuration",
journal   = "Fundamenta Informaticae",
year      = "2013", 
volume    = "124",
number    = "4",
pages    = "403--425",
}
@article{CFweight-FICILC11,
author    = "Stefania Costantini and Andrea Formisano",
title     = "Nested Weight Constraints in {ASP}",
journal   = "Fundamenta Informaticae",
year      = "2013", 
volume    = "124",
number    = "4",
pages    = "449--464",
}
@article{DFP-TPLP13,
author    = "Agostino Dovier and Andrea Formisano and Enrico Pontelli",
title     = "Autonomous Agents Coordination: Action Languages meet {CLP(FD)} and {L}inda",
journal   = "Theory and Practice of Logic Programming",
volume    = "13",
number    = "2",
pages    = "149--173",
year = "2013",
}

@article{NPF-JDA,
author    = "Alfredo Navarra and Cristina~M. Pinotti and Andrea Formisano",
title     = "Distributed Colorings for Collision-free Routing in Sink-Centric Sensor Networks",
journal   = "Journal of Discrete Algorithms",
volume    = "14",
pages    = "232--247",
year = "2012",
}
@article{CFNO-rairo,
author    = "Domenico Cantone and Andrea Formisano and Marianna Nicolosi~Asmundo and Eugenio G. Omodeo", 
title     = "A graphical representation of relational formulae with
complementation",
journal   = "RAIRO Theoretical Informatics and Applications",
publisher    = "Cambridge University Press",
year = "2012",
volume    = "46",
number    = "2",
pages    = "261--289",
notes = "Published online: 27 February 2012. DOI:10.1051/ita/2012003",
}
@article{DFP-FICILC09,
author    = "Agostino Dovier and Andrea Formisano and Enrico Pontelli",
title     = "An investigation of Multi-Agent Planning in {CLP}",
journal   = "Fundamenta Informaticae",
year      = "2010", 
volume    = "105",
number    = "1-2",
pages    = "79--103",
}
@article{CFP-FICILC09,
author    = "Stefania Costantini and Andrea Formisano and Davide Petturiti",
title     = "Extending and implementing {RASP}",
journal   = "Fundamenta Informaticae",
year      = "2010", 
volume    = "105",
number    = "1-2",
pages    = "1--33",
}
@article{DFP-TPLP,
author    = "Agostino Dovier and Andrea Formisano and Enrico Pontelli",
title     = "Multi-valued Action Languages with Constraints in {CLP(FD)}",
journal   = "Theory and Practice of Logic Programming",
volume    = "10",
number    = "2",
year      = "2010",
pages     = "167--235",
}
@article{CF-jalgor09,
author    = "Stefania Costantini and Andrea Formisano",
title     = "Modeling preferences and conditional preferences on resource consumption and production in {ASP}",
journal   = "Journal of Algorithms in Cognition, Informatics and Logic",
year      = "2009",
volume    = "64",
pages     = "3--15",
number    = "1",
}
@article{CF-jlc09,
author    = "Stefania Costantini and Andrea Formisano",
title     = "Answer Set Programming with Resources",
journal   = "Journal of Logic and Computation",
year      = "2010",
volume    = "20",
number    = "2",
pages     = "533--571",
note      = "Advance Access published November 6, 2009. doi:10.1093/logcom/exp071.
Draft available as Report-16/2008 of Dip.\ di Matematica e Informatica, Univ.\ di Perugia:~{{\small\url{www.dipmat.unipg.it/~formis/papers/report2008_16.ps.gz}}}."
}
@article{DFP-jetai09,
author    = "Agostino Dovier and Andrea Formisano and Enrico Pontelli",
title     = "An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems",
journal   = "Journal of Experimental and Theoretical Artificial Intelligence",
volume    = "21",
number    = "2",
pages     = "79--121",
year      = "2009",
}
@article{CF-mscs08,
author    = "Andrea Capotorti and Andrea Formisano",
title     = "Comparative uncertainty: theory and automation",
journal   = "Mathematical Structures in Computer Science",
year      = "2008",
volume    = "18",
number    = "1",
}
@article{FN-jancl06,
author    = "Andrea Formisano and Marianna Nicolosi Asmundo",
title     = "An efficient relational deductive system for propositional non-classical logics",
journal   = "Journal of Applied Non-Classical Logics",
year      = "2006",
volume    = "16",
number    = "3-4",
}
@article{DFO-tocl06,
author    = "Agostino Dovier and Andrea Formisano and Eugenio G. Omodeo",
title     = "Decidability Results for Sets with Atoms",
journal   = "ACM Transactions on Computational Logic (TOCL)",
year      = "2006",
volume    = "7",
number    = "2",
}
@article{FOP-jsl05,
author    = "Andrea Formisano and Eugenio G. Omodeo and Alberto Policriti",
title     = "The axiom of elementary sets on the edge of Peircean expressibility",
journal   = "Journal of Symbolic Logic",
year      = "2005",
volume    = "70",
number    = "3",
}
@article{FOP-tcs04,
author    = "Andrea Formisano and Eugenio G. Omodeo and Alberto Policriti",
title     = "Three-variable statements of set-pairing",
journal   = "Theoretical Computer Science",
year      = "2004",
volume    = "322",
number    = "1",
}
@article{CFOZ-tcs03,
author    = "Domenico Cantone and Andrea Formisano and Eugenio G. Omodeo and Calogero G. Zarba",
title     = "Compiling dyadic first-order specifications into map algebra",
journal   = "Theoretical Computer Science",
year      = "2003",
volume    = "293",
number    = "2",
}
@article{FOT-jsc00,
author    = "Andrea Formisano and Eugenio G. Omodeo and Marco Temperini",
title     = "Goals and Benchmarks for Automated Map Reasoning",
journal   = "Journal of Symbolic Computation",
year      = "2000",
volume    = "29",
number    = "2",
}
@article{FP-jar99,
author    = "Andrea Formisano and Alberto Policriti",
title     = "{T}-resolution: Refinements and Model Elimination",
journal   = "Journal of Automated Reasoning",
year      = "1999",
volume    = "22",
number    = "4",
}
@inproceedings{CostantiniFP12,
  author    = {Stefania Costantini and Andrea Formisano and David Pearce},
  title     = {Strong Equivalence of {RASP} Programs},
  booktitle = {Correct Reasoning},
  year      = {2012},
  pages     = {149-163},
  ee        = {http://dx.doi.org/10.1007/978-3-642-30743-0_11},
  editor    = {Esra Erdem and Joohyung Lee and Yuliya Lierler and David Pearce},
  isbn      = {978-3-642-30742-3},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
}
@inproceedings{CostantiniF13,
  author    = {Stefania Costantini and Andrea Formisano},
  title     = {Negation as a Resource: a novel view on Answer Set Semantics},
  booktitle = {LPNMR},
  year      = {2013},
  pages     = {257-263},
  editor    = {P. Cabalar and T.C. Son},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
}