| Publication | Date of Publication | Type |
|---|
| Constraint retraction in FD | 2024-07-05 | Paper |
Abstracting soft constraints: framework, properties, examples
Artificial Intelligence | 2022-09-27 | Paper |
Contextual occurrence nets and concurrent constraint programming
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Note on standard representation of graphs and graph derivations
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Abstract graph derivations in the double pushout approach
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Reasoning with PCP-nets
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
| Restricted manipulation in iterative voting: convergence and Condorcet efficiency | 2021-05-06 | Paper |
Restricted manipulation in iterative voting: convergence and Condorcet efficiency
(available as arXiv preprint) | 2021-05-06 | Paper |
Cognitive hierarchy and voting manipulation in \(k\)-approval voting
Mathematical Social Sciences | 2021-04-26 | Paper |
Gibbard-Satterthwaite games for \(k\)-approval voting rules
Mathematical Social Sciences | 2019-11-08 | Paper |
Local search approaches in stable matching problems
Algorithms | 2019-03-26 | Paper |
Stability, optimality and manipulation in matching problems with weighted preferences
Algorithms | 2019-03-26 | Paper |
An event structure semantics for graph grammars with parallel productions
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Synchronized composition of graph grammar productions
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Soft concurrent constraint programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A Borda count for collective sentiment analysis
Annals of Mathematics and Artificial Intelligence | 2016-09-16 | Paper |
Beyond theory and data in preference modeling: bringing humans into the loop
Algorithmic Decision Theory | 2015-11-04 | Paper |
Unicast and multicast QoS routing with soft-constraint logic programming
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Bribery in voting with CP-nets
Annals of Mathematics and Artificial Intelligence | 2014-02-25 | Paper |
Modelling multicast QoS routing by using best-tree search in and-or graphs and soft constraint logic programming
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Restricted manipulation in iterative voting: Condorcet efficiency and Borda score
Algorithmic Decision Theory | 2013-12-17 | Paper |
Incompleteness and incomparability in preference aggregation: complexity results
Artificial Intelligence | 2011-11-17 | Paper |
Interval-valued soft constraint problems
Annals of Mathematics and Artificial Intelligence | 2011-01-12 | Paper |
Soft constraint problems with uncontrollable variables
Journal of Experimental & Theoretical Artificial Intelligence | 2011-01-06 | Paper |
Constraint logic programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
From soft constraints to bipolar preferences: modelling framework and solving issues
Journal of Experimental & Theoretical Artificial Intelligence | 2010-06-08 | Paper |
Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies
Artificial Intelligence | 2010-05-07 | Paper |
Compact Preference Representation in Stable Marriage Problems
Algorithmic Decision Theory | 2009-11-17 | Paper |
Robust Solutions in Unstable Optimization Problems
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Comparing the notions of optimality in CP-nets, strategic games and soft constraints
Annals of Mathematics and Artificial Intelligence | 2009-07-13 | Paper |
Aggregating Partially Ordered Preferences
Journal Of Logic And Computation | 2009-06-12 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2009-05-05 | Paper |
scientific article; zbMATH DE number 5547866 (Why is no real title available?)
(available as arXiv preprint) | 2009-04-28 | Paper |
Bipolar Preference Problems: Framework, Properties and Solving Techniques
Lecture Notes in Computer Science | 2009-03-05 | Paper |
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games
Lecture Notes in Computer Science | 2009-01-13 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Dealing with Incomplete Preferences in Soft Constraint Problems
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Semiring-Based Soft Constraints
Concurrency, Graphs and Models | 2008-06-19 | Paper |
| Solving and learning a tractable class of soft temporal constraints: Theoretical and experimental results | 2008-01-14 | Paper |
Constraint relaxation may be perfect
Artificial Intelligence | 2007-09-20 | Paper |
Hard and soft constraints for reasoning about qualitative conditional preferences
Journal of Heuristics | 2006-09-28 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
| scientific article; zbMATH DE number 2087537 (Why is no real title available?) | 2004-08-11 | Paper |
An interactive semantics of logic programming
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1975614 (Why is no real title available?) | 2003-09-07 | Paper |
| scientific article; zbMATH DE number 1759706 (Why is no real title available?) | 2002-08-06 | Paper |
| scientific article; zbMATH DE number 1761891 (Why is no real title available?) | 2002-07-01 | Paper |
Soft constraint logic programming and generalized shortest path problems
Journal of Heuristics | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1638651 (Why is no real title available?) | 2001-08-29 | Paper |
Graph rewriting, constraint solving and tiles for coordinating distributed systems
Applied Categorical Structures | 2000-12-05 | Paper |
Constraint retraction in CLP(FD): Formal framework and performance results
Constraints | 2000-01-09 | Paper |
| scientific article; zbMATH DE number 683342 (Why is no real title available?) | 1999-07-29 | Paper |
Partial order and contextual net semantics for atomic and locally atomic CC programs
Science of Computer Programming | 1998-02-25 | Paper |
Semiring-based constraint satisfaction and optimization
Journal of the ACM | 1998-02-17 | Paper |
Learning solution preferences in constraint problems
Journal of Experimental & Theoretical Artificial Intelligence | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 970734 (Why is no real title available?) | 1997-06-09 | Paper |
| scientific article; zbMATH DE number 919845 (Why is no real title available?) | 1996-08-25 | Paper |
Contextual nets
Acta Informatica | 1995-11-20 | Paper |
Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
The Journal of Logic Programming | 1995-04-06 | Paper |
Graph rewriting for a partial ordering semantics of concurrent constraints programming
Theoretical Computer Science | 1994-10-31 | Paper |
An abstract machine for concurrent modular systems: CHARM
Theoretical Computer Science | 1994-02-22 | Paper |
Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
Theoretical Computer Science | 1994-02-09 | Paper |
| scientific article; zbMATH DE number 177436 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 4166931 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4049150 (Why is no real title available?) | 1987-01-01 | Paper |
