%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Bernhard Nebel",
%%%     version         = "1.03",
%%%     date            = "08 September 1996",
%%%     time            = "06:32:36 MDT",
%%%     filename        = "nebel-bernhard.bib",
%%%     address         = "University of Ulm
%%%                        Department of Artificial Intelligence
%%%                        Oberer Eselsberg
%%%                        D-89069 Ulm
%%%                        Germany",
%%%     telephone       = "+49/731/502-4122",
%%%     FAX             = "+49/731/502-4119",
%%%     URL             = "http://www.informatik.uni-ulm.de/ki/Personen/bn.html",
%%%     checksum        = "35617 1675 6314 67489",
%%%     email           = "nebel at ki.informatik.uni-ulm.de (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "Knowledge Representation and Reasoning",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Bernhard Nebel.  The companion LaTeX file
%%%                        nebel-bernhard.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access on ftp.math.utah.edu in the
%%%                        directory tree /pub/bibnet/authors.  It is
%%%                        mirrored to netlib.bell-labs.com in the directory
%%%                        tree /netlib/bibnet/authors, from which it is
%%%                        available via anonymous ftp and the Netlib
%%%                        service.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{
    "\hyphenation{
        Ber-lin
        Christ-all-er
        Forsch-ungs-stelle
        Joch-en
        Pretsch-ner
        Tok-yo
        Wahlst-er
    }"
}

%%----------------------------------------------------------------------
%% Journal abbreviations:

@String{j-AI-MAGAZINE           = "The AI Magazine"}

@String{j-APPL-INTELL           = "Applied Intelligence"}

@String{j-ART-INTELL            = "Artificial Intelligence"}

@String{j-COMP-INTELL           = "Computational Intelligence"}

@String{j-DATA-KNOWLEDGE-ENG    = "Data and Knowledge Engineering"}

@String{j-J-ACM                 = "Journal of the ACM"}

@String{j-J-LOGIC-LANGUAGE-INFO = "Journal of Logic, Language, and
                                  Information"}

@String{j-KUNSTLICHE-INTELLIGENZ = "K{\"u}nstliche Intelligenz"}

%%----------------------------------------------------------------------
%% Publisher abbreviations:

@String{pub-AW                  = "Addison-Wesley Publishing Company"}
@String{pub-AW:adr              = "Reading, MA, USA"}

@String{pub-CUP                 = "Cambridge University Press"}
@String{pub-CUP:adr             = "Cambridge, UK"}

@String{pub-MIT                 = "MIT Press"}
@String{pub-MIT:adr             = "Cambridge, MA, USA"}

@String{pub-MORGAN-KAUFMANN     = "Morgan Kaufmann"}
@String{pub-MORGAN-KAUFMANN:adr = "San Mateo"}

@String{pub-NH                  = "North-Holland"}
@String{pub-NH:adr              = "Amsterdam, The Netherlands"}

@String{pub-SPRINGER            = "Springer-Verlag"}
@String{pub-SPRINGER:adr        = "Berlin, Heidelberg, New York, Tokyo"}

@String{pub-SUCSLI              = "Stanford University Center for the Study of
                                  Language and Information"}
@String{pub-SUCSLI:adr          = "Stanford, CA, USA"}

@String{pub-WILEY               = "Wiley"}
@String{pub-WILEY:adr           = "New York, NY, USA"}

@String{pub-WILLIAM-KAUFMANN    = "William Kaufmann"}
@String{pub-WILLIAM-KAUFMANN:adr = "Karlsruhe, Germany"}

%%----------------------------------------------------------------------
%% Bibliography entries:

@TechReport{Mittelstein:1976:HPS,
  author =       "Michael Mittelstein and Bernhard Nebel and Bernd
                 Pretschner and Peter Schefe",
  title =        "{{HASY} --- ein {Programm} zur syntaktischen Analyse
                 nat{\"u}rlicher Sprache}",
  type =         "Mitteilung",
  number =       "IfI-HH-M36/76",
  institution =  "{Institut} f{\"u}r {Informatik}, {Universit\"a}t
                 Hamburg",
  address =      "Hamburg, Germany",
  month =        oct,
  year =         "1976",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1976:EDP,
  author =       "Bernhard Nebel and Bernd Pretschner",
  title =        "{Erweiterung des {DECSystem-10 PASCAL-Compilers}
                 um eine {M\"oglichkeit} zur {Erzeugung} eines
                 {Post-Mortem}-Dump}",
  type =         "Mitteilung",
  number =       "IfI-HH-M34/76",
  institution =  "{Institut} f{\"u}r {Informatik}, {Universit\"a}t
                 Hamburg",
  address =      "Hamburg, Germany",
  month =        jun,
  year =         "1976",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Bruegge:1979:OED,
  author =       "Bernd Br{\"u}gge and Klaus M{\"u}hle and Bernhard
                 Nebel and Helmut Faasch und Hans-Hellmut Nagel",
  title =        "{Optimierung und {Erweiterung} des {DECSystem-10}
                 {PASCAL Compilers}}",
  type =         "Mitteilung",
  number =       "IfI-HH-M65/79",
  institution =  "{Institut} f{\"u}r {Informatik}, {Universit\"a}t
                 Hamburg",
  address =      "Hamburg, Germany",
  month =        feb,
  year =         "1979",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1980:WAA,
  author =       "Bernhard Nebel",
  title =        "{Weiterf{\"u}hrende {Arbeiten} am
                 {COPANET-Compiler}: {Realisierung} der verdeckten
                 {Interrechner-Kommunikation} im {COPANET}}",
  type =         "Bericht",
  number =       "IfI-HH-B-71/80",
  institution =  "{Institut} f{\"u}r {Informatik}, {Universit\"a}t
                 Hamburg",
  address =      "Hamburg, Germany",
  month =        jun,
  year =         "1980",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InCollection{Nebel:1982:NSHa,
  author =       "Bernhard Nebel and Heinz Marburger",
  editor =       "J. Nehmer",
  booktitle =    "{GI-12.\ Jahrestagung}",
  title =        "{Das nat{\"u}rlichsprachliche {System HAM-ANS}:
                 {Intelligenter Zugriff} auf heterogene {Wissens-} und
                 {Datenbasen}}",
  publisher =    pub-SPRINGER,
  address =      "Berlin, Heidelberg, New York",
  pages =        "392--402",
  year =         "1982",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  nocopy =       "(Kein Manuskript)",
}

@TechReport{Nebel:1982:NSHb,
  author =       "Bernhard Nebel and Heinz Marburger",
  title =        "{Das nat{\"u}rlichsprachliche {System HAM-ANS}:
                 {Intelligenter Zugriff} auf heterogene {Wissens-} und
                 {Datenbasen}}",
  type =         "Bericht",
  number =       "ANS-7",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  year =         "1982",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Published as \cite{Nebel:1982:NSHa}",
}

@TechReport{Nebel:1982:SHA,
  author =       "Bernhard Nebel",
  title =        "{Der {Systemrahmen} von {HAM-ANS}}",
  type =         "Memo",
  number =       "ANS-7",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz",
  address =      "Hamburg, Germany",
  month =        mar,
  year =         "1982",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Christaller:1983:WNZ,
  author =       "Thomas Christaller and Walther von Hahn and Wolfgang
                 Hoeppner and Heinz Marburger and Katharina Morik and
                 Bernhard Nebel and Wolfgang Wahlster",
  title =        "{Wissensbasierter nat{\"u}rlichsprachlicher {Zugang}
                 zu unterschiedlichen {Diskursbereichen} mit dem
                 {KI}-System {HAM-ANS}}",
  type =         "Bericht",
  number =       "ANS-12",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  year =         "1983",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Dannenberg:1983:DSF,
  author =       "Rolf Dannenberg and Bernhard Nebel",
  title =        "{Eine dynamische {Speicherallokationsstrategie}
                 f{\"u}r {UCI-LISP}}",
  type =         "Memo",
  number =       "ANS-20",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  month =        nov,
  year =         "1983",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Hoeppner:1983:BDIa,
  author =       "Wolfgang Hoeppner and Thomas Christaller and Heinz
                 Marburger and Katharina Morik and Bernhard Nebel and
                 Michael O'Leary and Wolfgang Wahlster",
  booktitle =    "Proceedings of the 8th International Joint Conference
                 on Artificial Intelligence",
  title =        "Beyond Domain-Independence: Experience with the
                 development of a {German} Natural Language Access
                 System to Highly Diverse Background Systems",
  publisher =    pub-WILLIAM-KAUFMANN,
  address =      pub-WILLIAM-KAUFMANN:adr,
  pages =        "115--121",
  month =        Aug,
  year =         "1983",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  nocopy =       "(Kein Manuskript)",
}

@TechReport{Hoeppner:1983:BDIb,
  author =       "Wolfgang Hoeppner and Thomas Christaller and Heinz
                 Marburger and Katharina Morik and Bernhard Nebel and
                 Michael O'Leary and Wolfgang Wahlster",
  title =        "Beyond Domain-Independence: Experience with the
                 development of a {German} Natural Language Access
                 System to Highly Diverse Background Systems",
  type =         "Bericht",
  number =       "ANS-16",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  month =        apr,
  year =         "1983",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  bibnote =      "Published as \cite{Hoeppner:1983:BDIa}",
}

@InCollection{Marburger:1983:NDHa,
  author =       "Heinz Marburger and Bernhard Nebel",
  editor =       "J. W. Schmidt",
  booktitle =    "{Sprachen f{\"u}r Datenbanken}",
  title =        "{Nat{\"u}rlichsprachlicher {Datenbankzugang} mit
                 {HAM-ANS}: {Syntaktische Korrespondenz},
                 nat{\"u}rlichsprachliche {Quantifizierung} und
                 semantisches {Modell} des {Diskursbereiches}}",
  publisher =    pub-SPRINGER,
  address =      "Berlin, Heidelberg, New York",
  pages =        "26--41",
  year =         "1983",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  nocopy =       "(Kein Manuskript)",
}

@TechReport{Marburger:1983:NDHb,
  author =       "Heinz Marburger and Bernhard Nebel",
  title =        "{Nat{\"u}rlichsprachlicher {Datenbankzugang} mit
                 {HAM-ANS}: {Syntaktische Korrespondenz},
                 nat{\"u}rlichsprachliche {Quantifizierung} und
                 semantisches {Modell} des {Diskursbereiches}}",
  type =         "Bericht",
  number =       "ANS-22",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  month =        sep,
  year =         "1983",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Published as \cite{Marburger:1983:NDHa}",
}

@InProceedings{Nebel:1983:LSa,
  author =       "Bernhard Nebel",
  editor =       "B. Neumann",
  booktitle =    "GWAI-83. 7th German Workshop on Artificial
                 Intelligence",
  title =        "Ist {LISP} eine `langsame' {Sprache}?",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "21--30",
  month =        sep,
  year =         "1983",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  nocopy =       "(Kein Manuskript)",
}

@TechReport{Nebel:1983:LSb,
  author =       "Bernhard Nebel",
  title =        "{Ist {LISP} eine `langsame' {Sprache}?}",
  type =         "Memo",
  number =       "ANS-13",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  month =        feb,
  year =         "1983",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "A short version has been published as
                 \cite{Nebel:1983:LSa}",
}

@TechReport{Hoeppner:1984:DHAa,
  author =       "Wolfgang Hoeppner and Stephan Busemann and Thomas
                 Christaller and Heinz Marburger and Katharina Morik and
                 Bernhard Nebel",
  title =        "Dialoging {HAM-ANS}: Commented Terminal Sessions with
                 a Natural Language System --- {Part I}: Hotel
                 Reservation Situation",
  type =         "Memo",
  number =       "ANS-23",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  year =         "1984",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Hoeppner:1984:DHAb,
  author =       "Wolfgang Hoeppner and Stephan Busemann and Thomas
                 Christaller and Heinz Marburger and Katharina Morik and
                 Bernhard Nebel",
  title =        "Dialoging {HAM-ANS}: Commented Terminal Sessions with
                 a Natural Language System --- {Part II}: Traffic
                 Scene",
  type =         "Memo",
  number =       "ANS-23",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  year =         "1984",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Hoeppner:1984:DHAc,
  author =       "Wolfgang Hoeppner and Stephan Busemann and Thomas
                 Christaller and Heinz Marburger and Katharina Morik and
                 Bernhard Nebel",
  title =        "Dialoging {HAM-ANS:} Commented Terminal Sessions with
                 a Natural Language System --- {Part III}: Data Base
                 Access",
  type =         "Memo",
  number =       "ANS-23",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  year =         "1984",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Marburger:1984:HAT,
  author =       "Heinz Marburger and Katharina Morik and Bernhard
                 Nebel",
  title =        "{HAM-ANS on Tour: Bericht {\"u}ber eine USA-Reise}",
  type =         "Memo",
  number =       "ANS-24",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  year =         "1984",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1984:UUL,
  author =       "Bernhard Nebel",
  title =        "{ULM: Ein UCI-LISP --- Lispmaschinen-LISP
                 {\"U}bersetzungs-System}",
  type =         "Memo",
  number =       "ANS-22",
  institution =  "Forschungsstelle f{\"u}r Informationswissenschaft und
                 K{\"u}nstliche Intelligenz, Universit{\"a}t Hamburg",
  address =      "Hamburg, Germany",
  month =        jul,
  year =         "1984",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Luck:1985:BCI,
  author =       "Kai von Luck and Bernhard Nebel and Christof Peltason
                 and Albrecht Schmiedel",
  editor =       "H. Stoyan",
  booktitle =    "GWAI-85. 9th German Workshop on Artificial
                 Intelligence",
  title =        "{BACK} to Consistency and Incompleteness",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "245--257",
  month =        sep,
  year =         "1985",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  nocopy =       "(Kein Manuskript)",
}

@TechReport{Luck:1985:BS,
  author =       "Kai von Luck and Bernhard Nebel and Christof Peltason
                 and Albrecht Schmiedel",
  title =        "The {BACK} System",
  type =         "KIT Report",
  number =       "28",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        aug,
  year =         "1985",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  bibnote =      "A short version has been puplished as
                 \cite{Luck:1985:BCI}",
  keywords =     "kl-one, system, back",
  location =     "BN report",
}

@Article{Nebel:1985:HWDa,
  author =       "Bernhard Nebel",
  title =        "How well does a vanilla loop fit into a frame?",
  journal =      j-DATA-KNOWLEDGE-ENG,
  volume =       "1",
  number =       "2",
  pages =        "181--194",
  year =         "1985",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1985:HWDb,
  author =       "Bernhard Nebel",
  title =        "How well does a vanilla loop fit into a frame?",
  type =         "KIT Report",
  number =       "30",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        oct,
  year =         "1985",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Published as \cite{Nebel:1985:HWDa}",
}

@TechReport{Nebel:1985:NGK,
  author =       "Bernhard Nebel and Norman K. Sondheimer",
  title =        "{NIGEL} Gets to Know Logic: An Experiment in Natural
                 Language Generation Taking a Logical, Knowledge-Based
                 View",
  type =         "KIT Report",
  number =       "36",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        jul,
  year =         "1985",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Published as \cite{Nebel:1986:NGK}",
}

@TechReport{Nebel:1985:PWL,
  author =       "Bernhard Nebel",
  title =        "{Papiere zum {Workshop} ``{Logisches Programmieren}
                 und {Lisp}''}",
  type =         "KIT Report",
  number =       "31",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        dec,
  year =         "1985",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Nebel:1986:NGK,
  author =       "Bernhard Nebel and Norman K. Sondheimer",
  editor =       "C.-R. Rollinger and W. Horn",
  booktitle =    "GWAI-86 und 2.\ {\"O}sterreichische
                 Artificial-Intelligence-Tagung",
  title =        "{NIGEL} Gets to Know Logic: An Experiment in Natural
                 Language Generation Taking a Logical, Knowledge-Based
                 View",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "75--86",
  month =        sep,
  year =         "1986",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Schmiedel:1986:PCS,
  author =       "Albrecht Schmiedel and Kai von Luck and Bernhard Nebel
                 and Christof Peltason",
  title =        "\,`{Bitter Pills}': {A} Case Study in Knowledge
                 Representation",
  type =         "KIT Report",
  number =       "39",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        Aug,
  year =         "1986",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Sondheimer:1986:LFKa,
  author =       "Norman K. Sondheimer and Bernhard Nebel",
  booktitle =    "Proceedings of the 5th National Conference of the
                 American Association for Artificial Intelligence",
  title =        "A Logical-Form and Knowledge-Base Design for Natural
                 Language Generation",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      "Philadelphia, PA",
  pages =        "612--618",
  month =        Aug,
  year =         "1986",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  nocopy =       "(Kein Manuskript)",
}

@TechReport{Sondheimer:1986:LFKb,
  author =       "Norman K. Sondheimer and Bernhard Nebel",
  title =        "A Logical-Form and Knowledge-Base Design for Natural
                 Language Generation",
  type =         "Reprint Series",
  number =       "ISI/RS-86-169",
  institution =  "University of Southern California, Information Science
                 Institute",
  address =      "Marina del Rey, CA",
  month =        nov,
  year =         "1986",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Reprint of \cite{Sondheimer:1986:LFKa}",
}

@TechReport{Luck:1987:ABS,
  author =       "Kai von Luck and Bernhard Nebel and Christof Peltason
                 and Albrecht Schmiedel",
  title =        "The Anatomy of the {BACK} System",
  type =         "KIT Report",
  number =       "41",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        Jan,
  year =         "1987",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  keywords =     "kl-one, system, back",
  location =     "BN report",
}

@TechReport{Nebel:1987:CCT,
  author =       "Bernhard Nebel",
  title =        "Computational Complexity of Terminological Reasoning
                 in {BACK}",
  type =         "KIT Report",
  number =       "43",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        apr,
  year =         "1987",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Published as \cite{Nebel:1988:CCT}",
}

@InProceedings{Nebel:1987:IIBa,
  author =       "Bernhard Nebel and Kai von Luck",
  editor =       "K. Morik",
  booktitle =    "GWAI-87. 11th German Workshop on Artificial
                 Intelligence",
  title =        "Issues of Integration and Balancing in Hybrid
                 Knowledge Representation Systems",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "114--123",
  month =        sep,
  year =         "1987",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1987:IIBb,
  author =       "Bernhard Nebel and Kai von Luck",
  title =        "Issues of Integration and Balancing in Hybrid
                 Knowledge Representation Systems",
  type =         "KIT Report",
  number =       "46",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        jul,
  year =         "1987",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Published as \cite{Nebel:1987:IIBa}",
}

@TechReport{Nebel:1987:TC,
  author =       "Bernhard Nebel",
  title =        "On Terminological Cycles",
  type =         "KIT Report",
  number =       "58",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        nov,
  year =         "1987",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Peltason:1987:UGB,
  author =       "Christof Peltason and Kai von Luck and Bernhard Nebel
                 and Albrecht Schmiedel",
  title =        "The User's Guide to the {BACK} System",
  type =         "KIT Report",
  number =       "42",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  month =        Jan,
  year =         "1987",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InCollection{Luck:1988:SAK,
  author =       "Kai von Luck and Bernhard Nebel and Hans-Jochen
                 Schneider",
  editor =       "G. Rahmstorf",
  booktitle =    "Wissensrepr{\"a}sentation in Expertensystemen",
  title =        "Some Aspects of Knowledge-Base Management Systems",
  publisher =    pub-SPRINGER,
  address =      "Berlin, Heidelberg, New York",
  pages =        "146--157",
  year =         "1988",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  nocopy =       "(Kein Manuskript)",
}

@Article{Nebel:1988:CCT,
  author =       "Bernhard Nebel",
  title =        "Computational Complexity of Terminological Reasoning
                 in {BACK}",
  journal =      j-ART-INTELL,
  volume =       "34",
  number =       "3",
  pages =        "371--383",
  month =        Apr,
  year =         "1988",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-aij88.ps.gz",
  keywords =     "kl-one, complexity, back",
}

@InProceedings{Nebel:1988:HRB,
  author =       "Bernhard Nebel and Kai von Luck",
  editor =       "Z. W. Ras and L. Saitta",
  booktitle =    "Proceedings of the Third International Symposium on
                 Methodologies for Intelligent systems",
  title =        "Hybrid Reasoning in {BACK}",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "260--269",
  month =        Oct,
  year =         "1988",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@Article{Kobsa:1989:BWF,
  author =       "Alfred Kobsa and Bernhard Nebel",
  title =        "Bericht {\"u}ber den {Workshop} on {Formal Aspects}
                 of {Semantic Networks}",
  journal =      j-KUNSTLICHE-INTELLIGENZ,
  volume =       "89/2",
  pages =        "28--28",
  year =         "1989",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Nebel:1989:KLAa,
  author =       "Bernhard Nebel",
  editor =       "R. Brachman and H. J. Levesque and R. Reiter",
  booktitle =    "Principles of Knowledge Representation and Reasoning:
                 Proceedings of the 1st International Conference",
  title =        "A Knowledge Level Analysis of Belief Revision",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "301--311",
  month =        May,
  year =         "1989",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1989:KLAb,
  author =       "Bernhard Nebel",
  title =        "A Knowledge Level Analysis of Belief Revision",
  type =         "IWBS Report",
  number =       "69",
  institution =  "IWBS, IBM Germany",
  address =      "Stuttgart, Germany",
  year =         "1989",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1989:RRA,
  author =       "Bernhard Nebel and Gert Smolka",
  title =        "Representation and Reasoning with Attributive
                 Descriptions",
  type =         "{IWBS} Report",
  number =       "81",
  institution =  "IWBS, IBM Germany",
  address =      "Stuttgart, Germany",
  year =         "1989",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1989:TRI,
  author =       "Bernhard Nebel",
  title =        "Terminological Reasoning is Inherently Intractable",
  type =         "IWBS Report",
  number =       "82",
  institution =  "IWBS, IBM Germany",
  address =      "Stuttgart, Germany",
  year =         "1989",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Nebel:1989:WHH,
  author =       "Bernhard Nebel",
  editor =       "F. Gardin and G. Mauri and M. G. Filippini",
  booktitle =    "Proceedings of the International Symposium on
                 Computational Intelligence '89",
  title =        "What is Hybrid in Hybrid Representation Systems?",
  publisher =    pub-NH,
  address =      pub-NH:adr,
  pages =        "217--228",
  month =        sep,
  year =         "1989",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Baader:1990:TKR,
  author =       "Franz Baader and Hans-J{\"u}rgen B{\"u}rckert and
                 Jochen Heinsohn and Bernhard Hollunder and J{\"u}rgen
                 M{\"u}ller and Bernhard Nebel and Werner Nutt and
                 Hans-J{\"u}rgen Profitlich",
  title =        "Terminological {Knowledge Representation}: {A}
                 Proposal for a Terminological Logic",
  type =         "{DFKI Technical Memo}",
  number =       "TM-90-04",
  institution =  "Saarbr{\"u}cken, Germany",
  year =         "1990",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "A revised version has been published in
                 \cite{Nebel:1991:IWT}",
}

@TechReport{Bergamaschi:1990:TFC,
  author =       "Sonia Bergamaschi and Bernhard Nebel",
  title =        "Theoretical Foundations of Complex Object Data
                 Models",
  number =       "74",
  institution =  "{CIOC-CNR}",
  address =      "Bologna, Italy",
  month =        Dec,
  year =         "1990",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InCollection{Nebel:1990:RRA,
  author =       "Bernhard Nebel and Gert Smolka",
  editor =       "K.-H. Bl{\"a}sius and U. Hedtst{\"u}ck and C.-R.
                 Rollinger",
  booktitle =    "Sorts and Types in Artificial Intelligence",
  title =        "Representation and Reasoning with Attributive
                 Descriptions",
  volume =       "418",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "112--139",
  year =         "1990",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  series =       "Lecture Notes in Artificial Intelligence",
}

@Book{Nebel:1990:RRH,
  author =       "Bernhard Nebel",
  title =        "Reasoning and Revision in Hybrid Representation
                 Systems",
  volume =       "422",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "x + 270",
  year =         "1990",
  ISBN =         "0-387-52443-6 (US), 3-540-52443-6 (Germany)",
  LCCN =         "Q335 .N43 1990",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  series =       "Lecture Notes in Artificial Intelligence",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/reprint.ps.gz",
}

@Article{Nebel:1990:TRI,
  author =       "Bernhard Nebel",
  title =        "Terminological Reasoning is Inherently Intractable",
  journal =      j-ART-INTELL,
  volume =       "43",
  pages =        "235--249",
  year =         "1990",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-aij90.ps.gz",
}

@Article{Patel-Schneider:1990:TSL,
  author =       "Peter F. Patel-Schneider and Bernd Owsnicki-Klewe and
                 Alfred Kobsa and Nocola Guarino and Robert MacGregor
                 and William S. Mark and Deborah McGuinness and Bernhard
                 Nebel and Albrecht Schmiedel and John Yen",
  title =        "Term Subsumption Languages in Knowledge
                 Representation",
  journal =      j-AI-MAGAZINE,
  volume =       "11",
  number =       "2",
  pages =        "16--23",
  year =         "1990",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Baader:1991:EFL,
  author =       "Franz Baader and Hans-J{\"u}rgen B{\"u}rckert and
                 Bernhard Nebel and Werner Nutt and Gert Smolka",
  title =        "On the Expressivity of Feature Logics with Negation,
                 Functional Uncertainty, and Sort Equations",
  type =         "{DFKI Research Report}",
  number =       "RR-91-01",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  month =        Jan,
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Revised version published in {\em Journal of Logic,
                 Language, and Information}",
}

@InProceedings{Heinsohn:1991:IAR,
  author =       "Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich",
  editor =       "C. Peltason and K. von Luck and C. Kindermann",
  booktitle =    "Terminological Logic Users Workshop --- Proceedings;
                 KIT Report 95",
  title =        "Integration of Action Representation in Terminological
                 Logics",
  publisher =    "KIT Group, Department of Computer Science, TU Berlin",
  address =      "Berlin, Germany",
  pages =        "117",
  month =        dec,
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InCollection{Nebel:1991:ADFa,
  author =       "Bernhard Nebel and Gert Smolka",
  editor =       "Otthein Herzog and Claus-Rainer Rollinger",
  booktitle =    "Text Understanding in {LILOG}",
  title =        "Attributive Description Formalisms \ldots and the Rest
                 of the World",
  volume =       "546",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "439--452",
  year =         "1991",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  series =       "Lecture Notes in Artificial Intelligence",
}

@TechReport{Nebel:1991:ADFb,
  author =       "Bernhard Nebel and Gert Smolka",
  title =        "Attributive Description Formalisms \ldots and the Rest
                 of the World",
  type =         "{DFKI Research Report}",
  number =       "RR-91-15",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Nebel:1991:BRDa,
  author =       "Bernhard Nebel",
  editor =       "J. A. Allen and R. Fikes and E. Sandewall",
  booktitle =    "Principles of Knowledge Representation and Reasoning:
                 Proceedings of the 2nd International Conference",
  title =        "Belief Revision and Default Reasoning: Syntax-Based
                 Approaches",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "417--428",
  month =        Apr,
  year =         "1991",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1991:BRDb,
  author =       "Bernhard Nebel",
  title =        "Belief Revision and Default Reasoning: Syntax-Based
                 Approaches",
  type =         "{DFKI Research Report}",
  number =       "RR-91-11",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1991:CCT,
  author =       "Bernhard Nebel and Christer B{\"a}ckstr{\"o}m",
  title =        "On the Computational Complexity of Temporal Projection
                 and some Related Problems",
  type =         "Research Report",
  number =       "RR-91-34 (DFKI) and LiTH-IDA-R-91-34 (Univ.
                 Link{\"o}ping)",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI), Saarbr{\"u}cken, Germany, and Department of
                 Computer and Information Science, Link{\"o}ping
                 University, Link{\"o}ping, Sweden",
  month =        oct,
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  keywords =     "temporal, projection, complexity",
  location =     "BN report",
}

@TechReport{Nebel:1991:IWTa,
  author =       "Bernhard Nebel and Christof Peltason and Kai von
                 Luck",
  title =        "International Workshop on Terminological Logics",
  type =         "{DFKI Document}",
  number =       "D-91-13",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Also published as KIT Report 89, TU Berlin, and IWBS
                 Report 184, IBM Germany, Stuttgart",
}

@InCollection{Nebel:1991:TCS,
  author =       "Bernhard Nebel",
  editor =       "John F. Sowa",
  booktitle =    "Principles of Semantic Networks",
  title =        "Terminological Cycles: Semantics and Computational
                 Properties",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "331--362",
  year =         "1991",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InCollection{Nebel:1991:TRIa,
  author =       "Bernhard Nebel and Christof Peltason",
  editor =       "D. Karagianis",
  booktitle =    "Information Systems and Artificial Intelligence:
                 Integration Aspects",
  title =        "Terminological Reasoning and Information Management",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "181--212",
  year =         "1991",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1991:TRIb,
  author =       "Bernhard Nebel and Christof Peltason",
  title =        "Terminological Reasoning and Information Management",
  type =         "KIT Report",
  institution =  "Department of Computer Science, Technische
                 Universit{\"a}t Berlin",
  address =      "Berlin, Germany",
  year =         "1991",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Baader:1992:EAO,
  author =       "Franz Baader and Bernhard Hollunder and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich and Enrico Franconi",
  editor =       "B. Nebel and W. Swartout and C. Rich",
  booktitle =    "Principles of Knowledge Representation and Reasoning:
                 Proceedings of the 3rd International Conference",
  title =        "An Empirical Analysis of Optimization Techniques for
                 Terminological Representation Systems or ``Making
                 {KRIS} get a move on''",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "270--281",
  month =        Oct,
  year =         "1992",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Baeckstroem:1992:CCP,
  author =       "Christer B{\"a}ckstr{\"o}m and Bernhard Nebel",
  editor =       "B. Neumann",
  booktitle =    "Proceedings of the 10th European Conference on
                 Artificial Intelligence",
  title =        "On the Computational Complexity of Planning and Story
                 Understanding",
  publisher =    pub-WILEY,
  address =      pub-WILEY:adr,
  pages =        "349--353",
  month =        Aug,
  year =         "1992",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Heinsohn:1992:EATa,
  author =       "Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich",
  booktitle =    "Proceedings of the 10th National Conference of the
                 American Association for Artificial Intelligence",
  title =        "An Empirical Analysis of Terminological Representation
                 Systems",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "767--773",
  month =        Jul,
  year =         "1992",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "An extended and revised version of this paper has been
                 published in {\em Artificial Intelligence}",
}

@TechReport{Heinsohn:1992:EATb,
  author =       "Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich",
  title =        "An Empirical Analysis of Terminological Representation
                 Systems",
  type =         "{DFKI Research Report}",
  number =       "RR-92-16",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  year =         "1992",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "An extended and revised version of this paper has been
                 published in {\em Artificial Intelligence}",
}

@InProceedings{Nebel:1992:CCT,
  author =       "Bernhard Nebel and Christer B{\"a}ckstr{\"o}m",
  booktitle =    "Proceedings of the 10th National Conference of the
                 American Association for Artificial Intelligence",
  title =        "On the Computational Complexity of Temporal Projection
                 and Plan Validation",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "748--753",
  month =        Jul,
  year =         "1992",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "An extended and revised version of this paper has been
                 published in {\em Artificial Intelligence}",
}

@TechReport{Nebel:1992:PMV,
  author =       "Bernhard Nebel and Jana Koehler",
  title =        "Plan Modification versus Plan Generation: {A}
                 Complexity-Theoretic Perspective",
  type =         "{DFKI Research Report}",
  number =       "RR-92-48",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  month =        nov,
  year =         "1992",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InCollection{Nebel:1992:SBA,
  author =       "Bernhard Nebel",
  editor =       "P. G{\"a}rdenfors",
  booktitle =    "Belief Revision",
  title =        "Syntax-based approaches to belief revision",
  volume =       "29",
  publisher =    pub-CUP,
  address =      pub-CUP:adr,
  pages =        "52--88",
  year =         "1992",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  series =       "Cambridge Tracts in Theoretical Computer Science",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-br92.ps.gz",
}

@TechReport{Andre:1993:PPB,
  author =       "Elisabeth Andr{\'e} and Winfried Graf and Jochen
                 Heinsohn and Bernhard Nebel and Hans-J{\"u}rgen
                 Profitlich and Thomas Rist and Wolfgang Wahlster",
  title =        "{$\cal PPP$}: Personalized Plan-Based Presenter ---
                 {Project Proposal}",
  type =         "{DFKI Document}",
  number =       "D-93-05",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  month =        may,
  year =         "1993",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Baader:1993:EAO,
  author =       "Franz Baader and Bernhard Hollunder and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich and Enrico Franconi",
  title =        "An Empirical Analysis of Optimization Techniques for
                 Terminological Representation Systems or ``Making
                 {KRIS} get a move on''",
  type =         "{DFKI Research Report}",
  number =       "RR-93-03",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  month =        Feb,
  year =         "1993",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Revised version published in {\em Applied
                 Intelligence}",
}

@Article{Baader:1993:EFL,
  author =       "Franz Baader and Hans-J{\"u}rgen B{\"u}rckert and
                 Bernhard Nebel and Werner Nutt and Gert Smolka",
  title =        "On the Expressivity of Feature Logics with Negation,
                 Functional Uncertainty, and Sort Equations",
  journal =      j-J-LOGIC-LANGUAGE-INFO,
  volume =       "2",
  pages =        "1--18",
  year =         "1993",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/baader-et-al-jlli93.ps.gz",
}

@InProceedings{Baeckstroem:1993:CRSa,
  author =       "Christer B{\"a}ckstr{\"o}m and Bernhard Nebel",
  booktitle =    "Proceedings of the 13th International Joint Conference
                 on Artificial Intelligence",
  title =        "Complexity Results for {SAS$^{+}$} Planning",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "1430--1435",
  month =        Aug,
  year =         "1993",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "A long version of this paper has been published in
                 {\em Computational Intelligence}",
}

@TechReport{Baeckstroem:1993:CRSb,
  author =       "Christer B{\"a}ckstr{\"o}m and Bernhard Nebel",
  title =        "Complexity Results for {SAS$^{+}$} Planning",
  type =         "Research Report",
  number =       "LiTH-IDA-R-93-34",
  institution =  "Department of Computer and Information Science,
                 Link{\"o}ping University, Link{\"o}ping, Sweden",
  year =         "1993",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "A revised version of this paper has been published in
                 {\em Computational Intelligence}",
}

@InProceedings{Nebel:1993:PMV,
  author =       "Bernhard Nebel and Jana Koehler",
  booktitle =    "Proceedings of the 13th International Joint Conference
                 on Artificial Intelligence",
  title =        "Plan Modification versus Plan Generation: {A}
                 Complexity-Theoretic Perspective",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "1436--1441",
  month =        Aug,
  year =         "1993",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@TechReport{Nebel:1993:PRV,
  author =       "Bernhard Nebel and Jana Koehler",
  title =        "Plan Reuse versus Plan Generation: {A} Theoretical and
                 Empirical Analysis",
  type =         "{DFKI Research Report}",
  number =       "RR-93-33",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  year =         "1993",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "A revised and extended version was published in {\em
                 Artificial Intelligence}, Special Issue on Planning and
                 Scheduling",
}

@TechReport{Nebel:1993:RAT,
  author =       "Bernhard Nebel and Hans-J{\"u}rgen B{\"u}rckert",
  title =        "Reasoning about Temporal Relations: {A} Maximal
                 Tractable Subclass of {Allen}'s Interval Algebra",
  type =         "{DFKI Research Report}",
  number =       "RR-93-11",
  institution =  "German Research Center for Artificial Intelligence
                 (DFKI)",
  address =      "Saarbr{\"u}cken, Germany",
  month =        Mar,
  year =         "1993",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "A revised version was published in {\em JACM}",
}

@InCollection{Owsnicki-Klewe:1993:WLE,
  author =       "Bernd Owsnicki-Klewe and Kai von Luck and Bernhard
                 Nebel",
  editor =       "G. G{\"o}rz",
  booktitle =    "Ein\-f{\"u}h\-rung in die {K{\"u}nst\-li\-che}
                 {In\-tel\-li\-genz}",
  title =        "{Wissensrepr{\"a}sentation und {Logik} --- {Eine}
                 {Einf{\"u}hrung}}",
  chapter =      "1.1",
  publisher =    pub-AW,
  address =      pub-AW:adr,
  pages =        "3--54",
  year =         "1993",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Padgham:1993:CCN,
  author =       "Lin Padgham and Bernhard Nebel",
  editor =       "J. Komorowski and Z. W. Ras",
  booktitle =    "Proceedings of the Seventh International Symposium on
                 Methodologies for Intelligent systems",
  title =        "Combining Classification and Nonmonotonic Inheritance
                 Reasoning: {A} First Step",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "132--141",
  month =        Jun,
  year =         "1993",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@Article{Baader:1994:EAO,
  author =       "Franz Baader and Bernhard Hollunder and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich and Enrico Franconi",
  title =        "An Empirical Analysis of Optimization Techniques for
                 Terminological Representation Systems or ``Making
                 {KRIS} get a move on''",
  journal =      j-APPL-INTELL,
  volume =       "4",
  number =       "2",
  pages =        "109--132",
  month =        may,
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/baader-etal-applied-intelligence-94.ps",
}

@Article{Bergamaschi:1994:ABV,
  author =       "Sonia Bergamaschi and Bernhard Nebel",
  title =        "Automatic Building and Validation of Complex Object
                 Database Schemata Supporting Multiple Inheritance",
  journal =      j-APPL-INTELL,
  volume =       "4",
  number =       "2",
  pages =        "185--204",
  month =        may,
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/bergamaschi-nebel-applied-intelligence-94.ps",
}

@Article{Heinsohn:1994:EAT,
  author =       "Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich",
  title =        "An Empirical Analysis of Terminological Representation
                 Systems",
  journal =      j-ART-INTELL,
  volume =       "68",
  number =       "2",
  pages =        "367--397",
  month =        aug,
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/heinsohn-etal-aij-94.ps",
}

@InCollection{Lakemeyer:1994:FKRb,
  author =       "Gerhard Lakemeyer and Bernhard Nebel",
  title =        "Foundations of Knowledge Representation: {A} Guide to
                 the Volume",
  crossref =     "Lakemeyer:1994:FKRa",
  pages =        "1--12",
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/lakemeyer-nebel-94.ps.gz",
}

@InProceedings{Nebel:1994:BRO,
  author =       "Bernhard Nebel",
  booktitle =    "Proceedings of the 11th European Conference on
                 Artificial Intelligence",
  title =        "Base Revision Operations and Schemes: Semantics,
                 Representation, and Complexity",
  publisher =    pub-WILEY,
  address =      pub-WILEY:adr,
  pages =        "341--345",
  month =        Aug,
  year =         "1994",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-ecai-94.ps",
}

@Article{Nebel:1994:CCT,
  author =       "Bernhard Nebel and Christer B{\"a}ckstr{\"o}m",
  title =        "On the Computational Complexity of Temporal
                 Projection, Planning, and Plan Validation",
  journal =      j-ART-INTELL,
  volume =       "66",
  number =       "1",
  pages =        "125--160",
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-backstrom-aij-94.ps",
}

@InCollection{Nebel:1994:MQT,
  author =       "Bernhard Nebel and Hans-J{\"u}rgen B{\"u}rckert",
  editor =       "K. von Luck and H. Marburger",
  booktitle =    "Management and Processing of Complex Data Structures",
  title =        "Managing Qualitative Temporal Information:
                 Expressiveness vs. Complexity",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "104--117",
  year =         "1994",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@InProceedings{Nebel:1994:RAT,
  author =       "Bernhard Nebel and Hans-J{\"u}rgen B{\"u}rckert",
  booktitle =    "Proceedings of the 12th National Conference of the
                 American Association for Artificial Intelligence",
  title =        "Reasoning about Temporal Relations: {A} Maximal
                 Tractable Subclass of {Allen}'s Interval Algebra",
  publisher =    pub-MIT,
  address =      pub-MIT:adr,
  pages =        "356--361",
  month =        Jul,
  year =         "1994",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "Extended version published in {\em Journal of the
                 ACM}",
}

@Article{Baeckstroem:1995:CRS,
  author =       "Christer B{\"a}ckstr{\"o}m and Bernhard Nebel",
  title =        "Complexity Results for {SAS$^{+}$} Planning",
  journal =      j-COMP-INTELL,
  volume =       "11",
  number =       "4",
  pages =        "625--655",
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/backstrom-nebel-ci-95.ps",
}

@InCollection{Nebel:1995:AIC,
  author =       "Bernhard Nebel",
  editor =       "G. Brewka",
  booktitle =    "Essentials in Knowledge Representation",
  title =        "Artificial Intelligence: {A} Computational
                 Perspective",
  publisher =    pub-SUCSLI,
  address =      pub-SUCSLI:adr,
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  note =         "To appear",
  series =       "Studies in Logic, Language and Information",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-lli93-book.ps",
}

@InProceedings{Nebel:1995:CPQ,
  author =       "Bernhard Nebel",
  editor =       "I. Wachsmuth and C.-R. Rollinger and W. Brauer",
  booktitle =    "KI-95: Advances in Artificial Intelligence",
  title =        "Computational Properties of Qualitative Spatial
                 Reasoning: {First} Results",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "233--244",
  year =         "1995",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}

@Article{Nebel:1995:KKI,
  author =       "Bernhard Nebel",
  title =        "{Komplexit{\"a}tsanalysen in der K{\"u}nstlichen
                 Intelligenz}",
  journal =      j-KUNSTLICHE-INTELLIGENZ,
  volume =       "95/2",
  pages =        "6--14",
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel94.ps",
}

@Article{Nebel:1995:PRV,
  author =       "Bernhard Nebel and Jana Koehler",
  title =        "Plan Reuse versus Plan Generation: {A} Theoretical and
                 Empirical Analysis",
  journal =      j-ART-INTELL,
  volume =       "76",
  number =       "(1-2)",
  pages =        "427--454",
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-koehler-aij95.ps",
}

@Article{Nebel:1995:RAT,
  author =       "Bernhard Nebel and Hans-J{\"u}rgen B{\"u}rckert",
  title =        "Reasoning about Temporal Relations: {A} Maximal
                 Tractable Subclass of {Allen}'s Interval Algebra",
  journal =      j-J-ACM,
  volume =       "42",
  number =       "1",
  pages =        "43--66",
  month =        jan,
  year =         "1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  URL =          "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-burckert-jacm95.ps",
}

@Proceedings{Nebel:1992:PKR,
  editor =       "B. Nebel and W. Swartout and C. Rich",
  title =        "Principles of Knowledge Representation and Reasoning:
                 Proceedings of the 3rd International Conference",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "xv + 791",
  month =        Oct,
  year =         "1992",
  ISBN =         "1-55860-262-3",
  ISSN =         "1046-9567",
  LCCN =         "Q387 .P76 1992",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  series =       "The Morgan Kaufmann series in representation and
                 reasoning",
}

@Proceedings{Nebel:1994:KAA,
  editor =       "B. Nebel and L. Dreschler-Fischer",
  title =        "{KI}-94: Advances in Artificial Intelligence",
  volume =       "861",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "x + 400",
  year =         "1994",
  ISBN =         "3-540-58467-6",
  LCCN =         "Q334 .G466 1994",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  series =       "Lecture notes in computer science",
}

@Book{Lakemeyer:1994:FKRa,
  editor =       "Gerhard Lakemeyer and Bernhard Nebel",
  booktitle =    "Foundations of Knowledge Representation",
  title =        "Foundations of Knowledge Representation",
  volume =       "810",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "viii + 355",
  year =         "1994",
  ISBN =         "0-387-58107-3 (US), 3-540-58107-3 (Germany)",
  LCCN =         "Q387 .F68 1994",
  bibdate =      "Fri Nov 24 12:10:06 MST 1995",
  bibsource =    "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
  series =       "Lecture Notes in Artificial Intelligence",
}

@InProceedings{Andre:1995:WMI,
  author =       "Elisabeth Andr{\'e} and Wolfgang Finkler and Winfried
                 Graf and Karin Harbusch and Anne {Heinsohn, Jochen,
                 Kilger} and Bernhard Nebel and Profitlich
                 Hans-J{\"u}rgen and Thomas Rist and Wolfgang Wahlster
                 and Andreas Butz and Anthony Jameson",
  booktitle =    "Proceedings of the 14th International Joint Conference
                 on Artificial Intelligence",
  title =        "{WIP}: From Multimedia to Intellimedia (Abstract of
                 Video)",
  publisher =    pub-MORGAN-KAUFMANN,
  address =      pub-MORGAN-KAUFMANN:adr,
  pages =        "2053--2054",
  month =        Aug,
  year =         "1995",
}

@InCollection{Nebel:1995:BRO,
  author =       "Bernhard Nebel",
  editor =       "G. della Riccia and R. Kruse and R. Viertl",
  booktitle =    "Mathematical and Statistical Methods in Artificial
                 Intelligence",
  title =        "Base Revision Operations and Schemes: Semantics,
                 Representation, and Complexity",
  publisher =    pub-SPRINGER,
  address =      pub-SPRINGER:adr,
  pages =        "157--170",
  year =         "1995",
  note =         "Revised version of \cite{Nebel:1994:BRO}.",
}

@InProceedings{Heinsohn:1992:RRA,
  author =       "Jochen Heinsohn and Daniel Kudenko and Bernhard Nebel
                 and Hans-J{\"u}rgen Profitlich",
  editor =       "J. Heinsohn and B. Hollunder",
  booktitle =    "DFKI Workshop on Taxonomic Reasoning --- Proceedings",
  title =        "{RAT} --- Representation of Actions using
                 Terminological Logics",
  number =       "D-92-08",
  publisher =    "DFKI, Saarbr{\"u}cken/Kaiserslautern, Germany",
  year =         "1992",
  series =       "DFKI Document",
  OPTpages =     "",
}

@InProceedings{Nebel:1992:TLR,
  author =       "Bernhard Nebel",
  editor =       "J. Heinsohn and B. Hollunder",
  booktitle =    "DFKI Workshop on Taxonomic Reasoning --- Proceedings",
  title =        "Terminological Logics and Representation Systems",
  number =       "D-92-08",
  publisher =    "DFKI, Saarbr{\"u}cken/Kaiserslautern, Germany",
  year =         "1992",
  series =       "DFKI Document",
  OPTpages =     "",
}

@InProceedings{Nebel:1992:CCK,
  author =       "Bernhard Nebel",
  booktitle =    "Workshop Notes of the AAAI'92 Workshop on ``Tractable
                 Reasoning''",
  title =        "Computational Complexity and {KR}\&{R}: Is Polynomial
                 Time All that Matters?",
  publisher =    "AAAI",
  address =      "San Jose, CA",
  pages =        "126--129",
  year =         "1992",
}

@InProceedings{Profitlich:1991:CAT,
  author =       "Hans-J{\"u}rgen Profitlich and Jochen Heinsohn and
                 Daniel Kudenko and Bernhard Nebel",
  booktitle =    "Working Notes of the AAAI Spring Symposium 1991 on
                 ``Implemented Knowledge Representation Systems''",
  title =        "A Comparative Analysis of Terminological
                 Representation Systems",
  publisher =    "AAAI",
  address =      "Stanford, CA",
  pages =        "347--360",
  year =         "1991",
  note =         "Preliminary version of \cite{Heinsohn:1994:EAT}",
}

@InProceedings{Nebel:1991:CMI,
  author =       "Bernhard Nebel",
  booktitle =    "Workshop Notes of the IJCAI'91 Workshop on ``Objects
                 and AI''",
  title =        "The Complexity of Multiple Inheritance in Complex
                 Object Data Models",
  publisher =    "IJCAI",
  address =      "Sydney, Australia",
  year =         "1991",
}

@InProceedings{Baader:1991:TKR,
  author =       "Franz Baader and Hans-J{\"u}rgen B{\"u}rckert and
                 Jochen Heinsohn and Bernhard Hollunder and J{\"u}rgen
                 M{\"u}ller and Bernhard Nebel and Werner Nutt and
                 Hans-J{\"u}rgen Profitlich",
  editor =       "B. Nebel and K. von Luck and C. Peltason",
  booktitle =    "International Workshop on Terminological Logics",
  title =        "Terminological Knowledge Representation: {A} proposal
                 for a Terminological Logic",
  publisher =    "DFKI",
  address =      "Dagstuhl, Germany",
  year =         "1991",
  note =         "This paper is a revised version of
                 \cite{Baader:1990:TKR}. The workshop proceedings have
                 been published as DFKI Document D-91-03, as KIT Report
                 89 and as IWBS Report 184",
}

@TechReport{Borgida:1995:PIW,
  author =       "Alexander Borgida and Maurizio Lenzerini and Daniele
                 Nardi and Bernhard Nebel",
  title =        "Proceedings of the International Workshop on
                 Description Logics",
  type =         "Rapporto",
  number =       "07.95",
  institution =  "Universita degli Studi di Roma ``La Sapienza'',
                 Dipartimento di Informatica e Sistemica",
  address =      "Rome, Italy",
  year =         "1995",
  URL =          "ftp://disparcs.dis.uniroma1.it/pub/DL-95/Proceedings.ps.gz",
}

@TechReport{Nebel:1991:IWTb,
  author =       "Bernhard Nebel and Christof Peltason and Kai von
                 Luck",
  title =        "International Workshop on Terminological Logics ---
                 Seminar Report",
  type =         "Dagstuhl-Seminar-Report",
  number =       "12 (9119)",
  institution =  "Schlo{\ss} Dagstuhl, Germany",
  year =         "1991",
}