Andrea Formisano's home page... (info, teaching, publications,...)

Andrea Formisano's home page (permanently under construction....)

Contact:

Dipartimento di Matematica e Informatica
Università di Perugia
via Vanvitelli 1,
06123 Perugia, Italy
tel: +39 075 5855011
fax: +39 075 5855024
email:

My official web page at the Dipartimento di Matematica e Informatica is here.

Didattica A.A.2012/13 (in italian):

Pagina del corso di Sistemi Operativi con Laboratorio
Pagina del corso di Programmazione Dichiarativa
Pagina del corso di Semantica dei Linguaggi di Programmazione

Alcuni suggerimenti su come studiare: Una Breve Guida

...e la tesi? (in italian):

Alcune informazioni e un elenco di temi ed argomenti per una tesi

WOW!!

		A 25 Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP. A.Dovier and E.Pontelli, eds. Springer. LNCS Vol.6125. (A preliminary table of contents is here)
		Advances in Computational Logic (CILC08) Selected and extended contributions to CILC08, the 23rd Italian Congress on Computational Logic. A.Formisano and A.Pettorossi, eds. Fundamenta Informaticae, 96(3), IOS Press. 2009. (Preface here)
		The Association for Logic Programming Newsletter A.Dovier and E.Pontelli, editors.

A few events:

RCRA'13 -- Int. Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (in Rome, Italy, June 2013)
ICLP'13 -- 29th International Conference on Logic Programming (in Istanbul, Turkey, August 2013)
ICTCS'13 -- 14th Italian Conference on Theoretical Computer Science (in Palermo, Italy, September, 2013)
LPNMR'13 -- 12th Int. Conference on Logic Programming and Nonmonotonic Reasoning (in Corunna, Spain, September, 2013)
CILC'13 -- Italian Convention on Computational Logic (in Catania, Italy, September 2013)

ICLP'12 -- 28th International Conference on Logic Programming (in Budapest, Hungary, September 2012)
WCB'12 -- Constraint Based Methods for Bioinformatics (in Budapest, Hungary, September 2012)
LANMR 2012 -- Eight Latin American Workshop on Logic, Languages, Algorithms and New Methods of Reasoning (in México City, México, September 2012)
MICAI 2012 -- 11th Mexican International Conference on Artificial Intelligence (in San Luis Potosí, México, October 2012)
RCRA'12 -- Int. Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (in Rome, Italy, June 2012)
CILC'12 -- Italian Convention on Computational Logic (in Rome, Italy, June 2012)
CONIELECOMP'12 -- 22nd International Conference on Electronics, Communications and Computers (in Puebla, México, February 2012)

Research key words

Automated deduction, Theory reasoning, Resolution-based theorem proving, T-resolution, Logic programming, Answer set programming, Constraint logic programming, Action languages and planning, Set theory, Decidability, Relation algebras, Rasiowa-Sikorski dual tableaux and Tableaux theorem proving.

Selected publications

D.Campagna and A.Formisano. Product and Production Process Modeling and Configuration. Fundamenta Informaticae 124(4):403--425, 2013.
Key words: Product and process modeling languages, Configuration of product/process models. (BibTeX).
S.Costantini and A.Formisano. Nested Weight Constraints in ASP. Fundamenta Informaticae 124(4):449--464, 2013.
Key words: Weight constraints in ASP, Non-monotonic reasoning, Knowledge representation. (BibTeX).
D.Cantone, A.Formisano, M. Nicolosi Asmundo, and E.G.Omodeo. A graphical representation of relational formulae with complementation. RAIRO - Theoretical Informatics and Applications, 46(2):261-289. Cambridge University Press. 2012. Published online: 27 February 2012. DOI:10.1051/ita/2012003.
Key words: Algebra of binary relations, Quantifier elimination, Graph transformation. (BibTeX, draft.pdf)
A.Navarra, C.M.Pinotti, and A.Formisano. Distributed Colorings for Collision-free Routing in Sink-Centric Sensor Networks. Journal of Discrete Algorithms, 14:232-247. Elsevier. 2012.
Key words: Wireless Sensor Networks, Coloring, Routing, Collision. (BibTeX, draft.pdf)
A.Dovier, A.Formisano, and E.Pontelli. Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda. Theory and Practice of Logic Programming, 13(2):149-173, 2013.
Key words: MAS, Action Description Languages, Coordination, Knowledge Representation, Planning, Constraint Logic Programming. (BibTeX, draft.pdf)
A.Dovier, A.Formisano, and E.Pontelli. An investigation of Multi-Agent Planning in CLP. Fundamenta Informaticae, 105(1-2):79-103, 2010.
Key words: Action Description Languages, Knowledge Representation, Multi Agent Planning. (BibTeX, draft.pdf)
S.Costantini A.Formisano, and D.Petturiti. Extending and implementing RASP. Fundamenta Informaticae, 105(1-2):1-33, 2010.
Key words: Extensions of answer set programming, Non-monotonic reasoning, Preferences, Quantitative reasoning, Resource consumption and production. (BibTeX, draft.pdf)
A.Dovier, A.Formisano, and E.Pontelli. Multi-valued Action Languages with Constraints in CLP(FD). Theory and Practice of Logic Programming, 10(2):167-235, 2010.
Key words: Action Description Languages, Knowledge Representation, Planning, Constraint Logic Programming. (BibTeX, draft.pdf)
S.Costantini and A.Formisano. Modeling preferences and conditional preferences on resource consumption and production in ASP. J. of Algorithms in Cognition, Informatics and Logic, 64(1):3-15, 2009.
Key words: Answer set programming, Non-monotonic logic programming, Preferences, Quantitative reasoning, Resource consumption and production, Language extensions. (BibTeX, draft.pdf)
S.Costantini and A.Formisano. Answer Set Programming with Resources. J. of Logic and Computation, 20(2):533-571, 2010. Advance Access published November 6, 2009. doi:10.1093/logcom/exp071.
Key words: Answer set programming, Non-monotonic logic programming, Quantitative reasoning, Resource consumption and production, Language extensions. (BibTeX, draft.pdf)
A.Dovier, A.Formisano, and E.Pontelli. An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems. J. of Experimental and Theoretical Artificial Intelligence, 21(2):79-121, 2009.
Key words: Declarative programming, Constraint logic programming, Answer set programming, Solvers, Benchmarking. (BibTeX, draft.pdf)
A.Capotorti and A. Formisano. Comparative uncertainty: theory and automation. Mathematical Structures in Computer Science, 18(1), 2008.
Key words: Uncertainty order relations, Qualitative uncertainty frameworks, Partial assessments, Answer set programming. (BibTeX, draft.pdf)
See also the Preference Cruncher web-pages.
A. Formisano and M. Nicolosi Asmundo. An efficient relational deductive system for propositional non-classical logics. J. of Applied Non-Classical Logics, 16(3-4), 2006.
Key words: Rasiowa-Sikorski proof systems, Relational reasoning, Non-classical logics, Dual-tableaux. (BibTeX)
See also the transIt web-pages.
A.Dovier, A.Formisano, and E.G.Omodeo. Decidability Results for Sets with Atoms. ACM Transactions on Computational Logic (TOCL), 7(2), 2006.
Key words: Set-hyperset theories, Satisfiability problem, Syllogistics, Prenex sentences, Quantifier elimination, Unification. (BibTeX, draft.pdf)
A.Formisano, E.G.Omodeo, and A.Policriti. The axiom of elementary sets on the edge of Peircean expressibility. J. of Symbolic Logic, 70(3):953-968, 2005.
Key words: Weak set theories, N-variable (in-)expressibility, Pebble games. (BibTeX, draft.pdf)
A.Formisano, E.G.Omodeo, and A.Policriti. Three-variable statements of set-pairing. Theoretical Computer Science, 322(1):147-173, 2004.
Key words: Set theory, Calculus of binary relations, Automated reasoning, Aggregates and pairing notions, Relational expressibility. (BibTeX, draft.pdf)
D.Cantone, A.Formisano, E.G.Omodeo, and C.G.Zarba, Compiling dyadic first-order specifications into map algebra. Theoretical Computer Science, 293(2):447-475, 2003.
Key words: Algebraic logic, Quantifier elimination, Relation algebras, Automation of relational reasoning, Visual relational reasoning. (BibTeX, draft.pdf)
A.Formisano, E.G.Omodeo, and M.Temperini. Goals and Benchmarks for Automated Map Reasoning. J. of Symbolic Computation, 29(2), pp. 259-297, February 2000.
Key words: Algebraic logic, Relation algebras, Automation of relational reasoning, First-order theorem-proving. (BibTeX, draft.pdf)
A.Formisano and A.Policriti. T-resolution: Refinements and Model Elimination. J. of Automated Reasoning, 22(4):433-483, May 1999.
Key words: Automated deduction, Theory reasoning, Model elimination, Resolution-based theorem proving, Decidability. (BibTeX, draft.pdf)

More...

...something's wrong, shut the light
heavy thoughts tonight
and they aren't of snow white...