Pubblicazioni su riviste a diffusione internazionale
Interval-valued Soft Constraint Problems
M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, and N. Wilson,
to appear in Annals of Mathematics and Artificial Intelligence,
special issue for ISAIM 2008, B. Chouery and B. Givan eds.
Agostino Dovier, Enrico Pontelli: A 25-Year Perspective on Logic Programming:
Achievements of the Italian Association for Logic Programming, GULP.
Springer-Verlag LNCS Vol. 6125.
Alessandro Dal Palu', Agostino Dovier, Federico Fogolari, and Enrico Pontelli. CLP-based protein fragment assembly.
Theory and Practice of Logic Programming, special issue dedicated to ICLP 2010.
10(4-6): pp 709-724, July 2010, doi:10.1017/S1471068410000372.
A. Dovier.
Recent constraint/logic programming based advances in the solution of the protein folding problem.
Intelligenza Artificiale 5(1):113-117. DOI 10.3233/IA-2011-0013 IOS Press, February 21, 2011.
A. Dovier, A. Formisano, and E. Pontelli.
Multi-valued Action Languages with Constraints in CLP(FD).
Theory and Practice of Logic Programming Volume 10, Issue 02, March 2010, pp 167-235,
doi:10.1017/S1471068410000013.
D. Campagna, C. De Rosa, A. Dovier, A. Montanari, and C. Piazza.
Morphos Configuration Engine: the core of a commercial configuration system in CLP(FD).
Fundamenta Informaticae 105(1-2): 105-133, 2010.
A. Dovier, A. Formisano, and E. Pontelli.
An investigation of Multi-Agent Planning in CLP.
Fundamenta Informaticae 105(1-2): 79-103, 2010.
A. Dal Palu', F. Spyrakis and P. Cozzini
A new Constraint Logic Programming-based approach for investigating the protein flexibility.
A first application to the Estrogen Receptor case.
European Journal of Medicinal Chemistry
A. Dovier, A. Formisano, E. Pontelli.
Perspectives on Logic-based Approaches for Reasoning About Actions and Change.
In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning,
Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
M. Balduccini and T.C. Son, eds., LNCS 6565, pp. 259-279, 2011.
D'agostino G., Lenzi G (2011).
On Modal mu-calculus over finite graphs with small components or small tree width.
Accepted for Publication in the
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
D'agostino G., Lenzi G (2011).
Deciding the existence of uniform interpolants over transitive models.
ARCHIVE FOR MATHEMATICAL LOGIC, vol. 50; p. 185-196, ISSN: 0933-5846, doi: 10.1007/s00153-010-0208-5
D'agostino G., Lenzi G (2010).
On the mu-calculus over transitive and finite transitive frames.
THEORETICAL COMPUTER SCIENCE, vol. 411; p. 4273-4290, ISSN: 0304-3975, doi: 10.1016/j.tcs.2010.09.002
Bresolin D., Goranko V., Montanari A., Sala P., "Tableaux for logics
of subinterval structures over dense orderings". Journal of Logic and
Computation, vol. 20, n. 1, 2010, pp. 133-166 (doi:10.1093/logcom/exn063).
Bresolin D., Della Monica D., Goranko V., Montanari A., Sciavicco G.,
"Metric Propositional Neighborhood Logics on Natural Numbers".
Software and Systems Modeling,
(doi: 10.1007/s10270-011-0195-y, online since February 2011).
Massimo Franceschet and Antonio Costantini
The first Italian research assessment exercise: A bibliometric
perspective.
Journal of Informetrics 5(2):275–291, 2011.
Mirco Gelain, Maria
Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh.
Elicitation Strategies for Soft Constraint Problems with Missing
Preferences: Properties, Algorithms and Experimental Studies. Artificial Intelligence
Journal, volume 174, pp. 270-294, 2010.
Maria Silvia Pini, Francesca Rossi, K. Brent Venable.
Soft Constraint Problems With Uncontrollable Variables,
Journal
of Experimental and Theoretical Artificial Intelligence (JETAI),
Volume 22 Issue 4,page 269,2010.
Interval valued
M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, and N. Wilson.
Soft Constraint Problems, Annals of Mathematics and
Artificial Intelligence, special issue
for ISAIM 2008, B. Chouery and B. Givan
eds., Volume 58, Issue
3, page 261, 2010.
S, Pini, F. Rossi and K. Brent Venable.
Uncertainty in Bipolar Preference Problems, S, Bistarelli, M,
Journal of Experimental and Theoretical Artificial Intelligence
(JETAI), Volume 22 Issue 4, page 269, 2010.
M.S. Pini, F. Rossi, K. Venable,
T.Walsh.
Incompleteness and Incomparability in Preference Aggregation: Complexity
Results, Artificial Intelligence Journal, special
issue on "Representing,Processing,
and Learning Preferences: Theoretical and Practical Challenges", C.Domshlak,
E.Hollermeier, S. Kaci, H. Prade, eds., volume 175, Issues 7-8, May 2011, Pages
1272-1289.
Jerome Lang, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin, K. Brent Venable,
Toby Walsh.
Winner determination in voting trees with incomplete preferences and weighted votes,
to appear in Journal of Autonomous Agents and Multi-Agent Systems.
Maria Silvia Pini,
Francesca Rossi, K. Brent Venable, Toby Walsh.
Manipulation complexity and
gender neutrality in stable
marriage procedures, Journal of Autonomous Agents and
Multi-Agent Systems, Volume 22, Issue 1, p.183,2011.
Costantini, F. Answer Set Programming with Resources. Journal of Logic and Computation, 20(2):533-571. 2010.
Costantini, F.. Modeling Preferences and Conditional Preferences on Resource Consumption and Production in ASP. Journal of Algorithms in Cognition, Informatics and Logic, 64(1):3-15. 2009. [LPNMR11]
S. Bistarelli, F. Fioravanti, P,. Peretti, F. Santini, ¡§Evaluation of complex security scenarios using defense trees and economic indexes, to appear in Journal of Experimental & Theoretical Artificial Intelligence.
S. Bistarelli, F. Gadducci, J. Larrosa, E. Rollon, F. Santini, "Local Arc Consistency for Non-Invertible Semirings, with an Application to Multi-Objective Optimization", to appear in Expert Systems with Applications, Eslevier.
S. Bistarelli, F. Santini, "A Nonmonotonic Soft Concurrent Constraint Language to Model the negotiation Process" to appear in Fundamenta Informaticae
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Generalization
Strategies for the Verification of Infinite State Systems. Accepted by
Theory and Practice of Logic Programming, 2011 (to appear)
M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, and N. Wilson.
Local search for stable marriage problems
Proc. COMSOC 2010 (Third International Workshop on Computational
Social Choice), Sep. 13–16th, 2010, Düsseldorf, Germany
M. S. Pini, F. Rossi, K. B. Venable, T. Walsh.
Stable marriage problems with quantitative preferences
Proc. COMSOC 2010 (Third International Workshop on Computational Social Choice), Sep. 13-16th, 2010, Düsseldorf, Germany
Alessandro Dal Palu', Agostino Dovier, and Sebastian Will. http://wcb10.dimi.uniud.it/WCB10_proc.pdf
Proceedings of WCB 2010, Workshop on Constraint Based Methods for Bioinformatics
July 21st, 2010 Edinburgh (Easychair proceedings)
Alessandro Dal Palu', Mathias Moehl, Sebastian Will
Alignnment of RNA with Structures of Unlimited Complexity.
Proceedings of WCB 2010, Workshop on Constraint Based Methods for Bioinformatics
July 21st, 2010 Edinburgh, pp. 31-35
Martin Mann, Alessandro Dal Palu'
Lattice model refinement of protein structures
Proceedings of WCB 2010, Workshop on Constraint Based Methods for Bioinformatics
July 21st, 2010 Edinburgh, pp. 47-53
A. Dal Palu', M. Moehl, S. Will and B. Berger.
CARNA: Alignment of RNA with Structures of Unlimited Complexity.
RECOMB 2010 (poster)
A. Dal Palu', M. Moehl, and S. Will.
A Propagator for Maximum Weight String Matching with Arbitrary Pairwise Dependencies.
CP 2010, LNCS.
Raffaele Cipriano, Luca Di Gaspero, and Agostino Dovier.
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++.
In HM 2009 6th International Workshop on Hybrid Metaheuristics.
LNCS 5818, pp. 141-155, Udine, October 16-17, 2009.
A. Dal Palu', A. Dovier, and A. Formisano.
Proceedings of WCB11 (editors), Perugia.
M. Best, K. Bhattarai, F. Campeotto, A. Dal Palu', H. Dang, A. Dovier,
F. Fioretto, F. Fogolari, T. Le and E. Pontelli.
Introducing FIASCO: Fragment-based Interactive Assembly for protein
Structure prediction with COnstraints .
WCB 2011 colocated to CP2011.
Agostino Dovier, Andrea Formisano, and Enrico Pontelli.
BAAC: A Prolog System for Action Description and Agents Coordination.
ICLP 2011, Lexington, Kentucky, July 06-10, 2011. 10.4230/LIPIcs.ICLP.2011.187, pp. 187--197.
Alessandro Dal Palu', Agostino Dovier, Federico Fogolari, and Enrico Pontelli.
Exploring Protein Fragment Assembly Using CLP.
In IJCAI11, Twenty-second International Joint Conference on Artificial Intelligence, July 16-22, 2011, pp. 2590-2595, AAAI Press, Barcelona.
Neng-Fa Zhou and Agostino Dovier.
A Tabled Prolog Program for Solving Sokoban,
ICTAI 2011 23rd IEEE International Conference on Tools with Artificial Intelligence, Nov. 7-9, 2011,
Boca Raton, Florida, USA. also in
26th Italian Conference on Computational Logic. Pescara, Italy, August 31-September 2, 2011.
Montanari A., Pratt-Hartmann I., Sala P., "Decidability
of the Logic of the Reflexive Sub-interval Relation over Finite
Linear Orders". Proceedings of the 17th International Symposium
on Temporal Representation and Reasoning (TIME), IEEE Comp.
Society Press, Paris, France, September 2010, pp. 27-34.
Bresolin D., Montanari A., Sala P., Sciavicco G., Optimal
Tableau Systems for Propositional Neighborhood Logic over
All, Dense, and Discrete Linear Orders, Proceedings of the
20th International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods (TABLEAUX),
LNAI 6793, Springer, Bern, Switzerland,
July 2011, pp. 73-87.
Montanari A., Puppis G., Sala P., Sciavicco G., "Decidability
of the interval temporal logic ABBbar over the natural numbers",
Proceedings of the 27th International Symposium on Theoretical
Aspects of Computer Science (STACS), Nancy, France, March 2010,
pp. 597-608.
Montanari A., Puppis G., Sala P., "Maximal decidable fragments
of Halpern and Shoham's modal logic of intervals", Proceedings
of the 37th International Colloquium on Automata, Languages
and Programming - Part II (ICALP), LNCS 6199, Springer,
Bordeaux, France, July 2010. pp. 345-356.
Bresolin D., Della Monica D., Goranko V., Montanari A.,
Sciavicco G., Undecidability of the Logic of Overlap Relation
over Discrete Linear Orderings, Electronic Notes in Theoretical
Computer Science (Proceedings of the 6th Workshop on Methods
for Modalities - M4M 6, 2009), Volume 262, 2010, pp. 65-81.
Bresolin D., Montanari A., Sala P., Sciavicco G., What's
decidable about Halpern and Shoham's interval logic? The
maximal fragment ABBbarLbar, Proceedings of the 26th
Symposium on Logic in Computer Science (LICS), IEEE Comp.
Society Press, Toronto, Canada, June 2011, pp. 387-396.
Bresolin D., Della Monica D., Goranko V., Montanari A.,
Sciavicco G., "The dark side of Interval Temporal Logics:
sharpening the undecidability border". Proceedings of the
18th International Symposium on Temporal Representation
and Reasoning (TIME), IEEE Comp. Society Press, Lubeck,
Germany, September 2011.
Bresolin D., Della Monica D., Montanari A., Sciavicco G.,
"The light side of Interval Temporal Logics: the
Bernays-Schoenfinkel's fragment of CDT". Proceedings
of the 18th International Symposium on Temporal
Representation and Reasoning (TIME), IEEE Comp.
Society Press, Lubeck, Germany, September 2011.
Della Monica D., Goranko V., Montanari A., Sciavicco G.,
Expressiveness of the Interval Logics of Allen'™s Relations
on the Class of all Linear Orders: Complete Classification,
Proceedings of the 22nd International Joint Conference on
Artificial Intelligence (IJCAI), Barcelona, Spain, July 2011,
pp. 845-850.
Bresolin D., Della Monica D., Goranko V., Montanari A.,
Sciavicco G., "Metric Propositional Neighborhood Logics:
Expressiveness, Decidability, and Undecidability".
Proceedings of the 19th European Conference on Artificial
Intelligence (ECAI), M. Wooldridge (Ed.), Lisbon, Portugal,
August 2010, pp. 695-700.
Bresolin D., Della Monica D., Montanari A., Sala P., Sciavicco G.,
"A decidable spatial generalization of Metric Interval Temporal
Logic". Proceedings of the 17th International Symposium on
Temporal Representation and Reasoning (TIME), IEEE Comp.
Society Press, Paris, France, September 2010, pp. 95-102.
Bresolin D., Montanari A., Sala P., Sciavicco G., An Optimal
Decision Procedure for MPNL over the Integers, Proceedings
of the 2nd International Symposium on Games, Automata, Logics,
and Formal Verification (GandALF), EPTCS 54, Minori (SA),
Italy, June 2011, pp. 192-206
Montanari A., Vitacolonna N., Ehrenfeucht-Fraisse' Games: Applications
and Complexity, 22nd European Summer School on Logic, Language and
Information, Copenhagen, Denmark, August 2010.
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable,
Toby Walsh. A local search approach
to solve incomplete fuzzy CSPs, Proc. ICAART 2011.
Ronen Brafman, Francesca Rossi,
Domenico Salvagnin, Brent Venable,
Toby Walsh. Finding the
next solution in
constraint-and-preference-based knowledge
representation formalisms, Proc. KR 2010, Toronto, Canada, May 9-13, 2010
Ronen Brafman, Enrico Piloho,
Francesca Rossi,
Domenico Salvagnin,
K. Brent Venable, Toby Walsh. The next best solution,
Proc. AAAI 2011 NECTAR track
Giorgio Dalla Pozza, Francesca
Rossi, K. Brent Venable. Multi-agent soft constraint aggregation: a
sequential approach, Proc. ICAART 2011.
Maria Silvia
Pini, Francesca Rossi, K. Brent Venable, Toby Walsh.
Possible and necessary winners in voting trees: majority graphs vs. profiles, Proc. AAMAS 2011.
Giorgio Dalla Pozza, Maria Silvia Pini, Francesca
Rossi, K. Brent Venable.
Multi-agent
soft constraint aggregation
via sequential voting, Proc. IJCAI 2011.
Nicola Maudet, Maria Silvia Pini, Francesca Rossi,
Kristen Brent Venable. Influencing and aggregating agents' preferences
over combinatorial domains, Proc. IJCAI 2011 workshop
on social choice and AI, Barcelona, July 2011.
Nicola Maudet, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable.
Influencing and aggregating agents' preferences over combinatorial domains,
Proc. IJCAI 2011 workshop on social choice and AI, Barcelona, July 2011.
Maria Silvia Pini,
Francesca Rossi, K. Brent Venable, Toby Walsh.
Stability in matching problems with weighted preferences, Proc. ICAART 2011.
Mirco Gelain,
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh.
Procedural fairness in stable marriage problems, Proc. AAMAS 2011.
Maria Silvia Pini,
Francesca Rossi, Kristen Brent Venable, Toby Walsh.
Weights in stable marriage
problems increase manipulation opportunities, Proc. TARK 2011.
Dovier, Formisano, Pontelli. An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems. JETAI, 21(2):79-121. 2009.
Dovier, Formisano, Pontelli. Multi-valued Action Languages with Constraints in CLP(FD). TPLP, 10(2):167-235. 2010.
Dovier, Formisano, Pontelli. Autonomous Agents Coordination: Action Description Languages meet CLP(FD) and Linda. TPLP, To appear. 2011.
Dovier, Formisano, Pontelli. An Investigation of Multi-agent Planning in CLP. Fundamenta Informaticae, 105(1-2):1-33. 2010.
Dovier, Formisano, Pontelli. Perspectives on Logic-based Approaches for Reasoning About Actions and Change. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. 2011.
Dovier, F., Pontelli. Representing Multi-agent Planning in CLP. Proc. of LPNMR09, LNCS 5753, 2009.
Costantini, F.. Weight Constraints with Preferences in Answer Set Programming. Proc. of LPNMR 2011, LNCS 6645, 2011.
Costantini, F.. Augmenting Weight Constraints with Complex Preferences. Proc. of Commonsense11, AAAI Spring Symposium, 2011.
F., Petturiti. Extending and implementing RASP. Proc. of CILC2009, 2009.
Costantini, F., Pearce. Strong Equivalence of RASP Programs. Proc. of GTTV11 - LPNMR workshop, 2011.
D. Campagna, C. De Rosa, A. Dovier, A. Montanari, and C. Piazza. Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). Fundam. Inform., 105(1-2):105–133, 2010.
D. Campagna, A Graphical Framework for Supporting Mass Customization.
In Proceedings of the IJCAI'11 Workshop on Configuration, pages 1-8, 2011.
S. Bistarelli, P. Campli, F. Santini: Finding partitions of arguments with Dung's properties via SCSPs. SAC 2011: 913-919
S. Bistarelli, F. Santini: ConArg: A Constraint-based Computational Framework for Argumentation Systems, to appear in ICTAI 2011, IEEE
S. Bistarelli, G. Gosti, F. Santini, ¡§Solving Fuzzy DCSPs with Naming Games¡¨, to appear in ICTAI 2011
S. Bistarelli, F. Santini: ConArg: A Constraint-based Computational Framework for Argumentation Systems, TAFA 2011, LNAI, Springer
Solving Fuzzy DCSPs with Naming Games¡¨, S. Bistarelli, G. Gosti, F. Santini, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2011
S. Bistarelli, G. Gosti, F. Santini, ¡§Solving Fuzzy DCSPs with Naming Games, RCRA11
S. Bistarelli, F. Martinelli, F. Santini, CHR Abduction and Deduction Inferences for Trust-based Access Authorization on Mobile Devices, ITAIS 201, Springer
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.:
Using Real Relaxations During Program Specialization
In: G. Vidal (Ed.), Preliminary Proceedings of the 21st International Symposium
on Logic-Based Synthesis and Transformation (LOPSTR 2011), July 18-20, 2011,
Odense, Denmark, pp. 96-111, Univ. of Southern Denmark, 2011 (to appear in
LNCS, Springer).
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Improving Reachability
Analysis of Infinite State Systems by Specialization In: G. Delzanno and I.
Potapov (Eds.), Proceedings of the 5th International Workshop on Reachability
Problems (RP 2011), September 28-30, 2011, Genova, Italy, LNCS 6945,
Springer 2011, pp. 165-179.
Alessandro Dal Palu', Agostino Dovier, Federico Fogolari, and Enrico Pontelli. CLP-based protein fragment assembly.
In Proceedings of the 25th Italian Conference on Computational Logic
Rende, Italy, July 7-9, 2010.
Alessio Stalla, Davide Zanucco, Agostino Dovier, and Viviana Mascardi.
PrettyCLP: a Light Java Implementation for Teaching CLP.
26th Italian Conference on Computational Logic. Pescara, Italy, August 31-September 2, 2011.
D'agostino G., Lenzi, G (2011). On modal mu-calculus in S5 and applications.
26th Italian Conference on Computational Logic. Pescara, Italy, August 31-September 2, 2011.
Dovier, Formisano, Pontelli. Autonomous Agents Coordination: Action Description Languages meet CLP(FD) and Linda. Proc. of CILC 2010.
Dovier, F., Pontelli. Multi-agent planning in CLP. Proc. of CILC 2009.
D. Campagna, A. Formisano. ProdProc - Product and Production Process Modeling and Configuration. In 26th Italian Conference on Computational Logic (CILC 2011). Pescara, Italy, August 2011.
Fioravanti, F., Pettorossi, A., Proietti, M., Senni, V.: Controlling
Polyvariance for Specialization-Based Verification, In: Proceedings of
26th Italian Conference on Computational Logic (CILC'11), Fioravanti, F. (ed.),
CEUR-WS, 2011, pp. 179-197.