Francesca Rossi

Orcid: 0000-0001-8898-219X

Affiliations:
  • IBM Research, Yorktown Heights, New York, USA
  • University of Padua, Italy


According to our database1, Francesca Rossi authored at least 271 papers between 1986 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
When is it acceptable to break the rules? Knowledge representation of moral judgements based on empirical data.
Auton. Agents Multi Agent Syst., December, 2024

Trustworthy AI - Part III.
Computer, March, 2024

Navigating Traumatic Stress Reactions During Computer Security Interventions.
Proceedings of the 33rd USENIX Security Symposium, 2024

Computational Complexity of Verifying the Group No-show Paradox.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS).
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

The Return on Investment in AI Ethics: A Holistic Framework.
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

Thinking Fast and Slow in AI: A Cognitive Architecture to Augment Both AI and Human Reasoning (Invited Talk).
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023
Trustworthy AI - Part II.
Computer, May, 2023

AI and Neurotechnology: Learning from AI Ethics to Address an Expanded Ethics Landscape.
Commun. ACM, March, 2023

Trustworthy AI - Part 1.
Computer, February, 2023

From fear to action: AI governance and opportunities for all.
Frontiers Comput. Sci., 2023

Understanding the Capabilities of Large Language Models for Automated Planning.
CoRR, 2023

Fast and Slow Planning.
CoRR, 2023

Plansformer Tool: Demonstrating Generation of Symbolic Plans Using Transformers.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Learning to Design Fair and Private Voting Rules (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Convergence in Multi-Issue Iterative Voting under Uncertainty.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Value-based Fast and Slow AI Nudging.
Proceedings of the Workshop on Ethics and Trust in Human-AI Collaboration: Socio-Technical Approaches (ETHAICS 2023) co-located with 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) Macao, 2023

Generative Artificial Intelligence
ACM TechBrief 8, ACM, 2023

2022
Learning to Design Fair and Private Voting Rules.
J. Artif. Intell. Res., 2022

How to model contrary-to-duty with GCP-nets.
Intelligenza Artificiale, 2022

Plansformer: Generating Symbolic Plans using Transformers.
CoRR, 2022

Learning Behavioral Soft Constraints from Demonstrations.
CoRR, 2022

When Is It Acceptable to Break the Rules? Knowledge Representation of Moral Judgement Based on Empirical Data.
CoRR, 2022

Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments.
CoRR, 2022

Atlas of AI - Book review.
Artif. Intell., 2022

Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments.
Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), 2022

Thinking Fast and Slow in AI: The Role of Metacognition.
Proceedings of the Machine Learning, Optimization, and Data Science, 2022

Data Generation Methodology for Machine Learning-based Power System Stability Studies.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, 2022

Making Human-Like Moral Decisions.
Proceedings of the AIES '22: AAAI/ACM Conference on AI, Ethics, and Society, Oxford, United Kingdom, May 19, 2022

2021
Reasoning with PCP-Nets.
J. Artif. Intell. Res., 2021

Gender Bias in Online Language Translators: Visualization, Human Perception, and Bias/Accuracy Tradeoffs.
IEEE Internet Comput., 2021

Making Human-Like Trade-offs in Constrained Environments by Learning from Demonstrations.
CoRR, 2021

Data-driven Small-signal Modeling for Converter-based Power Systems.
CoRR, 2021

E-PDDL: A Standardized Way of Defining Epistemic Planning Problems.
CoRR, 2021

Artificial Intelligence's Grand Challenges: Past, Present, and Future.
AI Mag., 2021

Voting with random classifiers (VORACE): theoretical and experimental analysis.
Auton. Agents Multi Agent Syst., 2021

Combining Fast and Slow Thinking for Human-like and Efficient Navigation in Constrained Environments.
Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021

Epistemic Planning in a Fast and Slow Setting.
Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021

Thinking Fast and Slow in AI.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

VEGA: a Virtual Environment for Exploring Gender Bias vs. Accuracy Trade-offs in AI Translation Services.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Cognitive hierarchy and voting manipulation in k-approval voting.
Math. Soc. Sci., 2020

Personalized Chatbot Trustworthiness Ratings.
CoRR, 2020

Modeling Contrary-to-Duty with CP-nets.
CoRR, 2020

Linguistic Markers of Anorexia Nervosa: Preliminary Data from a Prospective Observational Study.
Proceedings of the 3rd RaPID Workshop: Resources and Processing of Linguistic, 2020

Sequential Voting in Multi-agent Soft Constraint Aggregation.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Voting with Random Classifiers (VORACE).
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Gibbard-Satterthwaite games for k-approval voting rules.
Math. Soc. Sci., 2019

Rating AI systems for bias to promote trustable applications.
IBM J. Res. Dev., 2019

Teaching AI agents ethical values using reinforcement learning and policy orchestration.
IBM J. Res. Dev., 2019

Using multi-armed bandits to learn ethical priorities for online AI systems.
IBM J. Res. Dev., 2019

Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithms and experimentation.
CoRR, 2019

Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results.
Auton. Agents Multi Agent Syst., 2019

CPMetric: Deep Siamese Networks for Metric Learning on Structured Preferences.
Proceedings of the Artificial Intelligence. IJCAI 2019 International Workshops, 2019

Metric Learning for Value Alignment.
Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, 2019

Learning and Recognizing Archeological Features from LiDAR Data.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Constructing CP-Nets from Users Past Selection.
Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

Preferences and Ethical Priorities: Thinking Fast and Slow in AI.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation.
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

Building Ethically Bounded AI.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Incorporating Behavioral Constraints in Online AI Systems.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
AI4People - An Ethical Framework for a Good AI Society: Opportunities, Risks, Principles, and Recommendations.
Minds Mach., 2018

CPDist: Deep Siamese Networks for Learning Distances Between Structured Preferences.
CoRR, 2018

Interpretable Multi-Objective Reinforcement Learning through Policy Orchestration.
CoRR, 2018

Preface to the special issue: ISAIM 2016.
Ann. Math. Artif. Intell., 2018

Reports on the 2018 AAAI Spring Symposium Series.
AI Mag., 2018

Using Contextual Bandits with Behavioral Constraints for Constrained Online Movie Recommendation.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Constructing CP-Nets from Users Past Behaviors.
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018), 2018

On the Distance Between CP-nets.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Compact Preference Representation via Fuzzy Constraints in Stable Matching Problems: Theoretical and Experimental Studies.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Voting with Random Neural Networks: a Democratic Ensemble Classifier.
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018

Towards Composable Bias Rating of AI Services.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

Preferences and Ethical Principles in Decision Making.
Proceedings of the 2018 AAAI Spring Symposia, 2018

2017
Cognitive Hierarchy and Voting Manipulation.
CoRR, 2017

Ethical Embodied Decision Making.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Compact Preference Representation via Fuzzy Constraints in Stable Matching Problems.
Proceedings of the Algorithmic Decision Theory - 5th International Conference, 2017

Modelling Ethical Theories Compactly.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Matching under Preferences.
Proceedings of the Handbook of Computational Social Choice, 2016

Guest editorial: revised selected papers from the AMAI 2014 special track on Computational Social Choice.
Ann. Math. Artif. Intell., 2016

A Borda count for collective sentiment analysis.
Ann. Math. Artif. Intell., 2016

Beyond the Turing Test.
AI Mag., 2016

Ethical Preference-Based Decision Support Systems.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

A Self-Adaptive Context-Aware Group Recommender System.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

Embedding Ethical Principles in Collective Decision Support Systems.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Who speaks for AI?
AI Matters, 2015

Letter to the Editor: Research Priorities for Robust and Beneficial Artificial Intelligence: An Open Letter.
AI Mag., 2015

Reports from the 2015 AAAI Workshop Program.
AI Mag., 2015

All Together Now: Collective Intelligence for Computer-Supported Collective Action.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Safety Constraints and Ethical Principles in Collective Decision Making Systems.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Gibbard-Satterthwaite Games.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Controlling Elections by Replacing Candidates or Votes.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Reasoning with PCP-nets in a Multi-Agent Context.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Beyond Theory and Data in Preference Modeling: Bringing Humans into the Loop.
Proceedings of the Algorithmic Decision Theory - 4th International Conference, 2015

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Collective decision making: a great opportunity for constraint reasoning.
Constraints An Int. J., 2014

The NY AI summit: a meeting of AI discipline leaders.
AI Matters, 2014

From Sentiment Analysis to Preference Aggregation.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Aggregating CP-nets with Unfeasible Outcomes.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Stable matching problems with soft constraints.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Controlling Elections by Replacing Candidates: Theoretical and Experimental Results.
Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling, 2014

2013
Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Bribery in voting with CP-nets.
Ann. Math. Artif. Intell., 2013

Stability, Optimality and Manipulation in Matching Problems with Weighted Preferences.
Algorithms, 2013

Local Search Approaches in Stable Matching Problems.
Algorithms, 2013

Updates and Uncertainty in CP-Nets.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Resistance to bribery when aggregating soft constraints.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

The complexity of losing voters.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Restricted Manipulation in Iterative Voting: Condorcet Efficiency and Borda Score.
Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013

Bribery in Voting With Soft Constraints.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

A Framework for Aggregating Influenced CP-Nets and its Resistance to Bribery.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Winner determination in voting trees with incomplete preferences and weighted votes.
Auton. Agents Multi Agent Syst., 2012

Preference Reasoning and Aggregation: Between AI and Social Choice.
Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

Influence and aggregation of preferences over combinatorial domains.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Bribery in voting over combinatorial domains is easy.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01556-4, 2011

Uncertainty in bipolar preference problems.
J. Exp. Theor. Artif. Intell., 2011

Uncertainty in Soft Temporal Constraint Problems:A General Framework and Controllability Algorithms forThe Fuzzy Case
CoRR, 2011

Incompleteness and incomparability in preference aggregation: Complexity results.
Artif. Intell., 2011

Manipulation complexity and gender neutrality in stable marriage procedures.
Auton. Agents Multi Agent Syst., 2011

Weights in stable marriage problems increase manipulation opportunities.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Multi-Agent Soft Constraint Aggregation via Sequential Voting.
Proceedings of the IJCAI 2011, 2011

Multi-agent Soft Constraint Aggregation - A Sequential Approach.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Stability and Optimality in Matching Problems with Weighted Preferences.
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011

Stability in Matching Problems with Weighted Preferences.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011

A Local Search Approach to Solve Incomplete Fuzzy CSPs.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Possible and necessary winners in voting trees: majority graphs vs. profiles.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Procedural fairness in stable marriage problems.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

The Next Best Solution.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Unicast and multicast QoS routing with soft-constraint logic programming.
ACM Trans. Comput. Log., 2010

New trends in constraint satisfaction, planning, and scheduling: a survey.
Knowl. Eng. Rev., 2010

Dynamic consistency of fuzzy conditional temporal problems.
J. Intell. Manuf., 2010

Constraint satisfaction techniques in planning and scheduling.
J. Intell. Manuf., 2010

Soft constraint problems with uncontrollable variables.
J. Exp. Theor. Artif. Intell., 2010

From soft constraints to bipolar preferences: modelling framework and solving issues.
J. Exp. Theor. Artif. Intell., 2010

Stable marriage problems with quantitative preferences
CoRR, 2010

Local search for stable marriage problems
CoRR, 2010

Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning.
Constraints An Int. J., 2010

Interval-valued soft constraint problems.
Ann. Math. Artif. Intell., 2010

Elicitation strategies for soft constraint problems with missing preferences: Properties, algorithms and experimental studies.
Artif. Intell., 2010

Local Search for Stable Marriage Problems with Ties and Incomplete Lists.
Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Local search algorithms on the Stable Marriage Problem: Experimental Studies.
Proceedings of the ECAI 2010, 2010

Male optimality and uniqueness in stable marriage problems with partial orders.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Constraint Logic Programming.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
Conference announcement: international conference on algorithmic decision theory (ADT).
SIGecom Exch., 2009

Aggregating Partially Ordered Preferences.
J. Log. Comput., 2009

Preference Aggregation over Restricted Ballot Languages: Sincerity and Strategy-Proofness.
Proceedings of the IJCAI 2009, 2009

Manipulation and gender neutrality in stable marriage procedures.
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Compact Preference Representation in Stable Marriage Problems.
Proceedings of the Algorithmic Decision Theory, First International Conference, 2009

2008
Constraint Programming.
Proceedings of the Handbook of Knowledge Representation, 2008

Fuzzy conditional temporal problems: Strong and weak consistency.
Eng. Appl. Artif. Intell., 2008

Comparing the notions of optimality in CP-nets, strategic games and soft constraints.
Ann. Math. Artif. Intell., 2008

Preferences in Constraint Satisfaction and Optimization.
AI Mag., 2008

Dealing with Incomplete Agents' Preferences and an Uncertain Agenda in Group Decision Making via Sequential Majority Voting.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Preferences, Constraints, Uncertainty, and Multi-Agent Scenarios.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Robust Solutions in Unstable Optimization Problems.
Proceedings of the Recent Advances in Constraints, 2008

Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section.
Proceedings of the Concurrency, 2008

Semiring-Based Soft Constraints.
Proceedings of the Concurrency, 2008

2007
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results.
AI Commun., 2007

Incompleteness and Incomparability in Preference Aggregation.
Proceedings of the IJCAI 2007, 2007

Winner Determination in Sequential Majority Voting.
Proceedings of the IJCAI 2007, 2007

07431 Abstracts Collection - Computational Issues in Social Choice.
Proceedings of the Computational Issues in Social Choice, 21.10. - 26.10.2007, 2007

07431 Executive Summary - Computational Issues in Social Choice.
Proceedings of the Computational Issues in Social Choice, 21.10. - 26.10.2007, 2007

A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games.
Proceedings of the Recent Advances in Constraints, 2007

Dealing with Incomplete Preferences in Soft Constraint Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Introduction.
Proceedings of the Handbook of Constraint Programming, 2006

Soft Constraints.
Proceedings of the Handbook of Constraint Programming, 2006

Soft concurrent constraint programming.
ACM Trans. Comput. Log., 2006

Uncertainty in Soft Temporal Constraint Problems: A General Framework and Controllability Algorithms forThe Fuzzy Case.
J. Artif. Intell. Res., 2006

Constraint Programming.
Intelligenza Artificiale, 2006

Hard and soft constraints for reasoning about qualitative conditional preferences.
J. Heuristics, 2006

Editorial.
J. Heuristics, 2006

Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Bipolar Preference Problems.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Bipolar Preference Problems: Framework, Properties and Solving Techniques.
Proceedings of the Recent Advances in Constraints, 2006

Strategic voting when aggregating partially ordered preferences.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Aggregating preferences cannot be fair.
Intelligenza Artificiale, 2005

CP-nets and Nash equilibria
CoRR, 2005

Introduction to the Special Issue on Principles and Practice of Constraint Programming.
Constraints An Int. J., 2005

Aggregating partially ordered preferences: impossibility and possibility results.
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

Preference Reasoning.
Proceedings of the Logic Programming, 21st International Conference, 2005

Possibility Theory for Reasoning About Uncertain Soft Constraints.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Uncertainty in Soft Constraint Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Uncertainty in soft constraint problem.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

Constraint-Based Preferential Optimization.
Proceedings of the Proceedings, 2005

2004
Book review: Principles of Constraint Programming by Krzysztof R. Apt, Cambridge University Press, 2003, ISBN 0-521-82583-0.
Theory Pract. Log. Program., 2004

Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems.
Constraints An Int. J., 2004

Multi-Agent Constraint Systems with Preferences: Efficiency, Solution Quality, and Privacy Loss.
Comput. Intell., 2004

Soft Constraint Propagation and Solving in Constraint Handling Rules.
Comput. Intell., 2004

Representing and Reasoning with Preferences.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Controllability of Soft Temporal Constraint Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2004

mCP Nets: Representing and Reasoning with Preferences of Multiple Agents.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Guest Editorial.
Constraints An Int. J., 2003

General Properties and Termination Conditions for Soft Constraint Propagation.
Constraints An Int. J., 2003

Temporal Reasoning with Preferences and Uncertainty.
Proceedings of the IJCAI-03, 2003

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.
Proceedings of the IJCAI-03, 2003

Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs.
Proceedings of the Recent Advances in Constraints, 2003

2002
Soft Constraint Logic Programming and Generalized Shortest Path Problems.
J. Heuristics, 2002

AAAI 2002 Workshops.
AI Mag., 2002

Abstracting soft constraints: Framework, properties, examples.
Artif. Intell., 2002

Learning and Solving Soft Temporal Constraints: An Experimental Study.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Computing Explanations and Implications in Preference-Based Configurators.
Proceedings of the Recent Advances in Constraints, 2002

2001
An interactive semantics of logic programming.
Theory Pract. Log. Program., 2001

Semiring-based contstraint logic programming: syntax and semantics.
ACM Trans. Program. Lang. Syst., 2001

Learning preferences on temporal constraints: a preliminary report.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Temporal Constraint Reasoning With Preferences.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Soft Constraints.
Proceedings of the WLP 2000, 2000

An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.
Proceedings of the Abstraction, 2000

Labeling and Partial Local Consistency for Soft Constraint Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2000

Experimental Results on Learning Soft Constraints.
Proceedings of the KR 2000, 2000

Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
Constraint Retraction in CLP(FD): Formal Framework and Performance Results.
Constraints An Int. J., 1999

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Constraints An Int. J., 1999

Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.
Appl. Categorical Struct., 1999

Constraint (Logic) Programming: A Survey on Research and Applications.
Proceedings of the New Trends in Contraints, 1999

Abstracting Soft Constraints.
Proceedings of the New Trends in Contraints, 1999

1998
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Sci. Comput. Program., 1998

Learning solution preferences in constraint problems.
J. Exp. Theor. Artif. Intell., 1998

Some Experiments on Learning Soft Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
Semiring-based constraint satisfaction and optimization.
J. ACM, 1997

Constraint Solving and Programming: What Next?
Constraints An Int. J., 1997

Semiring-based Constraint Logic Programming.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

Implementing Constraint Retraction for Finite Domains.
Proceedings of the Advances in Computing Science, 1997

Constraints and Agents for a Decentralized Network Infrastructure.
Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

1996
Graph Processes.
Fundam. Informaticae, 1996

Constraint Solving and Programming: What's Next?
ACM Comput. Surv., 1996

Constraint Reaction in FD.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

Existential Variables and Local Consistency in Finite Domain Constraint Problems.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract).
Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995
Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions.
J. Log. Program., 1995

Contextual Nets.
Acta Informatica, 1995

Constraint Solving over Semirings.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

NMCC Programming: Constraint Enforcement and Retracting in CC Programming.
Proceedings of the Logic Programming, 1995

Redundant Hidden Variables in Finite Domain Constraint Problems.
Proceedings of the Constraint Processing, Selected Papers, 1995

Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Proceedings of the Over-Constrained Systems, 1995

1994
An Abstract Machine for Concurrent Modular Systems: CHARM.
Theor. Comput. Sci., 1994

Concurrency and Concurrent Constraint Programming
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Synchronized Composition of Graph Grammar Productions.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Event Structure Semantics for Graph Grammars with Parallel Productions.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Event Structure Semantics for Safe Graph Grammars.
Proceedings of the Programming Concepts, 1994

CC Programs with both In- and Non-determinism: A Concurrent Semantics.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Towards a Concurrent Semantics based Analysis of CC and CLP.
Proceedings of the Principles and Practice of Constraint Programming, 1994

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994

1993
Graph Rewriting for a Partial Ordering Semantics of Concurrent Constraint Programming.
Theor. Comput. Sci., 1993

Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming.
Theor. Comput. Sci., 1993

Constraint Satisfaction, Constraint Programming, and Concurrency.
Proceedings of the Principles and Practice of Constraint Programming, 1993

Concurrent Semantics for Concurrent Constraint Programs.
Proceedings of the Constraint Programming, 1993

Contextual Nets and Constraint Logic Programming.
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

Contextual Occurence Nets and Concurrent Constraint Programming.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Abstract Graph Derivations in the Double Pushout Approach.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992
SHARM: Concurrency and Hiding in an Abstract Rewriting Machine.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Graph Grammars as Context-Dependent Rewriting Systems: A Partial Ordering Semantics.
Proceedings of the CAAP '92, 1992

1991
Constraint Relaxation may be Perfect.
Artif. Intell., 1991

Finite Domain Constraint Solving and Constraint Logic Programming.
Proceedings of the Constraint Logic Programming, 1991

Logic Programming as Hypergraph Rewriting.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

True Concurrency in Concurrent Constraint Programming.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Perfect Relaxation in Constraint Logic Programming.
Proceedings of the Logic Programming, 1991

1990
Reasoning in Inconsistent Databases.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Non-Strict Independent And-Parallelism.
Proceedings of the Logic Programming, 1990

Graph Grammars and Logic Programming.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

On the Equivalence of Constraint Satisfaction Problems.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989
On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs.
Proceedings of the Logic Programming, 1989

Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Contributions to the View Update Problem.
Proceedings of the Logic Programming, 1989

1988
Constraint satisfaction problems in logic programming.
SIGART Newsl., 1988

Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.
Proceedings of the Meta-Programming in Logic Programming, 1988

1986
An Efficient Algorithm for the Solution of Hierarchical Networks of Constraints.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986


  Loading...