. German Research Center for Artificial Intelligence GmbH
LIDOS aims to provide easier access to bibliographic data and associated on-line information. This document provides a listing of the current bibliographic database files in BibTeX format.
LIDOS provides a search interface for the BibTeX database to allow easy retrieval of specific bibliographic items.
The BibTeX search is performed with Jeff Erickson's biblook program and the search results are presented using an adopted version of Andy Wood's bibmarkup Perl script. Some documentation about making queries with biblook is available. Please note that query processing may require up to one minute of retrieval time.
Several hundreds of BibTeX files are not yet listed above. After inspecting them they will be incorporated into the listing. However, all these files are already accessible through the LIDOS search interface.
The BibTeX files to be checked are given below. All file names are subject to change.
AAAI-Sympos, AAAI, AAL-95, AI-88, AIB-91-1, AIB-91-2, AIDA-88, AIPS-92, AISB-78, AISB-87, AISB-89, AISB-93, Allen, Andriole, Antsaklis, Barr, Benson, Bib-Jorr, Bibel, Bolc, Bolc, Born, Brooks, CAIA-89, CAIA-90, CAIA-91-II, CAIA-91, CAIA-92, CAIA-93, CAIA-94, CANAD-AI-86, CI-89, CI-90, COGNSCI-86, CSCSI-82, CSCSI-88, CSCSI-90, Cantu, Chen, Clancey, Collins, Deen-92, Deen-93, Deen, EAIA-90, EPIA-89, EPIA-91, EPIA-93, EWAIC-93, EWSP-91, Elfes, FLAI-93, Faltings, Fetzer, Fetzer, Fischler, Flach, Gottlob, Graubard, Haugeland, Hookway, IAAI-93, IAS-3, ICGA-85, ICGA-91, IEA-AIE-92, INTSYS-88, ISMIS-91, ISMIS-93, ISMIS-94, Image, Impedovo, Iyengar, Jorrand, Jorrand, Kaneff, Landy, Marik, Marik, Masuch, Music, Mylopoulos, NASA-87, Newell, Nossum, NotesonAAAI-90-1, NotesonAAAI-90-2, ORAIS-89, Osherson-1, Osherson-2, Osherson-3, Papert, Pearson, Plander, Posner, RMCAI-90, Ras-Zemankova, Ras, Ras, Roberto, Robot-1, Robot-2, Robot-3, SCAI-88, SCAI-89, SCAI-91, SCAI-93, STILLINGS, Schnelle, Smith, Symposium, Torasso, Torrance, Trappl, Trends, WEBBER-II, Waterman, YAZDANI, ac-95, ais-91, app-92, art-95, art, ca-95, chen, cohn-thomas, coombs, fou-93, gill, ic-95, icm-94-a40259-394, ip-94, klix, la-95, pinker, pra-92, ras-saitta, schade, simon, vanderVeer, winston-prender, winter, AMAST-91-a26445-82, AMAST-93-a34189-234, Arms-a10154-67, Balas-a40640-75, Batchelor-a6830-45, Bauer-a10676-98, Bickenbach-a5392-410, Bidoit-a26548-63, Bieretc-a6700-23, Biermann-a6690-99, Broy-a38108-21, Bunke-a29320-70, Choffrut-a20683-708, Colloquium-Arto-Salomaa-a36895-926, DAS-94-a38495-520, Data-a6646-61, ESS-92-a31428-534, Ehrig-a19989-20007, FME-94-a37614-654, Halang-a34394-524, Havel-a30740-89, IEEE-88-a11145-215, InfoJapan-90-a12338-457, IntSymTACS-94-37317-59, Jantke-a33774-805, Klinger-a7009-24, Krishna, Kuich-a27503-60, Leeuwen-a16469-86, Leeuwen-a17137-55, Lochovsky-a16969-7003, MFCS-89-a21314-65, Martin-a30097-113, Meyer-a21850-68, Paterson-a20839-95, Roukens-a7329-67, Rozenberg-a19679-94, SEDMS-IV-a39980-99, STACS-91-a21465-515, Schwaertzel-a36109-26, Sta95-a40155-210, TA-94-a39838-70, Tarlecki-a21090-1132, Tsichritzis-a7457-71, UNIX-IV, USENIX-92, USENIX-93, USENIX-94, USENIX-Summer-91, USENIX-Winter-92, USENIX-Winter-94, USENIX, USENIX, USENIX, au-95-a43200-56, cac-95-a42141-217, cr-94-a43412-58, cr-95-a42516-551, ds-95-a42924-68, esa-95-a43257-99, eu-95-a44451-92, fo-95-a43012-33, fp-95-a43845-90, is-95-a43718-65, ma-95-a42256-309, use-94, use-94, use-94, ACM-SIGACT-91, ACM-SIGMOD-91, ADS-93, ArtInt, Bancilhon, Beeri, DEXA-93, DEXA-94, DOOD-91, DOOD-93, Date, Delobel, Dittrich, EDBT-90, EDBT-92, Freytag, Karagiannis, Kerschberg, Kerschberg, Kim, MFDBS-91, PDK-91, POS-94, Papazoglou, SIGMOD-92, SIGMOD-93, Schmidt, YONEZAWA, Zdoni, ad-96, de-95, do-95, minker, mylopoulos, AII-89, AII-94, Ayyub, BOBROW, BRACHMAN, Boley, Boyer, Brachman, Briscoe, Brodie, Brown, CBR-91, CIKM-92, CKBS, Case, Cercone, Dietterich, Dubois, Dubois, ECAI-92-Work, EKAW-88, EKAW-93, EKAW-94, EWCBR-93, EWCBR-93, Fagin, Findler, Frisch, Fuhr, FuzzyLogic, GINSBERG, Galambos, ICCS-93, ICCS-94, IJCAI-91, IPMU-90, IPMU-92, Jackson, Jantke, KBCS-89, KBKS-93, KR-89, KR-91, KR-92, KR-94, Kruse, Kumar, Kyburg, Lehner, Lenzerini, METZING, Martins, Masuch, Michie, Michon, Moore, Moyse, NMREAS-84, NMREAS-88, Nebel, Pfeiffer, RAAP-87, Ringland, Schmalhofer, Schmolze, Shafer, Smets, Smith, Sowa, TARK-86, TARK-88, TARK-90, TARK-92, TKE-87, TKE-90, TKE-S-a16036-78, Uncertainty, Uncertainty, Uncertainty, Uncertainty, Uncertainty, Uncertainty, Weld, Wetter, Workshop, Yager, cas-93, frame, ic-95, stoyan, sym-95, Bolc, Buchanan, COLT-95, Carbonell, Doshita, ECML-93, ECML-94, Famili, Fisher, Frasson, Hanson, IJCAI-93, Kodratoff, Kodratoff, Kolodner, Lernsys, Lesgold, Mandl-a5220-40, Michalski-I, Minton, Mitchell-II, Norrie, PSC, Polson, Self, Shavlik, Shrobe, Tomek, Wrobel, ml-89-a41659-788, ml-91, morik, tra-93, 7thIntWorkshop, Abramson, Banerji, Barwise, Bauer, Baumgartner, Benthem, Bergman, Berka, Blaesius, Blaesius, Blaesius, Bledsoe, Bogdan, Book, Brewka, Broy, CADE-11, CADE-12thIntCon, CSL-89, CSL-90, CSL-91, CSL-92, CTRS-90, Clark, Clarke, Colmerauer, Contemp, DeGroot, Dijkstra, Dix, Dix, ELP-92, ELP-93, Eriksson, Feferman, Fuhrmann-a28173-86, Furukawa, Gabbay, Gabbay, Gabbay, Gabbay, Gabbay, Gabbay, Gabbay, Goodman, Groenendijk, Hentenryck, IEEE-90, IEEE-91, IEEE-92, JELIA-90, JELIA-92, JELIA-94, Joyce, Kirchner, Kirchner, Kowalski, LFCS-92, LFCS-94, LP-94, LPAR-92, LPAR-93, LPAR-94, LPSS-92, Lassez, Lassez, Lindenstrauss, Lloyd, Log-Prog-91, Log-Prog, Log-Symp-91, Logic-87, Logic-90, Logic-Prog, Logic-a12806-54, Logic-a32718-807, Logic-a33879-907, Logic-a36740-61, Lusk, META-92, Maibaum-2, Maibaum, Marek, Mayoh, Meyer, Miola, Mizin, Moennich, Monien, Moschovakis, Muggleton, Nerode, Nivat, Nivat, Non-Classical-Log, Nori, Norman, Owens, PLILP-92, PLILP-94, PPCO-94, Pearce, Penttonen, Pitt, Podelski, Programming, ReTe-95, Rine, Rovan, Rozenberg, Rusinowitch, SAS-94, Schroeder, Schulz, Schwichtenberg, Schwichtenberg, Shyamasundar, Siekmann-II, Siekmann-I, Sleep, Smets, Sterling, Stickel, SympLog, TFM-93, TYPES-93, Tammet, Thomason, Tick, Voronkov, Voronkov, Wainer, Wise, chang-lee, co-94, cp-95, cp-95, ha-94, ha-94, hi-95, lc-94, lp-95, manna, pap-95, walker, Hobbs-a10502-8, IJCAI-91-Work-a18809-18, Locke-a7048-62, Bakker, ECOOP-87, ECOOP-91, ECOOP-92, ECOOP-93, Lochovsky, Loucopoulos, OO-95, OOPSLA-87, OOPSLA-89, OOPSLA-90, OOPSLA-92, Power, ec-91, ec-95, th-94, ACM-Symposium, Agha, Avouris, Becker, Bond, CONCUR-90, CONCUR-91, CONCUR-92, CONCUR-93, CONCUR-94, David, Demazeau, Demazeau, ECAI-94, Gasser, Gupta, Hinton, Hoare, Ito, Ito, LCPC-94, MAAMAW-91, MUC-3, McClelland, Mullender, Ponse, Rumelhart, Rutten, Shapiro-II, Shapiro, Werner-a30323-43, Werner, Wrightson, Yonezawa, al-95, arbib, co-95, eu-95, lc-95, pa-94, pa-95, pa-95, pr-95, ACM-90, ACM-91, ACM-92, ACM-92, ACM-93, ACM-93, AI+SOFTENG-86, Asplos-87, Barstow, Biswas, CAV-92, CAV-93, ESEPC, Glinert, Glinert, Heldal, Huet, Huet, Hughes, IEEE-90, IEEE-93, Jeuring, KBSE-94, LFP, Lauer, Lowry, Main, Maluszynski, Morgenbrod, POPL-94, Partridge, SIGPLAN-87, SR-94, TACS-91, TAPSOFT-91, TLCA-95, Tap, VL-91, VL-92, Veni, Winkler, Wippermann, acm-81, acm-82, acm2, acm, ad-95, es-95, fun-94, sr-89, tap-95.
LIDOS offers in addition a database of so-called PBIR's (Persistent Bibliographic Information Record). The BibTeX file corresponding to the PBIR database may also be retrieved: