 | 2009 |
|---|
| 141 |       | Angelo Oddi,
François Fages,
Francesca Rossi:
Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Springer 2009 |
| 140 | | Francesca Rossi,
Alexis Tsoukiàs:
Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
Springer 2009 |
| 139 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Manipulation and gender neutrality in stable marriage procedures.
AAMAS (1) 2009: 665-672 |
| 138 | | Enrico Pilotto,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Compact Preference Representation in Stable Marriage Problems.
ADT 2009: 390-401 |
| 137 | | Ulle Endriss,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness.
IJCAI 2009: 122-127 |
| 136 | | Carmel Domshlak,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
CoRR abs/0905.3766: (2009) |
| 135 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Manipulation and gender neutrality in stable marriage procedures
CoRR abs/0909.4437: (2009) |
| 134 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting
CoRR abs/0909.4441: (2009) |
| 133 | | Mirco Gelain,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies
CoRR abs/0909.4446: (2009) |
| 132 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Aggregating Partially Ordered Preferences.
J. Log. Comput. 19(3): 475-502 (2009) |
| 131 | | Francesca Rossi,
Alexis Tsoukiàs:
Conference announcement: international conference on algorithmic decision theory (ADT).
SIGecom Exchanges 8(1): (2009) |
| 2008 |
|---|
| 130 |  | François Fages,
Francesca Rossi,
Sylvain Soliman:
Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers
Springer 2008 |
| 129 | | Mirco Gelain,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies.
CP 2008: 402-417 |
| 128 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Rina Dechter:
Robust Solutions in Unstable Optimization Problems.
CSCLP 2008: 116-131 |
| 127 | | Francesca Rossi:
Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section.
Concurrency, Graphs and Models 2008: 151-154 |
| 126 | | Stefano Bistarelli,
Francesca Rossi:
Semiring-Based Soft Constraints.
Concurrency, Graphs and Models 2008: 155-173 |
| 125 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting.
KR 2008: 571-578 |
| 124 | | Krzysztof R. Apt,
Francesca Rossi,
Kristen Brent Venable:
Comparing the notions of optimality in CP-nets, strategic games and soft constraints.
Ann. Math. Artif. Intell. 52(1): 25-54 (2008) |
| 123 | | Krzysztof R. Apt,
Francesca Rossi,
Kristen Brent Venable:
A comparison of the notions of optimality in soft constraints and graphical games
CoRR abs/0810.2861: (2008) |
| 2007 |
|---|
| 122 | | Ulle Endriss,
Jérôme Lang,
Francesca Rossi,
Tuomas Sandholm:
Computational Issues in Social Choice, 21.10. - 26.10.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 121 | | Francisco Azevedo,
Pedro Barahona,
François Fages,
Francesca Rossi:
Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
Springer 2007 |
| 120 | | Mirco Gelain,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Dealing with Incomplete Preferences in Soft Constraint Problems.
CP 2007: 286-300 |
| 119 | | Stefano Bistarelli,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Uncertainty in Bipolar Preference Problems.
CP 2007: 782-789 |
| 118 | | Krzysztof R. Apt,
Francesca Rossi,
Kristen Brent Venable:
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games.
CSCLP 2007: 1-16 |
| 117 | | Ulle Endriss,
Jérôme Lang,
Francesca Rossi,
Tuomas Sandholm:
07431 Abstracts Collection - Computational Issues in Social Choice.
Computational Issues in Social Choice 2007 |
| 116 | | Ulle Endriss,
Jérôme Lang,
Francesca Rossi,
Tuomas Sandholm:
07431 Executive Summary - Computational Issues in Social Choice.
Computational Issues in Social Choice 2007 |
| 115 | | Jérôme Lang,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Winner Determination in Sequential Majority Voting.
IJCAI 2007: 1372-1377 |
| 114 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Incompleteness and Incomparability in Preference Aggregation.
IJCAI 2007: 1464-1469 |
| 113 | | Lina Khatib,
Paul H. Morris,
Robert Morris,
Francesca Rossi,
Alessandro Sperduti,
Kristen Brent Venable:
Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results.
AI Commun. 20(3): 181-209 (2007) |
| 112 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Francesco Santini:
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
CoRR abs/0704.1783: (2007) |
| 111 | | Krzysztof R. Apt,
Francesca Rossi,
Kristen Brent Venable:
Comparing the notions of optimality in CP-nets, strategic games and soft constraints
CoRR abs/0711.2909: (2007) |
| 110 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Francesco Santini:
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
Electr. Notes Theor. Comput. Sci. 190(3): 111-127 (2007) |
| 2006 |
|---|
| 109 | | Brahim Hnich,
Mats Carlsson,
François Fages,
Francesca Rossi:
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Springer 2006 |
| 108 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Strategic voting when aggregating partially ordered preferences.
AAMAS 2006: 685-687 |
| 107 | | Stefano Bistarelli,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Bipolar Preference Problems: Framework, Properties and Solving Techniques.
CSCLP 2006: 78-92 |
| 106 | | Stefano Bistarelli,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Bipolar Preference Problems.
ECAI 2006: 705-706 |
| 105 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences.
ECAI 2006: 767-768 |
| 104 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft concurrent constraint programming.
ACM Trans. Comput. Log. 7(3): 563-589 (2006) |
| 103 | | Michela Milano,
Francesca Rossi:
Constraint Programming.
Intelligenza Artificiale 3(1-2): 28-34 (2006) |
| 102 | | Francesca Rossi,
Kristen Brent Venable,
Neil Yorke-Smith:
Uncertainty in Soft Temporal Constraint Problems: A General Framework and Controllability Algorithms forThe Fuzzy Case.
J. Artif. Intell. Res. (JAIR) 27: 617-674 (2006) |
| 101 | | Stefano Bistarelli,
Francesca Rossi:
Editorial.
J. Heuristics 12(4-5): 239-240 (2006) |
| 100 | | Carmel Domshlak,
Steven David Prestwich,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Hard and soft constraints for reasoning about qualitative conditional preferences.
J. Heuristics 12(4-5): 263-285 (2006) |
| 2005 |
|---|
| 99 | | Boi Faltings,
Adrian Petcu,
François Fages,
Francesca Rossi:
Recent Advances in Constraints, Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Springer 2005 |
| 98 | | Steven David Prestwich,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Constraint-Based Preferential Optimization.
AAAI 2005: 461-466 |
| 97 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Uncertainty in soft constraint problem.
CIMCA/IAWTIC 2005: 583-589 |
| 96 | | Maria Silvia Pini,
Francesca Rossi:
Uncertainty in Soft Constraint Problems.
CP 2005: 865 |
| 95 | | Francesca Rossi:
Preference Reasoning.
CP 2005: 9-12 |
| 94 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Possibility Theory for Reasoning About Uncertain Soft Constraints.
ECSQARU 2005: 800-811 |
| 93 | | Francesca Rossi:
Preference Reasoning.
ICLP 2005: 5-8 |
| 92 | | Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Aggregating partially ordered preferences: impossibility and possibility results.
TARK 2005: 193-206 |
| 91 | | Krzysztof R. Apt,
Francesca Rossi,
Kristen Brent Venable:
CP-nets and Nash equilibria
CoRR abs/cs/0509071: (2005) |
| 90 | | Francesca Rossi:
Introduction to the Special Issue on Principles and Practice of Constraint Programming.
Constraints 10(2): 95-96 (2005) |
| 89 | | Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Aggregating preferences cannot be fair.
Intelligenza Artificiale 2(1): 30-38 (2005) |
| 2004 |
|---|
| 88 | | Krzysztof R. Apt,
François Fages,
Francesca Rossi,
Péter Szeredi,
József Váncza:
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
Springer 2004 |
| 87 | | Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
mCP Nets: Representing and Reasoning with Preferences of Multiple Agents.
AAAI 2004: 729-734 |
| 86 | | Francesca Rossi,
Kristen Brent Venable,
Neil Yorke-Smith:
Controllability of Soft Temporal Constraint Problems.
CP 2004: 588-603 |
| 85 | | Francesca Rossi:
Representing and Reasoning with Preferences.
JELIA 2004: 1 |
| 84 | | M. S. Franzin,
Francesca Rossi,
Eugene C. Freuder,
Richard J. Wallace:
Multi-Agent Constraint Systems with Preferences: Efficiency, Solution Quality, and Privacy Loss.
Computational Intelligence 20(2): 264-286 (2004) |
| 83 | | Stefano Bistarelli,
Thom W. Frühwirth,
Michael Marte,
Francesca Rossi:
Soft Constraint Propagation and Solving in Constraint Handling Rules.
Computational Intelligence 20(2): 287-307 (2004) |
| 82 | | Francesca Rossi,
Alessandro Sperduti:
Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems.
Constraints 9(4): 311-332 (2004) |
| 81 | | Francesca Rossi:
Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0.
TPLP 4(5-6): 758-762 (2004) |
| 2003 |
|---|
| 80 | | Francesca Rossi:
Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings
Springer 2003 |
| 79 | | Stefano Bistarelli,
Francesca Rossi,
Isabella Pilan:
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs.
CSCLP 2003: 107-123 |
| 78 | | Neil Yorke-Smith,
Kristen Brent Venable,
Francesca Rossi:
Temporal Reasoning with Preferences and Uncertainty.
IJCAI 2003: 1385- |
| 77 | | Carmel Domshlak,
Francesca Rossi,
Kristen Brent Venable,
Toby Walsh:
Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
IJCAI 2003: 215-220 |
| 76 | | Philippe Codognet,
Francesca Rossi:
Guest Editorial.
Constraints 8(1): 5-7 (2003) |
| 75 | | Stefano Bistarelli,
Rosella Gennari,
Francesca Rossi:
General Properties and Termination Conditions for Soft Constraint Propagation.
Constraints 8(1): 79-97 (2003) |
| 2002 |
|---|
| 74 | | Francesca Rossi,
Alessandro Sperduti,
Kristen Brent Venable,
Lina Khatib,
Paul H. Morris,
Robert A. Morris:
Learning and Solving Soft Temporal Constraints: An Experimental Study.
CP 2002: 249-263 |
| 73 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Concurrent Constraint Programming.
ESOP 2002: 53-67 |
| 72 | | Eugene C. Freuder,
Chavalit Likitvivatanavong,
Manuela Moretti,
Francesca Rossi,
Richard J. Wallace:
Computing Explanations and Implications in Preference-Based Configurators.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 76-92 |
| 71 | | M. Brian Blake,
Karen Zita Haigh,
Henry Hexmoor,
Rino Falcone,
Leen-Kiat Soh,
Chitta Baral,
Sheila A. McIlraith,
Piotr J. Gmytrasiewicz,
Simon Parsons,
Rainer Malaka,
Antonio Krüger,
Paolo Bouquet,
Bill Smart,
Koichi Kurumantani,
Adam Pease,
Michael Brenner,
Marie desJardins,
Ulrich Junker,
James P. Delgrande,
Jon Doyle,
Francesca Rossi,
Torsten Schaub,
Carla P. Gomes,
Toby Walsh,
Haipeng Guo,
Eric Horvitz,
Nancy Ide,
Christopher A. Welty,
Frank D. Anger,
Hans W. Guesgen,
Gérard Ligozat:
AAAI 2002 Workshops.
AI Magazine 23(4): 113-121 (2002) |
| 70 | | Stefano Bistarelli,
Philippe Codognet,
Francesca Rossi:
Abstracting soft constraints: Framework, properties, examples.
Artif. Intell. 139(2): 175-211 (2002) |
| 69 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Concurrent Constraint Programming
CoRR cs.PL/0208008: (2002) |
| 68 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Constraint Logic Programming and Generalized Shortest Path Problems.
J. Heuristics 8(1): 25-41 (2002) |
| 2001 |
|---|
| 67 | | Lina Khatib,
Paul H. Morris,
Robert A. Morris,
Francesca Rossi:
Temporal Constraint Reasoning With Preferences.
IJCAI 2001: 322-327 |
| 66 | | Francesca Rossi,
Alessandro Sperduti,
Lina Khatib,
Paul H. Morris,
Robert A. Morris:
Learning preferences on temporal constraints: a preliminary report.
TIME 2001: 63-68 |
| 65 | | Stefano Bistarelli,
Francesca Rossi:
Semiring-based contstraint logic programming: syntax and semantics.
ACM Trans. Program. Lang. Syst. 23(1): 1-29 (2001) |
| 64 | | Roberto Bruni,
Ugo Montanari,
Francesca Rossi:
An interactive semantics of logic programming
CoRR cs.LO/0107022: (2001) |
| 63 | | Krzysztof R. Apt,
Roman Barták,
Eric Monfroy,
Francesca Rossi,
Sebastian Brand:
Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints
CoRR cs.PL/0110012: (2001) |
| 62 | | Roberto Bruni,
Ugo Montanari,
Francesca Rossi:
An interactive semantics of logic programming.
TPLP 1(6): 647-690 (2001) |
| 2000 |
|---|
| 61 | | Krzysztof R. Apt,
Antonis C. Kakas,
Eric Monfroy,
Francesca Rossi:
New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers
Springer 2000 |
| 60 | | Francesca Rossi:
Soft Constraints.
15. WLP 2000: 15-24 |
| 59 | | Stefano Bistarelli,
Rosella Gennari,
Francesca Rossi:
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.
CP 2000: 83-97 |
| 58 | | Alessandro Biso,
Francesca Rossi,
Alessandro Sperduti:
Experimental Results on Learning Soft Constraints.
KR 2000: 435-444 |
| 57 | | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Francesca Rossi:
Labeling and Partial Local Consistency for Soft Constraint Programming.
PADL 2000: 230-248 |
| 56 | | Stefano Bistarelli,
Philippe Codognet,
Francesca Rossi:
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.
SARA 2000: 71-86 |
| 1999 |
|---|
| 55 | | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Francesca Rossi:
Abstracting Soft Constraints.
New Trends in Constraints 1999: 108-133 |
| 54 | | Francesca Rossi:
Constraint (Logic) Programming: A Survey on Research and Applications.
New Trends in Constraints 1999: 40-74 |
| 53 | | Ugo Montanari,
Francesca Rossi:
Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.
Applied Categorical Structures 7(4): 333-370 (1999) |
| 52 | | Yan Georget,
Philippe Codognet,
Francesca Rossi:
Constraint Retraction in CLP(FD): Formal Framework and Performance Results.
Constraints 4(1): 5-42 (1999) |
| 51 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Thomas Schiex,
Gérard Verfaillie,
Hélène Fargier:
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Constraints 4(3): 199-240 (1999) |
| 1998 |
|---|
| 50 | | Alessandro Biso,
Francesca Rossi,
Alessandro Sperduti:
Some Experiments on Learning Soft Constraints.
CP 1998: 464 |
| 49 | | Francesca Rossi,
Alessandro Sperduti:
Learning solution preferences in constraint problems.
J. Exp. Theor. Artif. Intell. 10(1): 103-116 (1998) |
| 48 | | Francisco Bueno,
Manuel V. Hermenegildo,
Ugo Montanari,
Francesca Rossi:
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Sci. Comput. Program. 30(1-2): 51-82 (1998) |
| 1997 |
|---|
| 47 | | Yan Georget,
Philippe Codognet,
Francesca Rossi:
Implementing Constraint Retraction for Finite Domains.
ASIAN 1997: 136-150 |
| 46 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi,
Hartmut Ehrig,
Reiko Heckel,
Michael Löwe:
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Handbook of Graph Grammars 1997: 163-246 |
| 45 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Semiring-based Constraint Logic Programming.
IJCAI (1) 1997: 352-357 |
| 44 | | Ugo Montanari,
Francesca Rossi:
Constraint Solving and Programming: What Next?
Constraints 2(1): 87-91 (1997) |
| 43 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Semiring-based constraint satisfaction and optimization.
J. ACM 44(2): 201-236 (1997) |
| 1996 |
|---|
| 42 | | Ugo Montanari,
Francesca Rossi:
Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).
COORDINATION 1996: 12-27 |
| 41 | | Francesca Rossi:
Existential Variables and Local Consistency in Finite Domain Constraint Problems.
CP 1996: 382-396 |
| 40 | | Philippe Codognet,
Daniel Diaz,
Francesca Rossi:
Constraint Reaction in FD.
FSTTCS 1996: 168-179 |
| 39 | | Ugo Montanari,
Francesca Rossi:
Constraint Solving and Programming: What's Next?
ACM Comput. Surv. 28(4es): 70 (1996) |
| 38 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi:
Graph Processes.
Fundam. Inform. 26(3/4): 241-265 (1996) |
| 1995 |
|---|
| 37 | | Ugo Montanari,
Francesca Rossi:
Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings
Springer 1995 |
| 36 | | Francesca Rossi:
Redundant Hidden Variables in Finite Domain Constraint Problems.
Constraint Processing, Selected Papers 1995: 205-223 |
| 35 | | Philippe Codognet,
Francesca Rossi:
NMCC Programming: Constraint Enforcement and Retracting in CC Programming.
ICLP 1995: 417-431 |
| 34 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Constraint Solving over Semirings.
IJCAI (1) 1995: 624-630 |
| 33 | | Stefano Bistarelli,
Hélène Fargier,
Ugo Montanari,
Francesca Rossi,
Thomas Schiex,
Gérard Verfaillie:
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Over-Constrained Systems 1995: 111-150 |
| 32 | | Ugo Montanari,
Francesca Rossi:
Contextual Nets
Acta Inf. 32(6): 545-596 (1995) |
| 31 | | Manuel V. Hermenegildo,
Francesca Rossi:
Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions.
J. Log. Program. 22(1): 1-45 (1995) |
| 1994 |
|---|
| 30 | | Francisco Bueno,
Manuel V. Hermenegildo,
Ugo Montanari,
Francesca Rossi:
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.
ALP 1994: 114-132 |
| 29 | | Ugo Montanari,
Francesca Rossi:
Concurrency and Concurrent Constraint Programming
Constraint Programming 1994: 171-192 |
| 28 | | Ugo Montanari,
Francesca Rossi,
Francisco Bueno,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Towards a Concurrent Semantics based Analysis of CC and CLP.
PPCP 1994: 151-161 |
| 27 | | Ugo Montanari,
Francesca Rossi,
Vijay A. Saraswat:
CC Programs with both In- and Non-determinism: A Concurrent Semantics.
PPCP 1994: 162-172 |
| 26 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Safe Graph Grammars.
PROCOMET 1994: 423-444 |
| 25 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
An Event Structure Semantics for Graph Grammars with Parallel Productions.
TAGT 1994: 240-256 |
| 24 | | Andrea Corradini,
Francesca Rossi:
Synchronized Composition of Graph Grammar Productions.
TAGT 1994: 257-270 |
| 23 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi:
An Abstract Machine for Concurrent Modular Systems: CHARM.
Theor. Comput. Sci. 122(1&2): 165-200 (1994) |
| 1993 |
|---|
| 22 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 119-137 |
| 21 | | Ugo Montanari,
Francesca Rossi:
Contextual Occurence Nets and Concurrent Constraint Programming.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 280-295 |
| 20 | | Andrea Corradini,
Hartmut Ehrig,
Michael Löwe,
Ugo Montanari,
Francesca Rossi:
Abstract Graph Derivations in the Double Pushout Approach.
Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 86-103 |
| 19 | | Ugo Montanari,
Francesca Rossi:
Constraint Satisfaction, Constraint Programming, and Concurrency.
PPCP 1993: 219-227 |
| 18 | | Ugo Montanari,
Francesca Rossi:
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming.
Theor. Comput. Sci. 109(1&2): 225-256 (1993) |
| 17 | | Andrea Corradini,
Francesca Rossi:
Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming.
Theor. Comput. Sci. 109(1&2): 7-48 (1993) |
| 1992 |
|---|
| 16 | | Ugo Montanari,
Francesca Rossi:
Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics.
CAAP 1992: 232-247 |
| 15 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi:
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine.
FGCS 1992: 887-896 |
| 1991 |
|---|
| 14 | | Ugo Montanari,
Francesca Rossi:
Perfect Relaxation in Constraint Logic Programming.
ICLP 1991: 223-237 |
| 13 | | Ugo Montanari,
Francesca Rossi:
True Concurrency in Concurrent Constraint Programming.
ISLP 1991: 694-713 |
| 12 | | Andrea Corradini,
Francesca Rossi,
Francesco Parisi-Presicce:
Logic Programming as Hypergraph Rewriting.
TAPSOFT, Vol.1 1991: 275-295 |
| 11 | | Ugo Montanari,
Francesca Rossi:
Finite Domain Constraint Solving and Constraint Logic Programming.
WCLP 1991: 201-221 |
| 10 | | Ugo Montanari,
Francesca Rossi:
Constraint Relaxation may be Perfect.
Artif. Intell. 48(2): 143-170 (1991) |
| 1990 |
|---|
| 9 | | Francesca Rossi,
Charles J. Petrie,
Vasant Dhar:
On the Equivalence of Constraint Satisfaction Problems.
ECAI 1990: 550-556 |
| 8 | | Andrea Corradini,
Ugo Montanari,
Francesca Rossi,
Hartmut Ehrig,
Michael Löwe:
Graph Grammars and Logic Programming.
Graph-Grammars and Their Application to Computer Science 1990: 221-237 |
| 7 | | Manuel V. Hermenegildo,
Francesca Rossi:
Non-Strict Independent And-Parallelism.
ICLP 1990: 237-252 |
| 6 | | Shamim A. Naqvi,
Francesca Rossi:
Reasoning in Inconsistent Databases.
NACLP 1990: 255-272 |
| 1989 |
|---|
| 5 | | Francesca Rossi,
Shamim A. Naqvi:
Contributions to the View Update Problem.
ICLP 1989: 398-415 |
| 4 | | Francesca Rossi,
Ugo Montanari:
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation.
KR 1989: 394-399 |
| 3 | | Manuel V. Hermenegildo,
Francesca Rossi:
On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs.
NACLP 1989: 369-389 |
| 1988 |
|---|
| 2 | | Francesca Rossi,
Ugo Montanari:
Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.
META 1988: 531-544 |
| 1986 |
|---|
| 1 | | Ugo Montanari,
Francesca Rossi:
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints.
Graph-Grammars and Their Application to Computer Science 1986: 440-457 |
