formisbibs.bib

@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    = "To appear",
year      = "2010",
}

@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      = "2009",
note      = "To appear. 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",
}