BibTeX records: Paul Y. Gloess

download as .bib file

@inproceedings{DBLP:conf/jfplc/OrosG95,
  author       = {Miguel{-}Angel Oros and
                  Paul Y. Gloess},
  editor       = {Jean{-}Jacques Chabrier},
  title        = {Concept : a system for deriving datalog inheritance},
  booktitle    = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation
                  par Contraintes et applications industrielles, 17-19 mai 1995, Dijon,
                  France},
  pages        = {353--356},
  year         = {1995},
  timestamp    = {Fri, 28 May 2004 07:52:18 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/OrosG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GloessOL95,
  author       = {Paul Y. Gloess and
                  Miguel{-}Angel Oros and
                  Chu Min Li},
  editor       = {Jean{-}Jacques Chabrier},
  title        = {U-Log = datalog + constraints},
  booktitle    = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
                  en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation
                  par Contraintes et applications industrielles, 17-19 mai 1995, Dijon,
                  France},
  pages        = {369--372},
  year         = {1995},
  timestamp    = {Fri, 28 May 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GloessOL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lmo/OrosG94,
  author       = {Miguel{-}Angel Oros and
                  Paul Y. Gloess},
  editor       = {Fran{\c{c}}ois Rechenmann},
  title        = {Concept, une approche bas{\'{e}}e sur la d{\'{e}}duction
                  naturelle pour la classification de pr{\'{e}}dicats Datalog},
  booktitle    = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
                  LMO'94. Grenoble, France, 13-14 octobre},
  pages        = {39--52},
  publisher    = {{INRIA} Rh{\^{o}}nes-Alpes - {IMAG-LIFIA}},
  year         = {1994},
  timestamp    = {Thu, 05 Jul 2018 08:00:14 +0200},
  biburl       = {https://dblp.org/rec/conf/lmo/OrosG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/slp/OrosG94,
  author       = {Miguel{-}Angel Oros and
                  Paul Y. Gloess},
  editor       = {Maurice Bruynooghe},
  title        = {Inferring Inheritance from Datalog Programs},
  booktitle    = {Logic Programming, Proceedings of the 1994 International Symposium,
                  Ithaca, New York, USA, November 13-17, 1994},
  pages        = {680},
  publisher    = {{MIT} Press},
  year         = {1994},
  timestamp    = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl       = {https://dblp.org/rec/conf/slp/OrosG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/GuenG93,
  author       = {Jean{-}Luc Gu{\'{e}}rin and
                  Paul Y. Gloess},
  title        = {GrafOLog: a Visual Language for a Logic with Objects},
  journal      = {J. Vis. Lang. Comput.},
  volume       = {4},
  number       = {3},
  pages        = {301--324},
  year         = {1993},
  url          = {https://doi.org/10.1006/jvlc.1993.1018},
  doi          = {10.1006/JVLC.1993.1018},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlc/GuenG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpe/OrosG93,
  author       = {Miguel{-}Angel Oros and
                  Paul Y. Gloess},
  editor       = {Mireille Ducass{\'{e}} and
                  Baudouin Le Charlier and
                  Yow{-}Jian Lin and
                  L. {\"{U}}mit Yal{\c{c}}inalp},
  title        = {Inheritance in Datalog},
  booktitle    = {Proceedings of the 5th Workshop on Logic Programming Environments
                  {(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
                  Vancouver, British Columbia, Canada},
  pages        = {52--58},
  publisher    = {IRISA, Campus de Beaulieu, France},
  year         = {1993},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/OrosG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bda/LiG92,
  author       = {Chu Min Li and
                  Paul Y. Gloess},
  editor       = {Eric Simon},
  title        = {Applying a unified object logic model to implement a strong and dynamic
                  interface between Prolog and an {OODBMS}},
  booktitle    = {VIII{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
                  15-18 Septembre 1992, Tr{\'{e}}gastel, France (Informal Proceedings)},
  pages        = {280},
  publisher    = {{INRIA}},
  year         = {1992},
  timestamp    = {Fri, 22 Jun 2018 07:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/bda/LiG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/LiG92,
  author       = {Chu Min Li and
                  Paul Y. Gloess},
  editor       = {Jean{-}Paul Delahaye and
                  Philippe Devienne and
                  Philippe Mathieu and
                  Pascal Yim},
  title        = {Realizing an efficient and incremental access to an object oriented
                  database with Prolog},
  booktitle    = {JFPL'92, 1\({}^{\mbox{{\`{e}}res}}\) Journ{\'{e}}es Francophones
                  de Programmation Logique, 25-27 Mai 1992, Lille, France},
  pages        = {268--283},
  year         = {1992},
  timestamp    = {Fri, 25 Jun 2004 15:29:52 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/LiG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/LiG92,
  author       = {Chu Min Li and
                  Paul Y. Gloess},
  editor       = {Maurice Bruynooghe and
                  Martin Wirsing},
  title        = {ProQuery: Logical Access to an {OODB}},
  booktitle    = {Programming Language Implementation and Logic Programming, 4th International
                  Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {631},
  pages        = {487--488},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55844-6\_162},
  doi          = {10.1007/3-540-55844-6\_162},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/LiG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GloessHLH92,
  author       = {Paul Y. Gloess and
                  Yan{-}Nong Huang and
                  Chumin Li and
                  Miguel{-}Angel Oros},
  editor       = {Michel Billaud and
                  Pierre Cast{\'{e}}ran and
                  Marc{-}Michel Corsini and
                  Kaninda Musumbu and
                  Antoine Rauzy},
  title        = {On Boolean Feature Types},
  booktitle    = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
                  1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
                  Proceedings},
  series       = {Series Bigre},
  volume       = {81-82},
  pages        = {213--220},
  publisher    = {Atelier Irisa, IRISA, Campus de Beaulieu},
  year         = {1992},
  timestamp    = {Wed, 12 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/GloessHLH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plilp/Gloess91,
  author       = {Paul Y. Gloess},
  editor       = {Jan Maluszynski and
                  Martin Wirsing},
  title        = {U-Log, An Ordered Sorted Logic with Typed Attributes},
  booktitle    = {Programming Language Implementation and Logic Programming, 3rd International
                  Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {528},
  pages        = {275--286},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54444-5\_105},
  doi          = {10.1007/3-540-54444-5\_105},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/Gloess91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Gloess89,
  author       = {Paul Y. Gloess},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {U-LOG, aspects formels et pratiques d'un interface entre Programmation
                  Logique et Objets},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {71--96},
  year         = {1989},
  timestamp    = {Mon, 06 Sep 2004 15:30:23 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Gloess89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GuerinG89,
  author       = {Jean{-}Luc Gu{\'{e}}rin and
                  Paul Y. Gloess},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Programmation Logique et Objets sans variables par le dessin},
  booktitle    = {SPLT'89, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
                  en Logique, 24-26 mai 1989, Tr{\'{e}}gastel, France},
  pages        = {97},
  year         = {1989},
  timestamp    = {Tue, 13 Jul 2004 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GuerinG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/GloessN87,
  author       = {Paul Y. Gloess and
                  Dung T. Nguyen},
  title        = {Exploitation pr{\'{e}}dictive de grammaires de m{\'{e}}tamorphose
                  par une extension de la logique de Prolog},
  booktitle    = {SPLT'87, S{\'{e}}minaire Programmation en Logique, 19-21 mai
                  1987, Tr{\'{e}}gastel, France},
  pages        = {109--118},
  year         = {1987},
  timestamp    = {Tue, 20 Jul 2004 14:26:49 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/GloessN87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Gloess85,
  author       = {Paul Y. Gloess},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {OBLOGIS, une implantation par objets et orient{\'{e}}e objets
                  de la logique de Prolog},
  booktitle    = {SPLT'85, S{\'{e}}minaire Programmation en Logique, 29-31 mai
                  1985, Tr{\'{e}}gastel, France},
  year         = {1985},
  timestamp    = {Mon, 06 Sep 2004 15:35:20 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Gloess85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jfplc/Gloess84,
  author       = {Paul Y. Gloess},
  editor       = {Mehmet Dincbas},
  title        = {LOGIS, un syst{\`{e}}me {PROLOG} dans un environnement {LISP}},
  booktitle    = {SPLT'84, S{\'{e}}minaire Programmation en Logique, 25-27 avril
                  1984, Plestin-les-Gr{\`{e}}ves, France},
  year         = {1984},
  timestamp    = {Mon, 06 Sep 2004 15:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Gloess84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/AdamGL81,
  author       = {Anne Adam and
                  Paul Y. Gloess and
                  Jean{-}Pierre H. Laurent},
  editor       = {Seymour Jeffrey and
                  Leon G. Stucki},
  title        = {An Interactive Tool for Program Manipulation},
  booktitle    = {Proceedings of the 5th International Conference on Software Engineering,
                  San Diego, California, USA, March 9-12, 1981},
  pages        = {460},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {http://dl.acm.org/citation.cfm?id=802559},
  timestamp    = {Mon, 14 May 2012 18:17:19 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/AdamGL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Gloess80,
  author       = {Paul Y. Gloess},
  editor       = {Wolfgang Bibel and
                  Robert A. Kowalski},
  title        = {An Experiment with the Boyer-Moore Theorem Prover: {A} Proof of the
                  Correctness of a Simple Parser of Expressions},
  booktitle    = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
                  1980, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {87},
  pages        = {154--169},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-10009-1\_13},
  doi          = {10.1007/3-540-10009-1\_13},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Gloess80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GloessL80,
  author       = {Paul Y. Gloess and
                  Jean{-}Pierre H. Laurent},
  editor       = {Wolfgang Bibel and
                  Robert A. Kowalski},
  title        = {Adding Dynamic Paramodulation to Rewrite Algorithms},
  booktitle    = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11,
                  1980, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {87},
  pages        = {195--207},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-10009-1\_16},
  doi          = {10.1007/3-540-10009-1\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GloessL80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.