BibTeX records: Eric Salvat

download as .bib file

@article{DBLP:journals/ai/BagetLMS11,
  author    = {Jean{-}Fran{\c{c}}ois Baget and
               Michel Lecl{\`{e}}re and
               Marie{-}Laure Mugnier and
               Eric Salvat},
  title     = {On rules with existential variables: Walking the decidability line},
  journal   = {Artif. Intell.},
  volume    = {175},
  number    = {9-10},
  pages     = {1620--1654},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.artint.2011.03.002},
  doi       = {10.1016/j.artint.2011.03.002},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/BagetLMS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BagetLMS09,
  author    = {Jean{-}Fran{\c{c}}ois Baget and
               Michel Lecl{\`{e}}re and
               Marie{-}Laure Mugnier and
               Eric Salvat},
  title     = {Extending Decidable Cases for Rules with Existential Variables},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {677--682},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/118.pdf},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BagetLMS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BagetLMS08,
  author    = {Jean{-}Fran{\c{c}}ois Baget and
               Michel Lecl{\`{e}}re and
               Marie{-}Laure Mugnier and
               Eric Salvat},
  title     = {{DL-SR:} a Lite {DL} with Expressive Rules: Preliminary Results},
  booktitle = {Proceedings of the 21st International Workshop on Description Logics
               (DL2008), Dresden, Germany, May 13-16, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/dlog/2008},
  url       = {http://ceur-ws.org/Vol-353/BagetLeclereMugnierSalvat.pdf},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/BagetLMS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Dibie-BarthelemyHS06,
  author    = {Juliette Dibie{-}Barth{\'{e}}lemy and
               Ollivier Haemmerl{\'{e}} and
               Eric Salvat},
  title     = {A semantic validation of conceptual graphs},
  journal   = {Knowl.-Based Syst.},
  volume    = {19},
  number    = {7},
  pages     = {498--510},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.knosys.2005.04.002},
  doi       = {10.1016/j.knosys.2005.04.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/kbs/Dibie-BarthelemyHS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BagetS06,
  author    = {Jean{-}Fran{\c{c}}ois Baget and
               Eric Salvat},
  title     = {Rules Dependencies in Backward Chaining of Conceptual Graphs Rules},
  booktitle = {Conceptual Structures: Inspiration and Application, 14th International
               Conference on Conceptual Structures, {ICCS} 2006, Aalborg, Denmark,
               July 16-21, 2006, Proceedings},
  pages     = {102--116},
  year      = {2006},
  crossref  = {DBLP:conf/iccs/2006},
  url       = {https://doi.org/10.1007/11787181\_8},
  doi       = {10.1007/11787181\_8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/BagetS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/Dibie-BarthelemyHS04,
  author    = {Juliette Dibie{-}Barth{\'{e}}lemy and
               Ollivier Haemmerl{\'{e}} and
               Eric Salvat},
  title     = {Validation de graphes conceptuels},
  booktitle = {Extraction et gestion des connaissances (EGC'2004), Actes des quatri{\`{e}}mes
               journ{\'{e}}es Extraction et Gestion des Connaissances, Clermont
               Ferrand, France, 20-23 janvier 2004, 2 Volumes},
  pages     = {135--146},
  year      = {2004},
  crossref  = {DBLP:conf/f-egc/2004},
  url       = {http://editions-rnti.fr/?inprocid=1000913},
  timestamp = {Thu, 24 Apr 2014 17:37:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/f-egc/Dibie-BarthelemyHS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Salvat98,
  author    = {Eric Salvat},
  title     = {Theorem Proving Using Graph Operations in the Conceptual Graph Formalism},
  booktitle = {{ECAI}},
  pages     = {356--360},
  year      = {1998},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecai/Salvat98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/GenestS98,
  author    = {David Genest and
               Eric Salvat},
  title     = {A Platform Allowing Typed Nested Graphs: How CoGITo Became CoGITaNT
               (Research Note)},
  booktitle = {Conceptual Structures: Theory, Tools and Applications, 6th International
               Conference on Conceptual Structures, {ICCS} '98, Montpellier, France,
               August 10-12, 1998, Proceedings},
  pages     = {154--164},
  year      = {1998},
  crossref  = {DBLP:conf/iccs/1998},
  url       = {https://doi.org/10.1007/BFb0054912},
  doi       = {10.1007/BFb0054912},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/GenestS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/CoulondreS98,
  author    = {St{\'{e}}phane Coulondre and
               Eric Salvat},
  title     = {Piece Resolution: Towards Larger Perspectives},
  booktitle = {Conceptual Structures: Theory, Tools and Applications, 6th International
               Conference on Conceptual Structures, {ICCS} '98, Montpellier, France,
               August 10-12, 1998, Proceedings},
  pages     = {179--193},
  year      = {1998},
  crossref  = {DBLP:conf/iccs/1998},
  url       = {https://doi.org/10.1007/BFb0054914},
  doi       = {10.1007/BFb0054914},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/CoulondreS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/KerdilesS97,
  author    = {Gwen Kerdiles and
               Eric Salvat},
  title     = {A Sound and Complete {CG} Proof Procedure Combining Projections with
               Analytic Tableaux},
  booktitle = {Conceptual Structures: Fulfilling Peirce's Dream, Fifth International
               Conference on Conceptual Structures, {ICCS} '97, Seattle, Washington,
               USA, August 3-8, 1997, Proceedings},
  pages     = {371--385},
  year      = {1997},
  crossref  = {DBLP:conf/iccs/1997},
  url       = {https://doi.org/10.1007/BFb0027884},
  doi       = {10.1007/BFb0027884},
  timestamp = {Wed, 14 Nov 2018 10:57:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/KerdilesS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/SalvatM96,
  author    = {Eric Salvat and
               Marie{-}Laure Mugnier},
  title     = {Sound and Complete Forward and backward Chainingd of Graph Rules},
  booktitle = {Conceptual Structures: Knowledge Representation as Interlingua, 4th
               International Conference on Conceptual Structures, {ICCS} '96, Sydney,
               Australia, August 19-22, 1996, Proceedings},
  pages     = {248--262},
  year      = {1996},
  crossref  = {DBLP:conf/iccs/1996},
  url       = {https://doi.org/10.1007/3-540-61534-2\_16},
  doi       = {10.1007/3-540-61534-2\_16},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/SalvatM96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2008,
  editor    = {Franz Baader and
               Carsten Lutz and
               Boris Motik},
  title     = {Proceedings of the 21st International Workshop on Description Logics
               (DL2008), Dresden, Germany, May 13-16, 2008},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {353},
  publisher = {CEUR-WS.org},
  year      = {2008},
  url       = {http://ceur-ws.org/Vol-353},
  urn       = {urn:nbn:de:0074-353-8},
  timestamp = {Mon, 30 May 2016 16:57:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dlog/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccs/2006,
  editor    = {Henrik Sch{\"{a}}rfe and
               Pascal Hitzler and
               Peter {\O}hrstr{\o}m},
  title     = {Conceptual Structures: Inspiration and Application, 14th International
               Conference on Conceptual Structures, {ICCS} 2006, Aalborg, Denmark,
               July 16-21, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4068},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11787181},
  doi       = {10.1007/11787181},
  isbn      = {3-540-35893-5},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/f-egc/2004,
  editor    = {Georges H{\'{e}}brail and
               Ludovic Lebart and
               Jean{-}Marc Petit},
  title     = {Extraction et gestion des connaissances (EGC'2004), Actes des quatri{\`{e}}mes
               journ{\'{e}}es Extraction et Gestion des Connaissances, Clermont
               Ferrand, France, 20-23 janvier 2004, 2 Volumes},
  series    = {Revue des Nouvelles Technologies de l'Information},
  volume    = {{RNTI-E-2}},
  publisher = {C{\'{e}}padu{\`{e}}s-{\'{E}}ditions},
  year      = {2004},
  url       = {http://editions-rnti.fr/?procid=4586},
  isbn      = {2-85428-633-2},
  timestamp = {Thu, 24 Apr 2014 17:37:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/f-egc/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccs/1998,
  editor    = {Marie{-}Laure Mugnier and
               Michel Chein},
  title     = {Conceptual Structures: Theory, Tools and Applications, 6th International
               Conference on Conceptual Structures, {ICCS} '98, Montpellier, France,
               August 10-12, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1453},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054900},
  doi       = {10.1007/BFb0054900},
  isbn      = {3-540-64791-0},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccs/1997,
  editor    = {Dickson Lukose and
               Harry S. Delugach and
               Mary Keeler and
               Leroy Searle and
               John F. Sowa},
  title     = {Conceptual Structures: Fulfilling Peirce's Dream, Fifth International
               Conference on Conceptual Structures, {ICCS} '97, Seattle, Washington,
               USA, August 3-8, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1257},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0027865},
  doi       = {10.1007/BFb0027865},
  isbn      = {3-540-63308-1},
  timestamp = {Wed, 14 Nov 2018 10:57:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccs/1996,
  editor    = {Peter W. Eklund and
               Gerard Ellis and
               Graham Mann},
  title     = {Conceptual Structures: Knowledge Representation as Interlingua, 4th
               International Conference on Conceptual Structures, {ICCS} '96, Sydney,
               Australia, August 19-22, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1115},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61534-2},
  doi       = {10.1007/3-540-61534-2},
  isbn      = {3-540-61534-2},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccs/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier