@Preamble{
"\hyphenation{
Ber-lin
Christ-all-er
Forsch-ungs-stelle
Joch-en
Pretsch-ner
Tok-yo
Wahlst-er
}" #
"\def \ocirc #1{\ifmmode\setbox0=\hbox{$#1$}\dimen0=\ht0
\advance\dimen0 by1pt\rlap{\hbox to\wd0{\hss\raise\dimen0
\hbox{\hskip.2em$\scriptscriptstyle\circ$}\hss}}#1\else
{\accent"17 #1}\fi}"
}
@String{j-AI-MAGAZINE = "The AI Magazine"}
@String{j-APPL-INTELL = "Applied Intelligence"}
@String{j-ART-INTELL = "Artificial Intelligence"}
@String{j-COMPUT-INTELL = "Computational Intelligence"}
@String{j-COMP-J = "The Computer Journal"}
@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"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{pub-AW = "Addison-Wesley Publishing Company"}
@String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-CAMBRIDGE = "Cambridge University Press"}
@String{pub-CAMBRIDGE:adr = "Cambridge, UK"}
@String{pub-KLUWER = "Kluwer Academic Publishers"}
@String{pub-KLUWER:adr = "Norwell, MA, USA, and Dordrecht, The
Netherlands"}
@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-SUCSLI = "Stanford University Center for the Study of
Language and Information"}
@String{pub-SUCSLI:adr = "Stanford, CA, USA"}
@String{pub-SV = "Springer-Verlag"}
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/
London, UK~/ etc."}
@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"}
@String{ser-LNAI = "Lecture Notes in Artificial Intelligence"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@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",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@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 = "https://www.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 = "https://www.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 = "https://www.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-SV,
address = pub-SV:adr,
pages = "392--402",
year = "1982",
bibsource = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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-SV,
address = pub-SV:adr,
pages = "26--41",
year = "1983",
bibsource = "https://www.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 = "https://www.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-SV,
address = pub-SV,
pages = "21--30",
month = sep,
year = "1983",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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-SV,
address = pub-SV:adr,
pages = "245--257",
month = sep,
year = "1985",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.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 = "https://www.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",
CODEN = "DKENEW",
ISSN = "0169-023X (print), 1872-6933 (electronic)",
ISSN-L = "0169-023X",
bibsource = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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-SV,
address = pub-SV:adr,
pages = "75--86",
month = sep,
year = "1986",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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-SV,
address = pub-SV:adr,
pages = "114--123",
month = sep,
year = "1987",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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-SV,
address = "Berlin, Heidelberg, New York",
pages = "146--157",
year = "1988",
bibsource = "https://www.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",
CODEN = "AINTBB",
DOI = "https://doi.org/10.1016/0004-3702(88)90066-5",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
MRclass = "68T30",
MRnumber = "934601",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-aij88.ps.gz",
acknowledgement = ack-nhfb,
fjournal = "Artificial Intelligence. An International Journal",
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 = "https://www.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",
ISSN = "0933-1875",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}
@InProceedings{Nebel:1989:KLA,
author = "Bernhard Nebel",
editor = "R. Brachman and H. J. Levesque and R. Reiter",
booktitle = "{Proceedings of the First International Conference on
Principles of Knowledge Representation and Reasoning
(Toronto, ON, 1989)}",
title = "A Knowledge Level Analysis of Belief Revision",
publisher = pub-MORGAN-KAUFMANN,
address = pub-MORGAN-KAUFMANN:adr,
pages = "301--311",
month = May,
year = "1989",
MRclass = "68T99 (03B45 92A25)",
MRnumber = "1011061",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Morgan Kaufmann Ser. Represent. Reason.",
acknowledgement = ack-nhfb,
}
@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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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
({Eringerfeld}, 1989)}",
title = "Representation and Reasoning with Attributive
Descriptions",
volume = "418",
publisher = pub-SV,
address = pub-SV:adr,
pages = "112--139",
year = "1990",
MRclass = "68T30 (68T05)",
MRnumber = "1078257",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Lecture Notes in Artificial Intelligence",
acknowledgement = ack-nhfb,
}
@Book{Nebel:1990:RRH,
author = "Bernhard Nebel",
title = "Reasoning and Revision in Hybrid Representation
Systems",
volume = "422",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xii + 270",
year = "1990",
ISBN = "3-540-52443-6 (Berlin), 0-387-52443-6 (New York)",
ISBN-13 = "978-3-540-52443-4 (Berlin), 978-0-387-52443-6 (New
York)",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
LCCN = "Q335 .N43 1990",
MRclass = "68T30",
MRnumber = "1049873 (92g:68135)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = ser-LNAI # " and " # ser-LNCS,
URL = "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/reprint.ps.gz;
http://link.springer-ny.com/link/service/series/0558/tocs/t0422.htm;
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=422",
acknowledgement = ack-nhfb,
keywords = "artificial intelligence; knowledge, theory of;
reasoning",
xxpages = "x + 270",
}
@Article{Nebel:1990:TRI,
author = "Bernhard Nebel",
title = "Terminological Reasoning is Inherently Intractable",
journal = j-ART-INTELL,
volume = "43",
number = "2",
pages = "235--249",
year = "1990",
CODEN = "AINTBB",
DOI = "https://doi.org/10.1016/0004-3702(90)90087-G",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
MRclass = "68T30 (03B35 03D15 68Q25)",
MRnumber = "1056555 (91f:68194)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-aij90.ps.gz",
acknowledgement = ack-nhfb,
fjournal = "Artificial Intelligence. An International Journal",
}
@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",
CODEN = "AIMAEK",
ISSN = "0738-4602",
bibsource = "https://www.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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
note = "Revised version published in {\em Journal of Logic,
Language, and Information}",
}
@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",
bibdate = "Wed Sep 28 17:07:53 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
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",
acknowledgement = ack-nhfb,
}
@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 = "https://www.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-SV,
address = pub-SV:adr,
pages = "439--452",
year = "1991",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}
@InCollection{Nebel:1991:BRD,
author = "Bernhard Nebel",
booktitle = "{Principles of knowledge representation and reasoning
({Cambridge}, {MA}, 1991)}",
title = "Belief revision and default reasoning: syntax-based
approaches",
publisher = "Morgan Kaufmann",
address = "San Mateo, CA",
pages = "417--428",
year = "1991",
MRclass = "68T27 (03B45 03B60 68T30)",
MRnumber = "1142171",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Morgan Kaufmann Ser. Represent. Reason.",
acknowledgement = ack-nhfb,
}
@InProceedings{Nebel:1991:BRDb,
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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}
@TechReport{Nebel:1991:BRDa,
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 = "https://www.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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
keywords = "temporal, projection, complexity",
location = "BN report",
}
@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",
bibdate = "Wed Sep 28 17:07:53 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@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 = "https://www.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",
}
@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",
bibdate = "Wed Sep 28 17:07:53 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}
@InCollection{Nebel:1991:TRI,
author = "Bernhard Nebel and Christof Peltason",
booktitle = "{Information systems and artificial intelligence:
integration aspects ({Ulm}, 1990)}",
title = "Terminological reasoning and information management",
volume = "474",
publisher = pub-SV,
address = pub-SV:adr,
pages = "181--212",
year = "1991",
MRclass = "68T30",
MRnumber = "1103369",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Lecture Notes in Comput. Sci.",
acknowledgement = ack-nhfb,
}
@InCollection{Nebel:1991:TRIb,
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-SV,
address = pub-SV:adr,
pages = "181--212",
year = "1991",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}
@TechReport{Nebel:1991:TRIa,
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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}
@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",
bibdate = "Wed Sep 28 17:07:53 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
note = "Preliminary version of \cite{Heinsohn:1994:EAT}",
acknowledgement = ack-nhfb,
}
@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 = "https://www.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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
}
@InProceedings{Heinsohn:1992:EATb,
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 = "https://www.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:EATa,
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 = "https://www.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{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",
bibdate = "Wed Sep 28 17:07:50 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "DFKI Document",
acknowledgement = ack-nhfb,
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",
bibdate = "Wed Sep 28 17:07:53 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Nebel:1992:CCT,
author = "Bernhard Nebel and Christer B{\"a}ckstr{\"o}m",
booktitle = "{AAAI-92. Proceedings, Tenth National Conference on
Artificial Intelligence (San Jose, CA, 1992)}",
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",
MRclass = "68T27 (03B70)",
MRnumber = "1203145",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.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}",
acknowledgement = ack-nhfb,
}
@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 = "https://www.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-CAMBRIDGE,
address = pub-CAMBRIDGE:adr,
pages = "52--88",
year = "1992",
DOI = "https://doi.org/10.1017/CBO9780511526664.003",
MRclass = "68T30 (03B60 03B70)",
MRnumber = "1173424",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.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",
acknowledgement = ack-nhfb,
}
@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",
bibdate = "Wed Sep 28 17:07:53 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "DFKI Document",
acknowledgement = ack-nhfb,
OPTpages = "",
}
@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 = "https://www.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 = "https://www.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",
number = "1",
pages = "1--18",
year = "1993",
CODEN = "JLLIEN",
ISSN = "0925-8531",
ISSN-L = "0925-8531",
MRclass = "68Q50 (03B25 03B65 03D35 68S05)",
MRnumber = "1287084 (95e:68120)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.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",
acknowledgement = ack-nhfb,
fjournal = "Journal of Logic, Language and Information",
}
@TechReport{Backstrom:1993:CRSa,
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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
note = "A revised version of this paper has been published in
{\em Computational Intelligence}",
abstract = "We have previously reported a number of tractable
planning problems defined in the SAS+ formalism. This
report complements these results by providing a
complete map over the complexity of SAS+ planning under
all combinations of the previously considered
restrictions. We analyze the complexity both of finding
a minimal plan and of finding any plan. In contrast to
other complexity surveys of planning we study not only
the complexity of the decision problems but also of the
generation problems. We prove that the SAS+-PUS problem
is the maximal tractable problem under the restrictions
we have considered if we want to generate minimal
plans. If we are satisfied with any plan, then we can
generalize further to the SAS+-US problem, which we
prove to be the maximal tractable problem in this
case.",
}
@InProceedings{Backstrom:1993:CRSb,
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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
note = "A long 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 = "https://www.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 = "https://www.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 = "https://www.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 = "https://www.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, Trondheim,
1993}",
title = "Combining Classification and Nonmonotonic Inheritance
Reasoning: {A} First Step",
volume = "689",
publisher = pub-SV,
address = pub-SV:adr,
pages = "132--141",
month = Jun,
year = "1993",
MRclass = "68T27 (03B60 03B70)",
MRnumber = "1251095 (94j:68278)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Lecture Notes in Comput. Sci.",
acknowledgement = ack-nhfb,
}
@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",
CODEN = "APITE4",
ISSN = "0924-669X",
ISSN-L = "0924-669X",
bibsource = "https://www.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",
CODEN = "APITE4",
ISSN = "0924-669X",
ISSN-L = "0924-669X",
bibsource = "https://www.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",
CODEN = "AINTBB",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
bibsource = "https://www.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:FKR,
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 = "https://www.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 = "https://www.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",
CODEN = "AINTBB",
DOI = "https://doi.org/10.1016/0004-3702(94)90005-1",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
MRclass = "68T20 (68Q25 68T30)",
MRnumber = "1267807 (95b:68081)",
MRreviewer = "M. I. Dekhtyar",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.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",
acknowledgement = ack-nhfb,
fjournal = "Artificial Intelligence",
}
@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-SV,
address = pub-SV:adr,
pages = "104--117",
year = "1994",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.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 = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
note = "Extended version published in {\em Journal of the
ACM}",
}
@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",
bibdate = "Wed Sep 28 17:07:35 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@Article{Backstrom:1995:CRS,
author = "Christer B{\"a}ckstr{\"o}m and Bernhard Nebel",
title = "Complexity results for {SAS$^+$} planning",
journal = "Comput. Intelligence",
volume = "11",
number = "4",
pages = "625--655",
year = "1995",
DOI = "https://doi.org/10.1111/j.1467-8640.1995.tb00052.x",
ISSN = "0824-7935",
MRclass = "68T20 (68Q25)",
MRnumber = "1361943 (97d:68204)",
MRreviewer = "Daniel Braha",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
fjournal = "Computational Intelligence. An International Journal",
}
@Article{Baeckstroem:1995:CRS,
author = "Christer B{\"a}ckstr{\"o}m and Bernhard Nebel",
title = "Complexity Results for {SAS$^+$} Planning",
journal = j-COMPUT-INTELL,
volume = "11",
number = "4",
pages = "625--655",
year = "1995",
CODEN = "COMIE6",
ISSN = "0824-7935 (print), 1467-8640 (electronic)",
ISSN-L = "0824-7935",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib;
https://www.math.utah.edu/pub/tex/bib/sas.bib",
URL = "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/backstrom-nebel-ci-95.ps",
fjournal = "Computational Intelligence",
journal-URL = "https://onlinelibrary.wiley.com/journal/14678640",
}
@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",
bibdate = "Wed Sep 28 17:07:53 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "ftp://disparcs.dis.uniroma1.it/pub/DL-95/Proceedings.ps.gz",
acknowledgement = ack-nhfb,
}
@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 = "https://www.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",
}
@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 (Udine, 1994)}",
title = "Base Revision Operations and Schemes: Semantics,
Representation, and Complexity",
volume = "363",
publisher = pub-SV,
address = pub-SV:adr,
pages = "157--170",
year = "1995",
MRclass = "03B45 (03B70 68T27)",
MRnumber = "1403612 (97i:03009)",
MRreviewer = "Petr Jirk{\ocirc{u}}",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
note = "Revised version of \cite{Nebel:1994:BRO}.",
series = "CISM Courses and Lectures",
acknowledgement = ack-nhfb,
xxtitle = "Based revision operations and schemes: semantics,
representation, and complexity",
}
@InProceedings{Nebel:1995:CPQ,
author = "Bernhard Nebel",
editor = "I. Wachsmuth and C.-R. Rollinger and W. Brauer",
booktitle = "{KI-95: Advances in artificial intelligence
(Bielefeld, 1995)}",
title = "Computational Properties of Qualitative Spatial
Reasoning: {First} Results",
volume = "981",
publisher = pub-SV,
address = pub-SV:adr,
pages = "233--244",
year = "1995",
MRclass = "68T27 (03B20 03B60 68Q25)",
MRnumber = "1395379 (97a:68149)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Lecture Notes in Comput. Sci.",
acknowledgement = ack-nhfb,
}
@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",
ISSN = "0933-1875",
bibsource = "https://www.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",
CODEN = "AINTBB",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
bibsource = "https://www.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",
CODEN = "JACOAH",
DOI = "https://doi.org/10.1145/200836.200848",
ISSN = "0004-5411 (print), 1557-735X (electronic)",
ISSN-L = "0004-5411",
MRclass = "68T27 (68Q25 68T30)",
MRnumber = "1370370 (96k:68180)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "ftp://ftp.informatik.uni-ulm.de/pub/papers/ki/nebel-burckert-jacm95.ps;
http://www.acm.org/pubs/toc/Abstracts/0004-5411/200848.html",
abstract = "We introduce a new subclass of Allen's interval
algebra we call ``ORD-Horn subclass,'' which is a
strict superset of the ``pointisable subclass.'' We
prove that reasoning in the ORD-Horn subclass is a
polynomial-time problem and show that the
path-consistency method is sufficient for deciding
satisfiability. Further, using an extensive
machine-generated case analysis, we show that the
ORD-Horn subclass is a maximal tractable subclass of
the full algebra (assuming P $\ne$ NP). In fact, it is
the unique greatest tractable subclass amongst the
subclasses that contain all basic relations.",
acknowledgement = ack-nhfb,
fjournal = "Journal of the Association for Computing Machinery",
keywords = "algorithms; theory",
subject = "{\bf I.2.4}: Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Knowledge Representation Formalisms and
Methods, Relation systems. {\bf F.2.2}: Theory of
Computation, ANALYSIS OF ALGORITHMS AND PROBLEM
COMPLEXITY, Nonnumerical Algorithms and Problems,
Sequencing and scheduling. {\bf I.2.4}: Computing
Methodologies, ARTIFICIAL INTELLIGENCE, Knowledge
Representation Formalisms and Methods, Representations
(procedural and rule-based). {\bf F.4.1}: Theory of
Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES,
Mathematical Logic.",
}
@InCollection{Nebel:1996:AIC,
author = "Bernhard Nebel",
booktitle = "{Principles of knowledge representation}",
title = "Artificial intelligence: a computational perspective",
publisher = "CSLI Publ.",
address = "Stanford, CA",
pages = "237--266",
year = "1996",
MRclass = "68Q25 (68T01)",
MRnumber = "1673027",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Stud. Logic Lang. Inform.",
acknowledgement = ack-nhfb,
}
@Article{Dimopoulos:1997:EPP,
author = "Yannis Dimopoulos and Bernhard Nebel and Jana
Koehler",
title = "Encoding planning problems in non-monotonic logic
programs",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1348",
pages = "169--181",
year = "1997",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Fri Nov 01 06:17:44 2002",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@Article{Koehler:1997:EPG,
author = "Jana Koehler and Bernhard Nebel and J{\"o}rg Hoffmann
and Yannis Dimopoulos",
title = "Extending planning graphs to an {ADL} subset",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1348",
pages = "273--285",
year = "1997",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Fri Nov 01 06:22:26 2002",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@Article{Nebel:1997:IIF,
author = "Bernhard Nebel and Yannis Dimopoulos and Jana
Koehler",
title = "Ignoring irrelevant facts and operators in plan
generation",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1348",
pages = "338--350",
year = "1997",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Fri Nov 01 06:24:17 2002",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@Article{Nebel:1997:SHQ,
author = "Bernhard Nebel",
title = "Solving hard qualitative temporal reasoning problems:
evaluating the efficiency of using the {ORD--Horn}
class",
journal = "Constraints",
volume = "1",
number = "3",
pages = "175--190",
year = "1997",
CODEN = "CNSTFT",
DOI = "https://doi.org/10.1007/BF00137869",
ISSN = "1383-7133",
MRclass = "68T27 (03B70 68Q25)",
MRnumber = "1605671 (98i:68254)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
fjournal = "Constraints. An International Journal",
}
@InCollection{Nebel:1998:HHI,
author = "Bernhard Nebel",
booktitle = "{Belief change}",
title = "How hard is it to revise a belief base?",
volume = "3",
publisher = pub-KLUWER,
address = pub-KLUWER:adr,
pages = "77--145",
year = "1998",
MRclass = "03B42 (68T27)",
MRnumber = "1743905 (2001h:03030)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "Handb. Defeasible Reason. Uncertain. Manag. Syst.",
acknowledgement = ack-nhfb,
}
@Article{Renz:1998:SRT,
author = "Jochen Renz and Bernhard Nebel",
title = "Spatial Reasoning with Topological Information",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1404",
pages = "351--??",
year = "1998",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Feb 5 11:52:04 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t1404.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/1404/14040351.htm;
http://link.springer-ny.com/link/service/series/0558/papers/1404/14040351.pdf",
acknowledgement = ack-nhfb,
}
@Article{Gulmann:1999:CFR,
author = "J.-S. Gulmann and W. Hatzack and I. Herrmann and B.
Nebel",
title = "The {CS Freiburg} Robotic Soccer Team: Reliable
Self-Localization, Multirobot Sensor Integration, and
Basic Soccer Skills",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1604",
pages = "93--??",
year = "1999",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Mon Sep 13 16:57:02 MDT 1999",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@Article{Gutmann:1999:CFR,
author = "Jens-Steffen Gutmann and Wolfgang Hatzack and Immanuel
Herrmann and Bernhard Nebel and Frank Rittinger and
Augustinus Topor and Thilo Weigel and Bruno Welsch",
title = "The {CS} Freiburg Robotic Soccer Team: Reliable
Self-localization, Multirobot Sensor Integration, and
Basic Soccer Skills",
journal = j-LECT-NOTES-COMP-SCI,
volume = "1604",
pages = "93--??",
year = "1999",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Feb 5 11:54:05 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t1604.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/1604/16040093.htm;
http://link.springer-ny.com/link/service/series/0558/papers/1604/16040093.pdf",
acknowledgement = ack-nhfb,
}
@Article{Renz:1999:CQS,
author = "Jochen Renz and Bernhard Nebel",
title = "On the complexity of qualitative spatial reasoning: a
maximal tractable fragment of the region connection
calculus",
journal = j-ART-INTELL,
volume = "108",
number = "1-2",
pages = "69--123",
year = "1999",
CODEN = "AINTBB",
DOI = "https://doi.org/10.1016/S0004-3702(99)00002-8",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
MRclass = "68T27 (68Q25)",
MRnumber = "1681031 (99m:68188)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
fjournal = "Artificial Intelligence",
}
@Article{Nebel:2000:CEP,
author = "Bernhard Nebel",
title = "On the compilability and expressive power of
propositional planning formalisms",
journal = "J. Artificial Intelligence Res.",
volume = "12",
pages = "271--315",
year = "2000",
ISSN = "1076-9757",
MRclass = "68T20 (68T35)",
MRnumber = "1765588 (2001b:68117)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
fjournal = "Journal of Artificial Intelligence Research",
}
@Article{Nebel:2001:CPR,
author = "Bernhard Nebel",
title = "Cooperating Physical Robots: {A} Lesson in Playing
Robotic Soccer",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2086",
pages = "404--??",
year = "2001",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Sat Feb 2 13:04:45 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2086.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2086/20860404.htm;
http://link.springer-ny.com/link/service/series/0558/papers/2086/20860404.pdf",
acknowledgement = ack-nhfb,
}
@Article{Renz:2001:EMQ,
author = "Jochen Renz and Bernhard Nebel",
title = "Efficient methods for qualitative spatial reasoning",
journal = "J. Artificial Intelligence Res.",
volume = "15",
pages = "289--318",
year = "2001",
ISSN = "1076-9757",
MRclass = "68T27",
MRnumber = "1884080",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
fjournal = "Journal of Artificial Intelligence Research",
}
@Article{Scivos:2001:DCD,
author = "Alexander Scivos and Bernhard Nebel",
title = "Double-Crossing: Decidability and Computational
Complexity of a Qualitative Calculus for Navigation",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2205",
pages = "431--??",
year = "2001",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Sat Feb 2 13:06:50 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2205.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2205/22050431.htm;
http://link.springer-ny.com/link/service/series/0558/papers/2205/22050431.pdf",
acknowledgement = ack-nhfb,
}
@Article{Weigel:2001:CFD,
author = "Thilo Weigel and Willi Auerbach and Markus Dietl and
Burkhard D{\"u}mler and Jens-Steffen Gutmann and Kornel
Marko and Klaus M{\"u}ller and Bernhard Nebel and Boris
Szerbakowski and Maximilian Thiel",
title = "{CS} Freiburg: Doing the Right Thing in a Group",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2019",
pages = "52--??",
year = "2001",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Sat Feb 2 13:03:37 MST 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2019.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2019/20190052.htm;
http://link.springer-ny.com/link/service/series/0558/papers/2019/20190052.pdf",
acknowledgement = ack-nhfb,
}
@Article{Dietl:2002:CFG,
author = "Markus Dietl and Jens-Steffen Gutmann and Bernhard
Nebel",
title = "{CS} Freiburg: Global View by Cooperative Sensing",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2377",
pages = "133--??",
year = "2002",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Sep 10 19:09:58 MDT 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2377.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2377/23770133.htm;
http://link.springer-ny.com/link/service/series/0558/papers/2377/23770133.pdf",
acknowledgement = ack-nhfb,
}
@Article{Dimopoulos:2002:CCA,
author = "Yannis Dimopoulos and Bernhard Nebel and Francesca
Toni",
title = "On the computational complexity of assumption-based
argumentation for default reasoning",
journal = j-ART-INTELL,
volume = "141",
number = "1-2",
pages = "57--78",
year = "2002",
CODEN = "AINTBB",
DOI = "https://doi.org/10.1016/S0004-3702(02)00245-X",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
MRclass = "68T27 (03B60 68Q25)",
MRnumber = "1939094 (2003k:68103)",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
fjournal = "Artificial Intelligence",
}
@Article{Isekenmeier:2002:EPC,
author = "Guido Isekenmeier and Bernhard Nebel and Thilo
Weigel",
title = "Evaluation of the Performance of {CS} Freiburg 1999
and {CS} Freiburg 2000",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2377",
pages = "393--??",
year = "2002",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Sep 10 19:09:58 MDT 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2377.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2377/23770393.htm;
http://link.springer-ny.com/link/service/series/0558/papers/2377/23770393.pdf",
acknowledgement = ack-nhfb,
}
@Article{Weigel:2002:CF,
author = "Thilo Weigel and Alexander Kleiner and Florian Diesch
and Markus Dietl and Jens-Steffen Gutmann and Bernhard
Nebel and Patrick Stiegeler and Boris Szerbakowski",
title = "{CS} Freiburg 2001",
journal = j-LECT-NOTES-COMP-SCI,
volume = "2377",
pages = "26--??",
year = "2002",
CODEN = "LNCSD9",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
bibdate = "Tue Sep 10 19:09:58 MDT 2002",
bibsource = "http://link.springer-ny.com/link/service/series/0558/tocs/t2377.htm;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2377/23770026.htm;
http://link.springer-ny.com/link/service/series/0558/papers/2377/23770026.pdf",
acknowledgement = ack-nhfb,
}
@Article{Thiebaux:2005:DPA,
author = "Sylvie Thi{\'e}baux and J{\"o}rg Hoffmann and Bernhard
Nebel",
title = "In defense of {PDDL} axioms",
journal = j-ART-INTELL,
volume = "168",
number = "1-2",
pages = "38--69",
year = "2005",
CODEN = "AINTBB",
DOI = "https://doi.org/10.1016/j.artint.2005.05.004",
ISSN = "0004-3702 (print), 1872-7921 (electronic)",
ISSN-L = "0004-3702",
MRclass = "68T20",
MRnumber = "2175578",
bibdate = "Wed Sep 28 17:25:57 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
fjournal = "Artificial Intelligence",
}
@Article{Li:2007:QSR,
author = "Sanjiang Li and Bernhard Nebel",
title = "Qualitative Spatial Representation and Reasoning: {A}
Hierarchical Approach",
journal = j-COMP-J,
volume = "50",
number = "4",
pages = "391--402",
month = jul,
year = "2007",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/bxl086",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Wed Apr 28 14:33:33 MDT 2010",
bibsource = "http://comjnl.oxfordjournals.org/content/vol50/issue4/index.dtl;
https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
URL = "http://comjnl.oxfordjournals.org/cgi/content/abstract/50/4/391;
http://comjnl.oxfordjournals.org/cgi/content/full/50/4/391;
http://comjnl.oxfordjournals.org/cgi/reprint/50/4/391",
acknowledgement = ack-nhfb,
}
@InCollection{Renz:2007:QSR,
author = "Jochen Renz and Bernhard Nebel",
booktitle = "{Handbook of spatial logics}",
title = "Qualitative spatial reasoning using constraint
calculi",
publisher = pub-SV,
address = pub-SV:adr,
pages = "161--215",
year = "2007",
DOI = "https://doi.org/10.1007/978-1-4020-5587-4_4",
MRclass = "03B60 (68T27)",
MRnumber = "2393888",
bibdate = "Wed Sep 28 17:20:32 2011",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
acknowledgement = ack-nhfb,
}
@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",
ISBN-13 = "978-1-55860-262-5",
ISSN = "1046-9567",
LCCN = "Q387 .P76 1992",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = "The Morgan Kaufmann series in representation and
reasoning",
}
@Book{Lakemeyer:1994:FKRa,
editor = "Gerhard Lakemeyer and Bernhard Nebel",
booktitle = "{Foundations of Knowledge Representation}",
title = "Foundations of Knowledge Representation",
volume = "810",
publisher = pub-SV,
address = pub-SV:adr,
pages = "viii + 355",
year = "1994",
ISBN = "3-540-58107-3 (New York), 0-387-58107-3 (Berlin)",
ISBN-13 = "978-3-540-58107-9 (New York), 978-0-387-58107-1
(Berlin)",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
LCCN = "Q387 .F68 1994",
bibdate = "Fri Nov 24 12:10:06 MST 1995",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = ser-LNAI # " and " # ser-LNCS,
URL = "http://link.springer-ny.com/link/service/series/0558/tocs/t0810.htm;
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=810",
acknowledgement = ack-nhfb,
keywords = "artificial intelligence; knowledge representation
(information theory); reasoning",
}
@Proceedings{Nebel:1994:KAA,
editor = "Bernhard Nebel and Leonie Dreschler-Fischer",
booktitle = "{KI-94: advances in artificial intelligence: 18th
German Annual Conference on Artificial Intelligence,
Saarbrucken, Germany, September 18--23, 1994:
proceedings}",
title = "{KI-94: advances in artificial intelligence: 18th
German Annual Conference on Artificial Intelligence,
Saarbrucken, Germany, September 18--23, 1994:
proceedings}",
volume = "861",
publisher = pub-SV,
address = pub-SV:adr,
pages = "x + 400",
year = "1994",
CODEN = "LNCSD9",
DOI = "????",
ISBN = "3-540-58467-6 (Berlin), 0-387-58467-6 (New York)",
ISBN-13 = "978-3-540-58467-4 (Berlin), 978-0-387-58467-6 (New
York)",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
LCCN = "Q334 .G466 1994",
bibdate = "Fri Apr 12 07:15:02 1996",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = ser-LNAI # " and " # ser-LNCS,
URL = "http://link.springer-ny.com/link/service/series/0558/tocs/t0861.htm;
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=861",
acknowledgement = ack-nhfb,
keywords = "artificial intelligence --- congresses; artificial
intelligence --- industrial applications ---
congresses; knowledge representation (information
theory) --- congresses; reasoning --- congresses",
}
@Proceedings{Brewka:1997:KAA,
editor = "Gerhard Brewka and Christopher Habel and Bernhard
Nebel",
booktitle = "{KI-97, advances in artificial intelligence: 21st
Annual German Conference on Artificial Intelligence,
Freiburg, Germany, September 9--12, 1997:
proceedings}",
title = "{KI-97, advances in artificial intelligence: 21st
Annual German Conference on Artificial Intelligence,
Freiburg, Germany, September 9--12, 1997:
proceedings}",
volume = "1303",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xi + 412",
year = "1997",
CODEN = "LNCSD9",
DOI = "????",
ISBN = "3-540-63493-2 (softcover)",
ISBN-13 = "978-3-540-63493-5 (softcover)",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
LCCN = "Q334 .G466 1997",
bibdate = "Mon Nov 24 09:05:12 MST 1997",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib",
series = ser-LNAI # " and " # ser-LNCS,
URL = "http://link.springer-ny.com/link/service/series/0558/tocs/t1303.htm;
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=1303",
acknowledgement = ack-nhfb,
keywords = "artificial intelligence --- congresses",
}
@Proceedings{Freksa:2005:SCI,
editor = "Christian Freksa and Markus Knauff and Bernd
Krieg-Br{\"u}ckner and Bernhard Nebel and Thomas
Barkowsky",
booktitle = "{Spatial cognition IV: reasoning, action, interaction:
international conference on spatial cognition 2004,
Frauenchiemsee, Germany, October 11--13, 2004. Revised
selected papers}",
title = "{Spatial cognition IV: reasoning, action, interaction:
international conference on spatial cognition 2004,
Frauenchiemsee, Germany, October 11--13, 2004. Revised
selected papers}",
volume = "3343",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xiii + 517",
year = "2005",
CODEN = "LNCSD9",
DOI = "https://doi.org/10.1007/b106616",
ISBN = "3-540-25048-4 (softcover)",
ISBN-13 = "978-3-540-25048-7 (softcover)",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
LCCN = "Q387 .S74 2004",
bibdate = "Thu Jun 2 09:13:56 MDT 2005",
bibsource = "https://www.math.utah.edu/pub/bibnet/authors/n/nebel-bernhard.bib;
z3950.loc.gov:7090/Voyager",
series = ser-LNAI # " and " # ser-LNCS,
URL = "http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3343;
http://www.springerlink.com/openurl.asp?genre=volume&id=doi:10.1007/b106616",
acknowledgement = ack-nhfb,
}
