 | 2009 |
|---|
| 72 |       | Salvador Abreu,
Daniel Diaz,
Philippe Codognet:
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
CoRR abs/0910.1264: (2009) |
| 2008 |
|---|
| 71 | | Philippe Codognet:
The palimpsest system.
ACM Multimedia 2008: 969-972 |
| 70 | | Philippe Codognet,
Gilbert Nouno:
Red light spotters: images-driven sound and rhythm landscape.
SAME 2008: 67-74 |
| 2007 |
|---|
| 69 | | Hiroshi Hosobe,
Ken Satoh,
Philippe Codognet:
Agent-Based Speculative Constraint Processing.
IEICE Transactions 90-D(9): 1354-1362 (2007) |
| 2004 |
|---|
| 68 | | Charlotte Truchet,
Philippe Codognet:
Musical constraint satisfaction problems solved with adaptive search.
Soft Comput. 8(9): 633-640 (2004) |
| 2003 |
|---|
| 67 | | Stefano Bistarelli,
Philippe Codognet,
Kin Chuen Hui,
Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
CP 2003: 138-152 |
| 66 |  | Stefano Bistarelli,
Philippe Codognet,
Kin Chuen Hui,
Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
IJCAI 2003: 1364-1365 |
| 65 | | Ken Satoh,
Philippe Codognet,
Hiroshi Hosobe:
Speculative Constraint Processing in Multi-agent Systems.
PRIMA 2003: 133-144 |
| 64 | | Fabrice Baray,
Philippe Codognet,
Daniel Diaz,
Henri Michel:
Code-Based Test Generation for Validation of Functional Processor Descriptions.
TACAS 2003: 569-584 |
| 63 | | Philippe Codognet,
Francesca Rossi:
Guest Editorial.
Constraints 8(1): 5-7 (2003) |
| 62 | | Nadine Richard,
Philippe Codognet,
Alain Grumbach:
Créatures virtuelle.
Technique et Science Informatiques 22(2): 221-243 (2003) |
| 2002 |
|---|
| 61 | | Philippe Codognet:
Intelligent Agents in Virtual Worlds.
ADVIS 2002: 242-243 |
| 60 | | Philippe Codognet:
Multi-goal path-finding for autonomous agents in virtual worlds.
IWEC 2002: 23-30 |
| 59 | | Stefano Bistarelli,
Philippe Codognet,
Francesca Rossi:
Abstracting soft constraints: Framework, properties, examples.
Artif. Intell. 139(2): 175-211 (2002) |
| 2001 |
|---|
| 58 | | Philippe Codognet:
Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris
Hermes 2001 |
| 57 | | Philippe Codognet:
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
Springer 2001 |
| 56 | | Nadine Richard,
Philippe Codognet,
Alain Grumbach:
The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars.
IVA 2001: 195-209 |
| 55 | | Philippe Codognet,
Daniel Diaz:
Yet Another Local Search Method for Constraint Solving.
SAGA 2001: 73-90 |
| 54 | | François Pachet,
Philippe Codognet:
Introduction to the Special Issue on Constraints for Multimedia Artistic Applications.
Constraints 6(1): 5-6 (2001) |
| 53 | | Daniel Diaz,
Philippe Codognet:
Design and Implementation of the GNU Prolog System.
Journal of Functional and Logic Programming 2001(6): (2001) |
| 2000 |
|---|
| 52 | | Philippe Codognet:
A Constraint - Based Language for Autonomous Agents in Virtual Worlds.
15. WLP 2000: 25-26 |
| 51 | | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Francesca Rossi:
Labeling and Partial Local Consistency for Soft Constraint Programming.
PADL 2000: 230-248 |
| 50 | | Daniel Diaz,
Philippe Codognet:
GNU Prolog: Beyond Compiling Prolog to C.
PADL 2000: 81-92 |
| 49 | | Daniel Diaz,
Philippe Codognet:
The GNU Prolog System and its Implementation.
SAC (2) 2000: 728-732 |
| 48 | | Stefano Bistarelli,
Philippe Codognet,
Francesca Rossi:
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.
SARA 2000: 71-86 |
| 1999 |
|---|
| 47 | | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Fabio Rossi:
Labeling and Partial Arc Consistency for Soft Constraints.
APPIA-GULP-PRODE 1999: 121-136 |
| 46 | | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Francesca Rossi:
Abstracting Soft Constraints.
New Trends in Constraints 1999: 108-133 |
| 45 | | Philippe Codognet:
A Constraint-Based Language for Virtual Agents.
New Trends in Constraints 1999: 17-39 |
| 44 | | Philippe Codognet:
An Historical Account of Indexical Images: from Ancient Art to the Web.
VL 1999: 104-110 |
| 43 | | Yan Georget,
Philippe Codognet,
Francesca Rossi:
Constraint Retraction in CLP(FD): Formal Framework and Performance Results.
Constraints 4(1): 5-42 (1999) |
| 1998 |
|---|
| 42 | | Yan Georget,
Philippe Codognet:
Compiling Semiring-Based Constraints with clp (FD, S).
CP 1998: 205-219 |
| 41 | | Philippe Codognet:
Foreword: Concurrent Constraint Programming.
Sci. Comput. Program. 30(1-2): 1-2 (1998) |
| 1997 |
|---|
| 40 | | Yan Georget,
Philippe Codognet,
Francesca Rossi:
Implementing Constraint Retraction for Finite Domains.
ASIAN 1997: 136-150 |
| 39 | | Emmanuel Chailloux,
Philippe Codognet:
Toward Visual Constraint Programming.
VL 1997: 424-425 |
| 38 | | Philippe Codognet:
The Virtuality of Constraints and the Constraints of Virtuality.
Constraints 2(1): 45-49 (1997) |
| 1996 |
|---|
| 37 | | Philippe Codognet,
Daniel Diaz,
Francesca Rossi:
Constraint Reaction in FD.
FSTTCS 1996: 168-179 |
| 36 | | Philippe Codognet:
The Virtuality of Constraints and the Constraints of Virtuality.
ACM Comput. Surv. 28(4es): 60 (1996) |
| 35 | | Philippe Codognet,
Daniel Diaz:
A Simple and Efficient Boolean Solver for Constraint Logic Programming.
J. Autom. Reasoning 17(1): 97-129 (1996) |
| 34 | | Philippe Codognet,
Daniel Diaz:
Compiling Constraints in clp(FD).
J. Log. Program. 27(3): 185-226 (1996) |
| 1995 |
|---|
| 33 | | Christian Codognet,
Philippe Codognet:
Guarded Constructive Disjunction: Angel or Demon?
CP 1995: 345-361 |
| 32 | | Christian Codognet,
Philippe Codognet:
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.
Constraint Processing, Selected Papers 1995: 39-49 |
| 31 | | Philippe Codognet,
Daniel Diaz:
WAMCC: Compiling Prolog to C.
ICLP 1995: 317-331 |
| 30 | | Philippe Codognet,
Francesca Rossi:
NMCC Programming: Constraint Enforcement and Retracting in CC Programming.
ICLP 1995: 417-431 |
| 29 | | Philippe Codognet,
Daniel Diaz:
The clp(FD) system.
JFPLC 1995: 357-360 |
| 1994 |
|---|
| 28 | | Philippe Codognet,
Giuseppe Nardiello:
Path Consistency in clp(FD).
CCL 1994: 201-216 |
| 27 | | Philippe Codognet,
Giuseppe Nardiello:
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods
Constraint Programming 1994: 39-61 |
| 26 | | Christian Codognet,
Philippe Codognet:
Abduction and Concurrent Logic Languages.
ECAI 1994: 75-79 |
| 25 | | Emmanuel Chailloux,
Christian Codognet,
Philippe Codognet:
Finite Domain Constraints in the ML Functional Language.
ICTAI 1994: 784-787 |
| 24 | | Philippe Codognet:
Programmation Concurrente avec Contraintes.
JFPLC 1994: 309-310 |
| 23 | | Philippe Codognet,
Daniel Diaz:
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.
PLILP 1994: 244-260 |
| 22 | | Christian Codognet,
Philippe Codognet,
Vincenzo Loia,
Michel Quaggetto:
Sleepers: A Versatile High-Level Control Mechanism.
PLILP 1994: 308-323 |
| 21 | | Jacques Chassin de Kergommeaux,
Philippe Codognet:
Parallel Logic Programming Systems.
ACM Comput. Surv. 26(3): 295-336 (1994) |
| 1993 |
|---|
| 20 | | Giovanna M. Dore,
Philippe Codognet:
A Prototype Compiler for Prolog with Boolean Constraints.
GULP 1993: 157-172 |
| 19 | | Daniel Diaz,
Philippe Codognet:
A Minimal Extension of the WAM for clp(FD).
ICLP 1993: 774-790 |
| 18 | | Philippe Codognet,
Daniel Diaz:
Boolean Constraint Solving Using clp(FD).
ILPS 1993: 525-539 |
| 17 | | Francisco Menezes,
Pedro Barahona,
Philippe Codognet:
An Incremental Hierarchical Constraint Solver.
PPCP 1993: 190-199 |
| 1992 |
|---|
| 16 | | Philippe Codognet,
Gilberto Filé:
Computations, abstractions and constraints in logic programs.
ICCL 1992: 155-164 |
| 15 | | Salvador Abreu,
Luís Moniz Pereira,
Philippe Codognet:
Improving Backward Execution in the Andorra Family of Languages.
JICSLP 1992: 384-398 |
| 1991 |
|---|
| 14 | | Philippe Codognet,
Thierry Sola:
Extending the WAM for Intelligent Backtracking.
ICLP 1991: 127-141 |
| 13 | | Philippe Codognet,
Gilberto Filé:
Computations, Abstractions and Constraints (abstract).
JTASPEFT/WSA 1991: 70-71 |
| 12 | | Philippe Codognet,
François Fages,
Thierry Sola:
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
WCLP 1991: 437-456 |
| 1990 |
|---|
| 11 | | Philippe Codognet:
Equations, Disequations and Unsolvable Subsets (abstract).
ISSAC 1990: 289 |
| 10 | | Christian Codognet,
Philippe Codognet,
Marc-Michel Corsini:
Abstract Interpretation for Concurrent Logic Languages.
NACLP 1990: 215-232 |
| 9 | | Pierre Savéant,
Philippe Codognet:
A Metalanguage for Representation and Control in Assumption-based Problem Solvers.
SEKE 1990: 159-164 |
| 8 | | Christian Codognet,
Philippe Codognet,
Marc-Michel Corsini:
Abstract Interpretation from Prolog to Concurrent Prolog.
SPLT 1990: 351-370 |
| 1989 |
|---|
| 7 | | Christian Codognet,
Philippe Codognet:
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking.
ICLP 1989: 63-79 |
| 6 | | Christian Codognet,
Philippe Codognet:
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking.
SPLT 1989: 423-440 |
| 1988 |
|---|
| 5 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
Yet Another Intelligent Backtracking Method.
ICLP/SLP 1988: 447-465 |
| 4 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
Yet another intelligent Backtracking method.
SPLT 1988: 317-336 |
| 1987 |
|---|
| 3 | | Philippe Codognet:
Programmation logique parallèle 87.
SPLT 1987: 411-440 |
| 1986 |
|---|
| 2 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
A Very Intelligent Backtracking Method for Logic Programs.
ESOP 1986: 315-326 |
| 1 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
Backtracking intelligent en programmation logique.
SPLT 1986: 25-50 |
