 | |||||||||||||||
|
|||||||||||||||
audience = {nationale},
author = {L. Giordano and V. Gliozzi and N. Olivetti and G.L. Pozzato and C.B. Schwind},
title = {Non-Classical Logics for Knowledge Representation and Reasoning.},
journal = {Intelligenza Artificiale},
month = {juin},
year = {2009},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato},
title = {Analytic Tableaux for KLM Preferential and Cumulative Logics},
journal = {ACM Transactions on Computational Logic (TOCL)},
month = {janvier},
year = {2009},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {L. Giordano and V. Gliozzi and N. Olivetti and C. Schwind},
title = {Tableau calculus for preference-based conditional logics : PCL and its extensions},
journal = {ACM Transactions on Computational Logic (TOCL)},
month = {janvier},
year = {2009},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {N. Olivetti and G. L. Pozzato},
title = {Theorem Proving for Conditional Logics: CondLean and GoalDUCK},
journal = {Journal of Applied Non-Classical Logics (JANCL)},
month = {janvier},
year = {2009},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {Djamal Habet and Michel Vasquez and Yannick Vimont},
title = {Bounding the Optimum for the Problem of Scheduling the Photographs of an Agile Earth Observing Satellite},
journal = {Journal of Computational Optimization and Applications},
pages = {1--27},
year = {2008},
note = {DOI 10.1007/s10589--008-9220--7 (http://dx.doi.org/10.1007/s10589--008-9220--7)},
equipe = {INCA}
}
audience = {internationale},
author = {S. Benferhat and J. Ben-Naim and O. Papini and E. W\"{u}rbel},
title = {Answer Set Programming encoding of Prioritized Removed Sets Revision: Application to GIS},
journal = {Applied Intelligence. Springer Verlag.},
month = {d\'{e}cembre},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {J.-C. Chambelland and M. Dassot and B. Adam and N. Don\`{e}s and P. Balandier and A. Marquier and M. Saudreau and G. Sonohat and H. Sinoquet},
title = {A double-digitising method for building 3D virtual trees with non-planar leaves: application to the morphology and light-capture properties of young beech trees (Fagus sylvatica)},
journal = {Functional Plant Biology},
volume = {35},
number = {9 \& 10},
pages = {1059--1069},
month = {Novembre},
year = {2008},
equipe = {INCA}
}
audience = {internationale},
author = {Dalila Boughaci and Bela\"{i}d Benhamou and Habiba Drias},
title = {A memetic algorithm for the optimal winner determination problem},
journal = {Soft Computing},
month = {octobre},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {Dalila Boughaci and B. Benhamou and H. Drias},
title = {Genetic algorithms and scatter search for MAX-SAT problems},
journal = {Journal of Mathematical modelling and Algorithms (JMMA)},
volume = {Springer},
month = {avril},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {Devillers R. and B\'{e}dard Y. and Jeansoulin R. and Moulin B.},
title = {Towards Spatial Data Quality Information Analysis Tools for Experts Assessing the Fitness for Use of Spatial Data},
journal = {International Journal of Geographical Information Science},
volume = {21},
number = {3},
pages = {261--282},
month = {march},
year = {2007},
equipe = {INCA}
}
audience = {internationale},
author = {Barry Norton and Carlos Pedrinacci and Laurent Henocque and Mathias Kleiner},
title = {3-level behavioural models for semantic web services},
journal = {Multi-Agent and Grid Systems},
year = {2006},
equipe = {INCA}
}
audience = {internationale},
author = {Mahat Kelfallah and Bela\"{i}d Benhamou},
title = {A minimal method for restoring temporal information consistency},
journal = {Journal of Research in Computing Seance},
volume = {19},
pages = {43--56},
year = {2006},
equipe = {INCA}
}
audience = {internationale},
author = {Nicola Olivetti and Gian Luca Pozzato and Camilla Schwind},
title = {A Sequent Calculus and a Theorem Prover for Standard Conditional Logics},
journal = {ACM Transaction on Computational Logic (TOCL)},
month = {septembre},
year = {2006},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {Gilles Audemard and Bela\"{i}d Benhamou and Laurent Henocque},
title = {Predicting and detecting Symmetry in FOL Finite Model search},
journal = {Journal of Automated Reasoning},
month = {juillet},
year = {2006},
note = {à paraître},
equipe = {INCA}
}
audience = {nationale},
author = {Gervais, M. and B\'{e}dard, Y. and Jeansoulin, R. and Cervelle, B.},
title = {Gestion de l’incertitude dans les bases de donn\'{e}es g\'{e}ographiques : d\'{e}veloppement du mod\`{e}le du producteur raisonnable},
journal = {Revue Internationale de G\'{e}omatique},
month = {janvier},
year = {2006},
note = {à paraître},
equipe = {INCA}
}
audience = {internationale},
author = {Devillers, R. and B\'{e}dard, Y. and Jeansoulin, R.},
title = {Multidimensional management of geospatial data quality information for its dynamic use within Geographical Information Systems},
journal = {Photogrammetric Engineering and Remote Sensing (PE\&RS Journal)},
volume = {71},
number = {2},
pages = {205--215},
year = {2005},
note = {ESRI/ASPRS Award for 2006 Best Scientific Paper in GIS (2nd place)},
equipe = {INCA}
}
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias},
title = {Taboo search as an intelligent agent for bid evaluation},
journal = {International Journal of Internet and Enterprise Management},
volume = {3},
number = {2},
pages = {170--186,},
year = {2005},
note = {Published by Inderscience Enterprises Ltd., Geneva, Switzerland},
equipe = {INCA}
}
audience = {internationale},
author = {L. Giordano and V. Gliozzi and N. Olivetti},
title = {Weak AGM postulates and strong Ramsey Test: A logical formalization},
journal = {Artificial Intelligence},
volume = {168},
number = {1--2},
pages = {1--37},
year = {2005},
equipe = {INCA}
}
audience = {internationale},
author = {G. Metcalfe and N. Olivetti and D. M. Gabbay},
title = {Sequent and hypersequent calculi for abelian and Lukasiewicz logics},
journal = {ACM Transaction on Computational Logic (TOCL)},
volume = {6},
number = {3},
pages = {578--613},
year = {2005},
equipe = {INCA}
}
audience = {internationale},
author = {G. Metcalfe and N. Olivetti and D. Gabbay},
title = {Lukasiewicz Logic: From Proof Systems To Logic Programming},
journal = {Logic Jnl IGPL},
volume = {13},
number = {5},
pages = {561--585},
year = {2005},
equipe = {INCA}
}
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias and Bela\"{i}d Benhamou},
title = {Two Hybrid Tabu Scatter Search Meta-heuristic for Solving MAX-SAT Problems},
journal = {Alexander Gelbukh, Raul Monroy (Eds.), a special issue on Advances in Artificial Intelligence Theory, Journal of Research on Computing Sciences (RCS), ISSN 1665 - 9899},
number = {16},
pages = {45 - 54},
year = {2005},
equipe = {INCA}
}
audience = {internationale},
author = {Daniel Kayser and Farid Nouioua},
title = {About Norms and Causes},
journal = {International Journal on Artificial Intelligence Tools},
volume = {14},
number = {1--2},
pages = {7--23},
year = {2005},
equipe = {INCA}
}
audience = {internationale},
author = {Vlag, D.E. Van De and Vasseur, B. and Stein, A. and Jeansoulin, R.},
title = {An Application of Problem and Product Ontologies for the Revision of Beach Nourishments},
journal = {International Journal of Geographical Information Science},
volume = {19},
number = {10},
pages = {1057--1072},
month = {November},
year = {2005},
equipe = {INCA}
}
audience = {internationale},
author = {Laurent Henocque},
title = {Modeling Object Oriented Constraint Programs in Z},
journal = {RACSAM (Revista de la Real Academia De Ciencias serie A Mathematicas)},
volume = {special issue on Symbolic Computation in Logic and Artificial Intelligence},
number = {98 (1--2)},
pages = {127--152},
year = {2004},
equipe = {INCA}
}
audience = {nationale},
author = {Stephane Grandcolas and Laurent Henocque and Nicolas Prcovic},
title = {Un test de canonicit\'{e} pour \'{e}liminer des configurations redondantes},
journal = {Journal Electronique d'Intelligence Artificielle (JEDAI)},
volume = {2},
number = {2},
year = {2004},
equipe = {INCA}
}
audience = {nationale},
author = {P. J\'{e}gou and C. Terrioux},
title = {Recherche arborescente born\'{e}e pour la r\'{e}solution de CSP valu\'{e}s},
journal = {Journal Electronique D'Intelligence Artificielle (JEDAI)},
volume = {3--28},
year = {2004},
equipe = {INCA}
}
audience = {internationale},
author = {Bela\"{i}d Benhamou},
title = {Satisfiability and matchings in bipartite graphs: relationship and tractability},
journal = {The journal of Spanish Royal Academy of sciences (RACSAM), a special issu on Symbolic Computation and Artificial Intelligence},
volume = {98},
number = {(1--2)},
pages = {55 - 63},
year = {2004},
equipe = {INCA}
}
audience = {nationale},
author = {Pierre Basso},
title = {Propositions pour une logique formelle de la subjectivit\'{e}},
journal = {Automates Intelligents},
number = {54},
year = {2004},
note = {Revue \'{e}lectronique},
equipe = {INCA}
}
audience = {internationale},
author = {S. Benferhat and S. Lagrue and O. Papini},
title = {Belief change: a brief overview},
journal = {International Journal of Geographical Information Systems (IJGIS)},
volume = {18},
number = {4},
pages = {355--390},
year = {2004},
equipe = {INCA}
}
audience = {internationale},
author = {Michel Vasquez and Audrey Dupont and Djamal Habet},
title = {Consistency Checking within Local Search Applied to the Frequency Assignment Problem with Polarization},
journal = {RAIRO Operations Research},
volume = {37},
pages = {311--323},
year = {2004},
note = {EDP Sciences},
equipe = {INCA}
}
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias},
title = {A Performance Comparison of Evolutionary Meta-heuristics and Solving MAX-SAT},
journal = {International Journal of Information Technology},
volume = {1},
number = {1},
pages = {45--49.},
year = {2004},
note = {Published by World Enformatika Society -Istanbul, Turkey},
equipe = {INCA}
}
audience = {internationale},
author = {Edwards, G. and Jeansoulin, R.},
title = {Data Fusion, from a logic perspective with a view to implementation},
journal = {Int. J. Geographical Information Science},
volume = {18},
number = {4},
pages = {303--307},
month = {June},
year = {2004},
note = {Guest Editorial},
equipe = {INCA}
}
audience = {internationale},
author = {S. Benferhat and S. Lagrue and O. Papini},
title = {Reasoning with partially ordered information in a possibilistic logic framework (extended and revised version)},
journal = {Fuzzy Sets and Systems},
volume = {144},
number = {1},
pages = {25--41},
month = {mai},
year = {2004},
equipe = {INCA}
}
audience = {nationale},
author = {Devillers R. and B\'{e}dard Y. and Gervais M.},
title = {Indicateurs de qualit\'{e} pour r\'{e}duire les risques de mauvaise utilisation des donn\'{e}es g\'{e}ospatiales},
journal = {Revue Internationale de G\'{e}omatique},
volume = {14},
number = {1},
pages = {35--57},
month = {Avril},
year = {2004},
equipe = {INCA}
}
audience = {internationale},
author = {P. J\'egou and C. Terrioux},
title = {Hybrid backtracking bounded by tree-decomposition of constraint networks},
journal = {Artificial Intelligence},
volume = {146},
pages = {43-75},
year = {2003},
equipe = {INCA}
}
audience = {internationale},
author = {Robert Jeansoulin and Eric W\"{u}rbel},
title = {An anytime revision operator for large spatial datasets},
journal = {Soft Computing},
volume = {7},
number = {6},
pages = {386--393},},
publisher = {Springer},
month = {May},
year = {2003},
equipe = {INCA}
}
audience = {internationale},
author = {A. Belhadjali and R. Jeansoulin},
title = {Using moments for representing polygons and assessing their shape quality in GIS},
journal = {Journal of Geographic Systems},
volume = {4},
number = {2},
pages = {209-232},
year = {2002},
equipe = {INCA}
}
audience = {internationale},
author = {S. Benferhat and D. Dubois and S. Lagrue and O. Papini},
title = {Making revision reversible: a method based on polynomials},
journal = {Fundamenta Informticae},
volume = {53},
number = {3--4},
pages = {251--280},
year = {2002},
equipe = {INCA}
}
audience = {internationale},
author = {P. Siegel and L. Forget and V. Risch},
title = {Preferential logics are X-Logics},
journal = {Journal of Logic and Computation},
volume = {11},
number = {1},
pages = {71-83},
year = {2001},
equipe = {INCA}
}
audience = {internationale},
author = {R. G\'{e}nisson and P. J\'{e}gou},
title = {On the relations between SAT and CSP enumerative algorithms},
journal = {Discrete Applied Mathematics},
volume = {107},
pages = {27-40},
year = {2000},
equipe = {INCA}
}
audience = {internationale},
author = {S. Gadal and R. Jeansoulin},
title = {Borders, frontiers and limits : some computational concepts beyond the words},
journal = {CyberG\'{e}o, European Journal of Geography},
series = {section ``\'{e}pist\'{e}mologie'', ISSN-1278-3366, r\'{e}f\'{e}rence 125},
pages = {12501-12517},
year = {2000},
note = {Revue \'{e}lectronique \`{a} comit\'{e} de lecture},
equipe = {INCA}
}
audience = {internationale},
author = {O. Papini},
title = {Knowledge-base revision},
journal = {The Knowledge Engineering Review},
volume = {15},
number = {4},
pages = {339--370},
year = {2000},
equipe = {INCA}
}
audience = {nationale},
author = {P.Basso},
title = {Propositions pour une logique des processus d'\'{e}mergence},
journal = {Intellectica},
number = {29},
pages = {71--99},
year = {1999},
equipe = {INCA}
}
audience = {internationale},
author = {B. Benhamou and L. Henocque},
title = {A Hybrid Method for finite Model Search in Equational theories},
journal = {Fundamenta Informaticae},
number = {39},
pages = {21-38},
year = {1999},
equipe = {INCA}
}
audience = {nationale},
author = {S. Grandcolas and A. Guenoche},
title = {Approximations par arbre d'une distance partielle},
journal = {Mathematique Informatique et Sciences Humaines},
volume = {146},
pages = {51-64},
year = {1999},
equipe = {INCA}
}
audience = {internationale},
author = {A. Chmeiss and P. J\'egou},
title = {Efficient Path-Consistency Propagation},
journal = {International Journal on Artificial Intelligence Tools},
volume = {7},
number = {2},
pages = {121-142},
year = {1998},
equipe = {INCA}
}
audience = {internationale},
author = {M. Goodchild and R. Jeansoulin},
title = {Special Issue: Quality in GIS. Guest Editorial},
journal = {Journal of GeoInformatica},
volume = {2},
number = {3},
pages = {211-214},
publisher = {Kluwer Academic Publishers},
year = {1998},
equipe = {INCA}
}
|
|||||||||||||||
| |||||||||||||||
