Francesca Rossi

According to our database1, Francesca Rossi
  • authored at least 210 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

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 Magazine, 2016

Electromagnetic Guided In-Situ Laser Fenestration of Endovascular Stent-Graft: Endovascular Tools Sensorization Strategy and Preliminary Laser Testing.
Proceedings of the Medical Imaging and Augmented Reality - 7th International Conference, 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 Magazine, 2015

Reports from the 2015 AAAI Workshop Program.
AI Magazine, 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, 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.
Autonomous Agents and Multi-Agent Systems, 2012

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

Bribery in Voting Over Combinatorial Domains Is Easy.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 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, 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.
Autonomous Agents and Multi-Agent Systems, 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.
Knowledge Eng. Review, 2010

Dynamic consistency of fuzzy conditional temporal problems.
J. Intelligent Manufacturing, 2010

Constraint satisfaction techniques in planning and scheduling.
J. Intelligent Manufacturing, 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

Local search for stable marriage problems with ties and incomplete lists
CoRR, 2010

Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning.
Constraints, 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 Exchanges, 2009

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

Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies
CoRR, 2009

Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting
CoRR, 2009

Manipulation and gender neutrality in stable marriage procedures
CoRR, 2009

Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques
CoRR, 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 Joint 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. of AI, 2008

A comparison of the notions of optimality in soft constraints and graphical games
CoRR, 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 Magazine, 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.
Electr. Notes Theor. Comput. Sci., 2007

Comparing the notions of optimality in CP-nets, strategic games and soft constraints
CoRR, 2007

Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
CoRR, 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

Uncertainty in Bipolar Preference 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, 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

Preference Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 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.
TPLP, 2004

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

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

Soft Constraint Propagation and Solving in Constraint Handling Rules.
Computational Intelligence, 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, 2003

General Properties and Termination Conditions for Soft Constraint Propagation.
Constraints, 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

Soft Concurrent Constraint Programming
CoRR, 2002

AAAI 2002 Workshops.
AI Magazine, 2002

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

Soft Concurrent Constraint Programming.
Proceedings of the Programming Languages and Systems, 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.
TPLP, 2001

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

An interactive semantics of logic programming
CoRR, 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.
15. WLP, 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, 1999

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

Graph Rewriting, Constraint Solving and Tiles for Coordinating Distributed Systems.
Applied Categorical Structures, 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, 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

1996
Graph Processes.
Fundam. Inform., 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 Inf., 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.
PPCP, 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.
FGCS, 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.
WCLP, 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.
ECAI, 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 Newsletter, 1988

Hypergraph Grammars and Networks of Constraints versus Logic Programming and Metaprogramming.
META, 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...