b         Francesca Rossi
Department of Pure and Applied Mathematics
University of Padova
Via Trieste 63
35121 Padova, Italy
frossi@math.unipd.it
                   

Papers

2012

Bribery in Voting Over Combinatorial Domains Is Easy,
Nicholas Mattei, Francesca Rossi, Kristen Brent Venable, Maria Silvia Pini,
extended abstract, Proc. AAMAS 2012.

Influence and aggregation of preferences over combinatorial domains,
Nicolas Maudet, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable,
extended abstract, Proc. AAMAS 2012.

2011

Weights in stable marriage problems increase manipulation opportunities,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh,
Proc. IJCAI 2011 workshop on social choice and AI, Barcelona, July 2011.

Influencing and aggregating agents' preferences over combinatorial domains,
Nicola Maudet, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable,
Proc. IJCAI 2011 workshop on social choice and AI, Barcelona, July 2011.

Weights in stable marriage problems increase manipulation opportunities,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh,
Proc. TARK 2011.

The next best solution,
Ronen Brafman, Enrico Pilotto, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh,
Proc. AAAI 2011 NECTAR track.

Multi-agent soft constraint aggregation via sequential voting,
Giorgio Dalla Pozza, Maria Silvia Pini, Francesca Rossi, K. Brent Venable,
Proc. IJCAI 2011.

Winner determination in voting trees with incomplete preferences and weighted votes,
Jerome Lang, Maria Silvia Pini, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh,
to appear in Journal of Autonomous Agents and Multi-Agent Systems.

Procedural fairness in stable marriage problems,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Proc. AAMAS 2011.

Possible and necessary winners in voting trees: majority graphs vs. profiles,
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Proc. AAMAS 2011.

Stability in matching problems with weighted preferences,
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Proc. ICAART 2011.

A local search approach to solve incomplete fuzzy CSPs,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Proc. ICAART 2011.

Multi-agent soft constraint aggregation: a sequential approach,
Giorgio Dalla Pozza, Francesca Rossi, K. Brent Venable,
Proc. ICAART 2011.

Manipulation complexity and gender neutrality in stable marriage procedures,
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Journal of Autonomous Agents and Multi-Agent Systems, Volume 22, Issue 1, p. 183, 2011.

Incompleteness and Incomparability in Preference Aggregation: Complexity Results,
M.S. Pini, F. Rossi, K. Venable, T.Walsh,
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.

2010

Male optimal and unique stable marriages with partially ordered preferences,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
post-proceedings International Workshop on Collaborative Agents - REsearch and development (CARE 2009/2010), LNAI 6066, Springer, 2010, Christian Guttmann, Frank Dignum, Michael Georgeff eds.

Uncertainty in Bipolar Preference Problems,
S, Bistarelli, M, S, Pini, F. Rossi and K. Brent Venable,
Journal of Experimental & Theoretical Artificial Intelligence (JETAI), to appear.

Local search for stable marriage problems,
M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, T. Walsh,
Proc. COMSOC 2010 (3rd International Workshop on Computational Social Choice), September 13-16, 2010, Düsseldorf, Germany.

Stable marriage problems with quantitative preferences,
M. S. Pini, F. Rossi, K. B. Venable, T. Walsh,
Proc. COMSOC 2010 (3rd International Workshop on Computational Social Choice), September 13-16, 2010, Düsseldorf, Germany.

Finding the next solution in constraint- and preference-based knowledge representation formalisms,
R. Brafman, F. Rossi, D. Salvagnin, K. B. Venable, and T. Walsh,
Proc. MPREF 2010 (5th multidisciplinary workshop on advances in preference handling), Aug. 16th, 2010, Lisbon, Portugal (colocated with ECAI 2010).

Interval-valued Soft Constraint Problems,
M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, and N. Wilson,
Annals of Mathematics and Artificial Intelligence, special issue for ISAIM 2008, B. Chouery and B. Givan eds., Volume 58, Issue 3, page 261, 2010.

Local search for stable marriage problems with ties and incomplete lists,
M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, T. Walsh,
Proc. PRICAI 2010 (11th Pacific Rim International Conference on Artificial Intelligence), Byoung-Tak Zhang and Mehmet A. Orgun eds., Springer LNAI 6230, 2010.

Local search algorithms on the Stable Marriage Problem: Experimental Studies,
M. Gelain, M. S. Pini, F. Rossi, K. B. Venable, T. Walsh,
Proc. ECAI 2010, Lisbon, Portugal, August 16-20, 2010.

Constraint Logic Programming,
Marco Gavanelli, Francesca Rossi,
in "A 25 Year Perspective on Logic Programming - Achievements of the Italian Association for Logic Programming, GULP",
A. Dovier and E. Pontelli eds., Springer-Verlag, LNCS 6125, pp.64-86, 2010.

Finding the next solution in constraint- and preference-based knowledge representation formalisms,
Ronen Brafman Francesca Rossi, Domenico Salvagnin, Brent Venable, Toby Walsh,
Proc. KR 2010, Toronto, Canada, May 9-13, 2010.

Male optimality and uniqueness in stable matching problems with partial orders,
Maria Silvia Pini, Francesca Rossi, Toby Walsh, Mirco Gelain, Kristen Brent Venable,
Proc. AAMAS 2010, Toronto, Canada, May 10-14, 2010.

Elicitation Strategies for Soft Constraint Problems with Missing Preferences: Properties, Algorithms and Experimental Studies,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Artificial Intelligence Journal, volume 174, pp. 270-294, 2010.

Soft Constraint Problems With Uncontrollable Variables,
Maria Silvia Pini, Francesca Rossi, K. Brent Venable,
Journal of Experimental & Theoretical Artificial Intelligence (JETAI), Volume 22 Issue 4, page 269, 2010.

2009

Male optimal and unique stable marriages with partially ordered preferences,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Proc. CARE 2009, Melbourne, Australia, Dec. 1, 2009.

Compact preference representation in stable marriage problems,
E. Pilotto, F. Rossi, K. B. Venable, T. Walsh,
Proc. ADT 2009 (1st International Conference on Algorithmic Decision Theory), Venice, Italy, October 2009, Springer LNAI 5783.

Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness,
Ulle Endriss, Francesca Rossi, Brent Venable, Maria Silvia Pini,
Proc. IJCAI 2009.

Robust solutions in unstable optimization problems,
Rina Dechter, Maria Silvia Pini, Francesca Rossi, K. Brent Venable,
in Recent Advances in Constraints 2009, Springer LNAI 5783, 2009.

Manipulation and gender neutrality in stable marriage procedures,
Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh,
Proc. AAMAS 2009.

From soft constraints to bipolar preferences: modelling framework and solving issues,
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, and K. Brent Venable,
JETAI (Journal of Experimental and Theoretical AI), DOI: 10.1080/09528130903010212, 2009.

Dynamic Consistency of Fuzzy Conditional Temporal Problems,
Marco Falda, Francesca Rossi, K. Brent Venable,
Journal of Intelligent Manufacturing, Elsevier, Volume 21, Issue 1 (2010), Page 75, special issue on Planning, Scheduling and Constraint Satisfaction, M. Salido editor.

2008

Imprecise soft constraint problems,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Nic Wilson,
Proc. Soft 2008 (9th workshop on preferences and soft constraints), Sydney, Australia, September 2008. Preliminary version presented at CSCLP 2008 (annual ERCIM workshop on constraint solving and constraint logic programming), Rome, June 2008.

Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh,
Proc. CP 2008, Sydney, Australia, September 2008.

Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh,
Proc. KR 2008, Sydney, Australia, September 2008.

Constraints and Preferences: Modelling Frameworks and Multi-agent Settings,
Francesca Rossi,
in "Similarities and Preferences", G. Della Riccia, D. Dubois, R. Kruse, H.- J. Lenz, eds., CISM series, Springer, 2008.

Comparing the notions of optimality in CP-nets, strategic games, and soft constraints,
Krzysztof R. Apt, Francesca Rossi, K. Brent Venable,
to appear in Annals of Mathematics and Artificial Intelligence.

A comparison of the notions of optimality in soft constraints and graphical games,
Krzysztof R. Apt, Francesca Rossi, K. Brent Venable,
to appear in Recent advances in Constraints, selected papers from the 2007 ERCIM workshop on constraints (Paris, June 2007), Springer LNAI, 2008.

Aggregating partially ordered preferences,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh,
Journal of Logic and Computation, Oxford University Press, special Issue on belief revision, belief merging and social choice, D. Gabbay, G. Pigozzi, O. Rodrigues eds., vol. 19, pp.475-502, 2009; doi:10.1093/logcom/exn012

Fuzzy Conditional Temporal Problems: strong and weak consistency,
Marco Falda, Francesca Rossi, K. Brent Venable, Journal of Engineering Application of Artificial Intelligence, Elsevier, to appear.

Constraint programming,
Francesca Rossi, Peter Van Beek, Toby Walsh,
in "Handbook of Knowledge Representation", F. van Harmelen, V. Lifschitz, B. Porter eds., Elsevier, 2008.


2007

Fuzzy Conditional Temporal Problems: dynamic consistency and comparison with STPPUs,
Marco Falda, Francesca Rossi, K. Brent Venable, Proc. CAEPIA 2007 Workshop on Planning, Scheduling and Constraint Satisfaction, Salamanca, Spain, Nov. 13, 2007.

Strong, Weak, and Dynamic Consistency in Fuzzy Conditional Temporal Problems,
Marco Falda, Francesca Rossi, K. Brent Venable, Proc. COPLAS 2007 (CP/ICAPS 2007 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems), Providence, RI, USA, September 23, 2007.

Dealing with incomplete preferences in soft constraint problems,
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable,
Proc. CP 2007 (Providence, RI, USA, September 2007), Springer LNCS.

Uncertainty in bipolar preference problems,
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable,
Proc. CP 2007 (Providence, RI, USA, September 2007), Springer LNCS.

Sequential majority voting with incomplete profiles,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh,
AAAI 2007 workshop on Preference Handling for Artificial Intelligence, July 22-23, 2007, Vancouver.

Bipolar preference problems: framework, properties and solving techniques,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Stefano Bistarelli,
selected papers from 2006 ERCIM workshop on constraints (Lisbon, June 2006), Springer LNAI 4561, 2007.

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming,
F. Santini, S. Bistarelli, U. Montanari, F. Rossi,
Proc. Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL'07), 24-25 March 2007, Braga (Portugal).

Incompleteness and incomparability in preference aggregation,
M.S. Pini, F. Rossi, K. Venable, T.Walsh,
Proc. IJCAI 2007, Hyderabad, India, January 2007.

Winner determination in sequential majority voting,
J. Lang, M.S. Pini, F. Rossi, K. Venable, T. Walsh,
Proc. IJCAI 2007, Hyderabad, India, January 2007.

Solving and learning a tractable class of soft temporal problems: theoretical and experimental results,
L. Khatib, P. Morris, R. Morris, F. Rossi, A. Sperduti, K. Brent Venable,
AI Communications, special issue on Constraint Programming for Planning and Scheduling, vol. 20, n.3, 2007.


2006

Soft constraints,
P. Meseguer, F. Rossi, T. Schiex,
in Handbook of constraint programming, F. Rossi, P. Van Beek, T. Walsh eds., Elsevier, 2006.

Uncertainty in soft temporal constraint problems: a general framework and controllability algorithms for the fuzzy case,
F. Rossi, K. B. Venable and N. Yorke-Smith,
Journal of AI Research, volume 27, pages 617-674, 2006.
See also the JAIR web site version.

Hard and soft constraints for reasoning about qualitative conditional preferences,
C. Domshlak, S. Prestwich, F. Rossi, K. B. Venable, T. Walsh,
Journal of Heuristics, special issue on preferences, vol. 4-5, September 2006.

Modelling and solving bipolar preference problems,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Stefano Bistarelli,
Proc. 2006 ERCIM workshop on constraints, Lisbon, June 2006.

Winner determination in sequential majority voting with incomplete preferences,
J. Lang, M.S. Pini, F. Rossi, K. Venable, T. Walsh,
Proc. multidisciplinary ECAI06 Workshop about Advances on Preference Handling, Riva del Garda, August 28-29, 2006.

Incompleteness and incomparability in preference aggregation,
M.S. Pini, F. Rossi, K. Venable, T.Walsh,
proc. multidisciplinary ECAI06 Workshop about Advances on Preference Handling, Riva del Garda, August 28-29, 2006.

Bipolar preference problems,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Stefano Bistarelli,
Proc. ECAI 2006 (poster paper), Riva del Garda, August 28-September 1, 2006.

Computing possible and necessary winners from incomplete partially-ordered preferences,
Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh,
Proc. ECAI 2006 (poster paper), Riva del Garda, August 28-September 1, 2006.

Strategic voting when aggregating partially ordered preferences,
F. Rossi, M. S. Pini, K. B. Venable, T. Walsh,
Proc. AAMAS 2006 (5th international joint conference on autonomous agents and multiagent systems), Hakodate, Japan, May 8-12, 2006.


2005

Preference Reasoning (slides),
F. Rossi,
Proc. CP 2005 (invited paper), Sitges, Spain, October 2005.

Positive and negative preferences,
S. Bistarelli, M. S. Pini, F. Rossi, K. B. Venable,
Proc. CP 2005 workshop on preferences and soft constraints (Soft 2005), Sitges, Spain, October 1st, 2005.

CP-nets and Nash equilibria,
K. R. Apt, F. Rossi, K. B. Venable,
Proc. CIRAS 2005 (Third International Conference on Computational Intelligence, Robotics and Autonomous Systems), Singapore, December 13-16, 2005, Elsevier, ISSN: 0219{2013}6131. Also Proc. CP 2005 workshop on preferences and soft constraints (Soft 2005), Sitges, Spain, October 1st, 2005.

Constraint-based Preferential Optimization,
S. Prestwich, F. Rossi, K. B. Venable, T. Walsh,
Proc. AAAI 2005, Pittsburgh, Pennsylvania, July 9 - 13, 2005, Morgan Kaufmann.

Aggregating partially ordered preferences: possibility and impossibility results,
M. S. Pini, F. Rossi, K. B. Venable, T. Walsh,
Proc. TARK X, Singapore, June 2005, ACM Digital Library.

Possibility theory for reasoning about uncertain soft constraints,
M. S. Pini, F. Rossi, K. B. Venable,
Proc. ECSQARU 2005, Barcelona, Spain, July 2005, Springer-Verlag.

Aggregating preference cannot be fair,
F. Rossi, K. B. Venable, T. Walsh,
in special issue of Intelligenza Artificiale on Constraints and Agents, 2005.


2004

Acquiring both constraint and solution preferences in interactive constraint systems,
F. Rossi and A. Sperduti,
Constraints, vol.9, n. 4, 2004, Kluwer.

Controllability of Soft Temporal Constraint Problems,
F. Rossi, K. B. Venable, N. Yorke-Smith,
Proc. CP 2004, Toronto, September 2004, Springer LNCS 3258.

Soft Concurrent Constraint Programming,
S. Bistarelli, U. Montanari, F. Rossi,
to appear on ACM Transaction on Computational Logic.

Book review: Principles of Constraint Programming, by Krzysztof R. Apt,
F. Rossi,
to appear on Theory and Practice of Logic Programming, Cambridge University Press, 2004.

Aggregating preference cannot be fair,
F. Rossi, K. B. Venable, T. Walsh,
Preprint n. 12-2004, Department of Pure and Applied Mathematics, University of Padova, Italy.

Constrained CP-nets,
S. Prestwich, F. Rossi, K. B. Venable, T. Walsh,
Preprint n. 13-2004, Department of Pure and Applied Mathematics, University of Padova, Italy.

Controllability of Soft temporal Constraint Problems,
F. Rossi, K. B. Venable, N. Yorke-Smith,
Preprint n. 14-2004, Department of Pure and Applied Mathematics, University of Padova, Italy.

mCP nets: representing and reasoning with preferences of multiple agents,
F. Rossi, K. B. Venable, T. Walsh,
Proc. AAAI 2004, San Jose, CA, USA, July 2004.

Multi-agent meeting scheduling with preferences: efficiency, privacy loss, and solution quality,
M. S. Franzin, E. C. Freuder, F. Rossi, R. Wallace,
Special issue of Computational Intelligence on "Preferences in AI and CP", volume 20, n. 2, 2004.

Abstracting Soft Constraints: Some Experimental Results
S. Bistarelli, I. Pilan, F. Rossi,
in "Recent Advances in Constraints, 2003", Springer LNAI 3010, 2004.


2003

Computing explanations and implications in preference-based configurators
E. C. Freuder, C. Likitvivatanavong, M. Moretti, F. Rossi, R. J. Wallace,
in Recent Advances in Constraints, Springer LNAI, Vol.2627, Springer, 2003.

Soft Constraint Propagation and Solving in Constraint Handling Rules,
S. Bistarelli, T. Fruehwirth, M. Marte and F. Rossi,
Special issue of Computational Intelligence on "Preferences in AI and CP", volume 20, n. 2, pp. 287-307, 2004.

Simple temporal problems with preferences and uncertainty,
F. Rossi, B. Venable, N. Yorke-Smith,
Proc. CP 2003 workshop on "Online Constraint Solving: Handling Change and Uncertainty", Kinsale, Co. Cork, Ireland, September 29th, 2003.

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques,
C. Domshlak, F. Rossi, K. B. Venable, T. Walsh,
Proc. IJCAI 2003, Acapulco, Mexico, August 2003.

Temporal Reasoning with Preferences and Uncertainty,
N. Yorke-Smith, K. B. Venable, F. Rossi,
Proc. IJCAI 2003 (poster paper), Acapulco, Mexico, August 2003.

Abstracting Soft Constraints: Some Experimental Results, F. Rossi and I. Pilan,
Proc. ERCIM/Colognet workshop on constraint solving and constraint logic programming Budapest, Hungary, 30 June - 2 July, 2003.


2002

Constraint satisfaction,
R. Dechter and F. Rossi,
Nadel, L. (Ed), Encyclopedia of Cognitive Science, Nature Publishing Group, London, 2002.

Learning and Solving Soft Temporal Constraints: An Experimental Study,
F. Rossi, A. Sperduti, K.B. Venable, L. Khatib, P. Morris, R. Morris,
Proc. CP 2002, Springer Verlag, LNCS, Ithaca, NY, September 2002.

Two solvers for tractable temporal constraints with preferences,
F. Rossi, K.B. Venable, L. Khatib, P. Morris, R. Morris,
Proc. AAAI 2002 workshop on preference in AI and CP, Edmonton, Canada, July 2002.

Multi-agent meeting scheduling with preferences: efficiency, privacy loss, and solution quality,
M. S. Franzin, E. C. Freuder, F. Rossi, R. Wallace,
Proc. AAAI 2002 workshop on preference in AI and CP, Edmonton, Canada, July 2002.

Explanations and optimization in preference-based configurators,
M. Moretti, F. Rossi, E. C. Freuder, C. Likitvivatanavong, R. J. Wallace,
Proc. ERCIM/CologNET workshop on constraint solving and constraint logic programming, Cork, Ireland, June 2002.

Soft Constraint Propagation and Solving in Constraint Handling Rules,
S. Bistarelli, M.Marte, T. Fruhwirth, F. Rossi,
Proc. of WFLP 2002 (11th International Workshop on Functional and Logic Programming).

Abstracting Soft Constraints: Framework, Properties, Examples,
S. Bistarelli, P. Codognet, F. Rossi,
Artificial Intelligence Journal, volume 139, pp. 175-211, 2002.

General Properties and Termination Conditions for Soft Constraint Propagation,
S. Bistarelli, R. Gennari, F. Rossi,
Constraints: An International Journal, Constraints, Kluwer, Vol. 8, issue 1, January 2003.

Soft Concurrent Constraint Programming,
S.Bistarelli, U. Montanari, F. Rossi,
Proc. ESOP 2002 (European Symposium on Programming), Springer LNCS, Grenoble, April 6-14, 2002.

Soft Constraint Logic Programming and Generalized Shortest Path Problems,
S.Bistarelli, U. Montanari, F. Rossi,
Journal of Heuristics, Kluwer, vol 8, n. 1, 2002.

Soft Constraint propagation and Solving with CHRs,
S. Bistarelli, M.Marte, T. Fruhwirth, F. Rossi,
Proc. of SAC 2002 (ACM Symposium on Applied Computing), Madrid, March 2002.


2001

CP 2001 tutorial on soft constraints: models, algorithms, and applications.
Pedro Meseguer, Francesca Rossi, Thomas Schiex.
Transparencies: part 1: models , part 2: algorithms , part 3: applications .

An interactive semantics of logic programming,
R. Bruni, U. Montanari, F. Rossi,
special issue of the Journal of Theory and Practice of Logic Programming in honour of Alain Colmerauer, Cambridge University Press, 2001.

Learning Preferences on Temporal Constraints: A Preliminary Report ,
L. Khatib, P. Morris, R. Morris, F. Rossi, A. Sperduti,
Proc. TIME 2001, IEEE Computer Society Press, June 2001.

Temporal constraint reasoning with preferences ,
L. Khatib, P. Morris, R. Morris, F. Rossi,
Proc. IJCAI 2001, August 2001.

Semiring-based constraint logic programming: syntax and semantics,
S. Bistarelli, U. Montanari, F. Rossi,
ACM TOPLAS, vol. 23, n.1, 2001.


2000

Solving and Programming with Soft Constraints: Theory and Practice,
P. Codognet and F. Rossi,
paper associated to the ECAI/AAAI 2000 tutorial on soft constraints, May 2000.
Also: slides of the first part of the ECAI 2000 tutorial, and slides of the whole HICSS-34 tutorial.

Constraint Propagation for Soft Constraint Satisfaction Problems: Generalization and Termination Conditions,
S. Bistarelli, R. Gennari, F. Rossi,
in Proc. CP 2000 (Int. Conf. on Principles and Practice of Constraint Programming), Springer, LNCS, 2000.

An Abstraction Framework for Soft Constraints, And Its Relationship with Constraint Propagation ,
S. Bistarelli, P. Codognet, F. Rossi,
in Proc. SARA 2000 (Symposium on Abstraction, Reformulation, and Approximation), Springer, LNAI 1864, 2000.

New Trends in Constraints,
Selected papers from the ERCIM/Compulog Net workshop on constraints, Apt, Kakas, Monfroy, Rossi eds., Springer LNAI 1865, 2000.

Abstracting Soft Constraints,
S. Bistarelli, P. Codognet, Y. Georget, F. Rossi,
in Proc. ERCIM/Compulog Net workshop on constraints, Springer, LNAI 1865, 2000.

Constraint Logic Programming,
F. Rossi et al.,
in Proc. ERCIM/Compulog Net workshop on constraints, Springer, LNAI 1865, 2000.

Experimental results on Learning Soft Constraints,
A. Biso, F. Rossi, A. Sperduti,
in Proc. KR 2000 (7th Int. Conf. on Principles of Knowledge Representation and Reasoning), Breckenridge, CO, USA, April 12-15, 2000.

Approximation of local consistency for soft constraints,
S. Bistarelli, P. Codognet, Y.Georget, F. Rossi,
in Proc. PADL'2000 (Practical Aspects of Declarative Languages), Boston, January 2000, Springer-Verlag LNCS 1753, 2000.


1999

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison,
Stefano Bistarelli, Helene Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gerard Verfaillie, in CONSTRAINTS: An international journal, Vol.4, N.3, Kluwer, September 1999.

Constraint Retraction in CLP(FD): Formal Framework and Performance Results,
Yan Georget, Philippe Codognet, and Francesca Rossi, in CONSTRAINTS: An international journal, vol. 4, n.1, Kluwer, 1999.


1998

Modeling Process Coordination via tiles, graphs, and constraints,
Ugo Montanari and Francesca Rossi, in Proc. IDPT98, Berlin, 1998.

About arc-consistency in semiring-based constraint problems,
Stefano Bistarelli and Francesca Rossi, in Proc. AMAI98 (Symposium on Mathematics and Artificial Intelligence), Ft. Lauderdale, Florida, USA, January 1998.

Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems,
U. Montanari and F. Rossi, Applied Categorical Structures, Kluwer, 1998.

Learning solution preferences in constraint problems,
Francesca Rossi and Alessandro Sperduti, in Journal of Theoretical and Experimental Artificial Intelligence (JETAI), Vol. 10, 1998, Taylor and Francis publisher.

Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs,
F. Bueno, M. Hermenegildo, U. Montanari, and F. Rossi, in Science of Computer Programming, Vol. 30, 1998, Elsevier.


1997

Implementing Constraint Retraction for Finite Domains,
Yan Georget, Philippe Codognet, and Francesca Rossi, Proc. ASIAN97 conference, Kathmandu, Nepal, December 1997, Springer-Verlag.

Constraint Solving and Programming: What next?,
U. Montanari and F. Rossi, in ACM Computing Surveys, vol.28, n.4, 1996. Also in CONSTRAINTS: An international journal, vol.2, n.1, 1997.

Constraints and Agents for a Decentralized Network Infrastructure,
Jean Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi, in Proc. AAAI97 workshop on Constraints and Agents, 1997.

Semiring-based Constraint Logic Programming,
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, in Proc. IJCAI97, Morgan Kaufmann, 1997.

Semiring-based Constraint Solving and Optimization,
Stefano Bistarelli, Ugo Montanari and Francesca Rossi, in Journal of ACM, vol.44, n.2, pp. 201-236, March 1997.


1996

Constraint Retraction in FD,
Philippe Codognet, Daniel Diaz, Francesca Rossi, in Proc. FST& TCS 1996, Springer-Verlang, LNCS 1180, 1996.

Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison,
Stefano Bistarelli, Helene Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gerard Verfaillie, in Over-Constrained Systems, Michael Jampel ed., Springer-Verlang, LNCS 1106, 1996.

Learning Solution Preferences in Constraint Problems,
F. Rossi and A. Sperduti, in Proc. ECAI96 workshop on non-standard constraint processing, Budapest, August 1996.

Existential variables and local consistency in finite domain constraint problems,
F. Rossi, in Proc. CP96, Springer Verlag, LNCS 1118, 1996.

Graph Processes,
A. Corradini, U. Montanari and F. Rossi, Fundamenta Informatica, vol. 26, 1996.

Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization,
U. Montanari and F. Rossi, in Proc COORDINATION96, Springer-Verlag, LNCS 1061, 1996.

Synchronized Composition of Graph Grammars Productions,
A. Corradini and F. Rossi, in Proc. 5th International Workshop on Graph Grammars and their application to Computer Science, Springer-Verlag, LNCS 1073, 1996.


1995 and older

Contextual nets,
U. Montanari and F. Rossi, in Acta Informatica, vol.32, 1995.

Independent And-Parallelism in Logic Programming: Correctness, Efficiency, and Compile-Time Conditions,
M. Hermenegildo and F. Rossi, in Journal of Logic Programming, vol.22, n.1, 1995.

Redundant Hidden Variables in Finite Domain Constraint Problems,
F. Rossi, in Constraint Processing, M.Meyer ed., Springer-Verlag, LNCS 923, 1995.

Concurrency and Concurrent Constraint Programming,
U. Montanari and F. Rossi, in Constraint Programming: Basics and Trends, A. Podelski ed., Springer-Verlag, LNCS 910, 1995.

Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets ,
U. Montanari and F. Rossi, in Constraint Programming, MIT Press, V. Saraswat and P. Van hentenryck eds., 1995.

Constraint Solving over Semirings,
S. Bistarelli, U. Montanari, and F. Rossi, in Proc. IJCAI95, Morgan Kaufmann, 1995.

NMCC: Constraint Enforcement and Retraction in CC Programming,
P. Codognet and F. Rossi, in Proc. ICLP95, MIT Press, 1995.

An Abstract Machine for Concurrent Modular Systems: CHARM,
A. Corradini, U. Montanari, and F. Rossi, in Theoretical Computer Science, vol. 122, S. Goto and K. Satoh eds., 1994.

Concurrent semantics for concurrent constraint programming,
F. Rossi and U. Montanari, in Constraint Programming, B. Mayoh, E. Tyugu, J. Penjam eds., NATO ASI Series, 1994.

From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics,
F. Bueno, M. Garcia de la Banda, M. Hermenegildo, U. Montanari, and F. Rossi, in Proc. 4th International Conference on Algebraic and Logic Programming (ALP94), Madrid, September 1994, Springer-Verlag, LNCS 850.

CC Programs with both in- and non-determinism: A concurrent semantics,
U. Montanari, F. Rossi, and V. Saraswat, in Proc. 2nd Int. Workshop on Principle and Practice of Constraint Programming, Springer-Verlag, LNCS 874, A. Borning ed., 1994.

Towards a concurrent semantics based analysis of CC and CLP,
U. Montanari, F. Rossi, F. Bueno, M. Garcia de la Banda, and M. Hermenegildo, in Proc. 2nd Int. Workshop on Principle and Practice of Constraint Programming, Springer-Verlag, LNCS 874, A. Borning ed., 1994.

An Event Structure Semantics for Safe Graph Grammars,
A. Corradini, H. Ehrig, M. Lowe, U. Montanari, and F. Rossi, in Proc. IFIP Working Conference on Programming Concepts, Methods, and Calculi (PROCOMET), 1994.

Abstract Graph Derivations,
A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi, in Proc. Dagstuhl Seminar on Graph Transformations in Computer Science, Springer-Verlag, LNCS 776, 1994.

Note on Standard Graph Derivations,
A. Corradini, H. Ehrig, M. Lowe, U. Montanari and F. Rossi, in Proc. Dagstuhl Seminar on Graph Transformations in Computer Science, Springer-Verlag, LNCS 776, 1994.

Contextual Occurrence Nets and Concurrent Constraint Programming,
U. Montanari and F. Rossi, in Proc. Dagstuhl Seminar on Graph Transformations in Computer Science, Springer-Verlag, LNCS 776, 1994.

Graph rewriting for a partial ordering semantics of concurrent constraint programming,
U. Montanari and F.Rossi, in a special issue of Theoretical Computer Science on graph grammars, Courcelle ed., vol. 109, 1993.

On the expressive power of hyperedge-replacement jungle rewriting for term rewriting systems and logic programming,
A. Corradini and F. Rossi, in a special issue of Theoretical Computer Science on graph grammars, Courcelle ed., vol. 109, 1993.

Finite Domain Constraint Solving and Constraint Logic Programming,
U. Montanari and F. Rossi, in Constraint Logic Programming: Selected Research, A. Colmerauer and F. Benhamou eds., MIT Press, 1993.

Constraint Relaxation May be Perfect,
U. Montanari and F. Rossi, in Artificial Intelligence Journal, vol.48, 1991, pp. 143-170. Also University of Pisa Technical Report TR-21/89, CS Department.

A New Term Graph rewriting Formalism: Hyperedge Replacement Jungle Rewriting,
A. Corradini and F. Rossi, in Term Graph Rewriting: Theory and Practice, M.R. Sleep, M.J. Plasmeijer, and M.C. van Eekelen eds., John Wiley & Sons Ltd, 1992.

Finite Domain Constraint Problems and their Relationship to Logic Programming,
U. Montanari and F. Rossi, in NATO ASI series: Recent Developments in Decision Support Systems, Holsapple C.W. and Whinston A., eds., Springer-Verlag, 1991.

Fundamental properties of networks of constraints: a new formulation,
U. Montanari and F. Rossi, in Search in Artificial Intelligence, Kumar V. and Kanal L. eds., Springer Verlag, 1988.

CHARM: Concurrency and Hiding in an Abstract Rewriting machine,
A. Corradini, U. Montanari, and F. Rossi, in Proc. Fifth Generation Computer Systems (FGCS92), Tokyo, Japan, June 1992.

Graph Grammars as Context-dependent rewriting Systems: A Partial Ordering Semantics,
U. Montanari and F. Rossi, in Proc. Colloqium on Trees in Algebra and Programming (CAAP92), Rennes, France, February 1992, Springer-Verlag.

Hyperedge Replacement Jungle Rewriting and its Relationship to Term Rewriting Systems,
A. Corradini and F. Rossi, in the Proc. of the 1991 SEMAGRAPH Symposium, Springer Verlag, 1992.

True-Concurrency in Concurrent Constraint Programming,
by U. Montanari and F. Rossi, in Proc. International Logic Programming Symposium (ILPS91), San Diego, 1991, MIT Press.

Perfect relaxation in constraint logic programming,
U. Montanari and F. Rossi, in Proc. International Conference on Logic Programming (ICLP91), Paris, 1991. Also University of Pisa, CS Dept. Technical Report TR-15/90.

Logic Programming as Hypergraph Rewriting,
A. Corradini, F. Rossi, and F. Parisi Presicce, in Proc. CAAP 1991 , Springer Verlag, LNCS 493, 1991.

Reasoning in inconsistent databases,
S. Naqvi and F. Rossi, in Proc. North American Conference on Logic Programming (NACLP90), Austin, Texas, October 1990, MIT Press. Also MCC Technical Report ACT-ST-269-89.

On the equivalence of constraint satisfaction problems,
F. Rossi, V. Dahr and C. Petrie, in Proc. European Conference on Artificial Intelligence (ECAI90), Stockholm, August 1990. Also MCC Technical Report ACT-AI-222-89 .

Non strict independent logic programming,
M. Hermenegildo and F. Rossi, in Proc. International Conference on Logic Programming (ICLP90), Jerusalem, Israel, June 1990, MIT Press. Also MCC Technical Report ACT-DC-29-90.

Constraint Relaxation as Higher Order Logic Programming,
F. Rossi and Ugo Montanari, in Proc. of the Workshop on Metaprogramming in Logic (META90), Leuven, April 1990. Also on Proc. GULP88 in italian.

Graph Grammars and Logic Programming,
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, and M. Lowe, in Proc. International Workshop on Graph Grammars and their Application to Computer Science, Bremen,1990, Springer-Verlag, LNCS 532.

On the correctness and efficiency of independent and-parallelism in logic programs,
M. Hermenegildo and F. Rossi, in Proc. North American Conference on Logic Programming (NACLP89), Cleveland, Ohio, October 1989, E. L. Lusk and R. A. Overbeek eds., MIT Press. Also MCC Tech. Rep. ACA-ST-032-89.

Contribution to the view update problem,
F. Rossi and S. A. Naqvi, in Proc. Sixth International Conference on Logic Programming (ICLP89), Lisboa, Portugal, June 1989, G. Levi and M. Martelli eds., MIT Press.

Exact solution of networks of constraints using perfect relaxation,
F. Rossi and U. Montanari, in Proc. of the first International Conference on Principles of Knowledge Representation and Reasoning (KR89), Toronto, Ontario, May 1989, R. J. Brachman, H. J. Levesque and R. Reiter eds., Morgan Kaufmann. Also MCC Tech. Rep. ACA-ST-076-89.

Hypergraph grammars and networks of constraints versus logic programming and metaprogramming,
F. Rossi and U. Montanari, in Proc. of the Workshop on Metaprogramming in Logic Programming (META88), Bristol, June 1988, H. Abramson and M.H. Rogers eds., MIT Press.

An efficient algorithm for the solution of hierarchical networks of constraints,
by U. Montanari and F. Rossi, Proc. of the International Workshop on Graph Grammars and their Application to Computer Science, Warrenton, Virginia, December 1986, Ehrig H. ed., Springer Verlag, LNCS 291.

Ph.D. Thesis

Constraints and Concurrency, by F. Rossi, Dipartimento di Informatica, Univ. di Pisa, TD--18/93, 1993.


Francesca Rossi (rossi@di.unipi.it)