%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Thu Nov 30 11:36:58 MST 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$^+$}{% Backstrom:1993:CRSa,% Backstrom:1993:CRSb,% Backstrom:1995:CRS,% Baeckstroem:1995:CRS% }. \NAMECITE{$\cal PPP$}{% Andre:1993:PPB% }. \NAMECITE{{10}}{% Bruegge:1979:OED,% Nebel:1976:EDP% }. \NAMECITE{18th}{% Nebel:1994:KAA% }. \NAMECITE{21st}{% Brewka:1997:KAA% }. \NAMECITE{3rd}{% Nebel:1992:PKR% }. \NAMECITE{{94}}{% Nebel:1994:KAA% }. \NAMECITE{{97}}{% Brewka:1997:KAA% }. \NAMECITE{Abstract}{% Andre:1995:WMI% }. \NAMECITE{Access}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb,% Hoeppner:1984:DHAc% }. \NAMECITE{Action}{% Heinsohn:1991:IAR,% Freksa:2005:SCI% }. \NAMECITE{Actions}{% Heinsohn:1992:RRA% }. \NAMECITE{{ADL}}{% Koehler:1997:EPG% }. \NAMECITE{advances}{% Brewka:1997:KAA,% Nebel:1994:KAA% }. \NAMECITE{Algebra}{% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:RAT% }. \NAMECITE{{Allen}}{% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:RAT% }. \NAMECITE{am}{% Nebel:1980:WAA% }. \NAMECITE{Analyse}{% Mittelstein:1976:HPS% }. \NAMECITE{Analysis}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO,% Heinsohn:1992:EATa,% Heinsohn:1992:EATb,% Heinsohn:1994:EAT,% Nebel:1989:KLA,% Nebel:1989:KLAb,% Nebel:1993:PRV,% Nebel:1995:PRV,% Profitlich:1991:CAT% }. \NAMECITE{Anatomy}{% Luck:1987:ABS% }. \NAMECITE{Annual}{% Brewka:1997:KAA,% Nebel:1994:KAA% }. \NAMECITE{{ANS}}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc,% Marburger:1983:NDHa,% Marburger:1983:NDHb,% Marburger:1984:HAT,% Nebel:1982:NSHa,% Nebel:1982:NSHb,% Christaller:1983:WNZ,% Nebel:1982:SHA% }. \NAMECITE{Approach}{% Li:2007:QSR% }. \NAMECITE{Approaches}{% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Nebel:1991:BRD,% Nebel:1992:SBA% }. \NAMECITE{{Arbeiten}}{% Nebel:1980:WAA% }. \NAMECITE{argumentation}{% Dimopoulos:2002:CCA% }. \NAMECITE{Artificial}{% Nebel:1995:AIC,% Nebel:1996:AIC,% Brewka:1997:KAA,% Nebel:1994:KAA% }. \NAMECITE{Aspects}{% Luck:1988:SAK,% Kobsa:1989:BWF% }. \NAMECITE{assumption}{% Dimopoulos:2002:CCA% }. \NAMECITE{assumption-based}{% Dimopoulos:2002:CCA% }. \NAMECITE{Attributive}{% Nebel:1989:RRA,% Nebel:1990:RRA,% Nebel:1991:ADFa,% Nebel:1991:ADFb% }. \NAMECITE{Automatic}{% Bergamaschi:1994:ABV% }. \NAMECITE{axioms}{% Thiebaux:2005:DPA% }. \NAMECITE{{BACK}}{% Luck:1985:BCI,% Luck:1985:BS,% Luck:1987:ABS,% Nebel:1987:CCT,% Nebel:1988:CCT,% Nebel:1988:HRB,% Peltason:1987:UGB% }. \NAMECITE{Background}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{Balancing}{% Nebel:1987:IIBa,% Nebel:1987:IIBb% }. \NAMECITE{Base}{% Hoeppner:1984:DHAc,% Luck:1988:SAK,% Nebel:1994:BRO,% Nebel:1995:BRO,% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb,% Nebel:1998:HHI% }. \NAMECITE{Based}{% Andre:1993:PPB,% Nebel:1985:NGK,% Nebel:1986:NGK,% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Dimopoulos:2002:CCA,% Nebel:1991:BRD,% Nebel:1992:SBA% }. \NAMECITE{Basic}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{Belief}{% Nebel:1989:KLA,% Nebel:1989:KLAb,% Nebel:1991:BRD,% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Nebel:1992:SBA,% Nebel:1998:HHI% }. \NAMECITE{Bericht}{% Kobsa:1989:BWF,% Marburger:1984:HAT% }. \NAMECITE{Beyond}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{{Bitter}}{% Schmiedel:1986:PCS% }. \NAMECITE{Building}{% Bergamaschi:1994:ABV% }. \NAMECITE{calculi}{% Renz:2007:QSR% }. \NAMECITE{Calculus}{% Scivos:2001:DCD,% Renz:1999:CQS% }. \NAMECITE{Case}{% Schmiedel:1986:PCS% }. \NAMECITE{class}{% Nebel:1997:SHQ% }. \NAMECITE{Classification}{% Padgham:1993:CCN% }. \NAMECITE{cognition}{% Freksa:2005:SCI% }. \NAMECITE{Combining}{% Padgham:1993:CCN% }. \NAMECITE{Commented}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc% }. \NAMECITE{Comparative}{% Profitlich:1991:CAT% }. \NAMECITE{compilability}{% Nebel:2000:CEP% }. \NAMECITE{{Compiler}}{% Nebel:1980:WAA% }. \NAMECITE{{Compilers}}{% Nebel:1976:EDP,% Bruegge:1979:OED% }. \NAMECITE{Complex}{% Bergamaschi:1990:TFC,% Bergamaschi:1994:ABV,% Nebel:1991:CMI% }. \NAMECITE{Complexity}{% Backstrom:1993:CRSa,% Backstrom:1993:CRSb,% Backstrom:1995:CRS,% Baeckstroem:1992:CCP,% Baeckstroem:1995:CRS,% Nebel:1987:CCT,% Nebel:1988:CCT,% Nebel:1991:CCT,% Nebel:1991:CMI,% Nebel:1992:CCK,% Nebel:1992:CCT,% Nebel:1992:PMV,% Nebel:1993:PMV,% Nebel:1994:BRO,% Nebel:1994:CCT,% Nebel:1994:MQT,% Nebel:1995:BRO,% Scivos:2001:DCD,% Dimopoulos:2002:CCA,% Renz:1999:CQS% }. \NAMECITE{Complexity-Theoretic}{% Nebel:1992:PMV,% Nebel:1993:PMV% }. \NAMECITE{Computational}{% Baeckstroem:1992:CCP,% Nebel:1987:CCT,% Nebel:1988:CCT,% Nebel:1991:CCT,% Nebel:1991:TCS,% Nebel:1992:CCK,% Nebel:1992:CCT,% Nebel:1994:CCT,% Nebel:1995:AIC,% Nebel:1995:CPQ,% Scivos:2001:DCD,% Dimopoulos:2002:CCA,% Nebel:1996:AIC% }. \NAMECITE{Conference}{% Brewka:1997:KAA,% Nebel:1992:PKR,% Nebel:1994:KAA,% Freksa:2005:SCI% }. \NAMECITE{connection}{% Renz:1999:CQS% }. \NAMECITE{Consistency}{% Luck:1985:BCI% }. \NAMECITE{constraint}{% Renz:2007:QSR% }. \NAMECITE{Cooperating}{% Nebel:2001:CPR% }. \NAMECITE{Cooperative}{% Dietl:2002:CFG% }. \NAMECITE{{COPANET}}{% Nebel:1980:WAA,% Nebel:1980:WAA% }. \NAMECITE{{COPANET-Compiler}}{% Nebel:1980:WAA% }. \NAMECITE{Crossing}{% Scivos:2001:DCD% }. \NAMECITE{{CS}}{% Dietl:2002:CFG,% Gulmann:1999:CFR,% Gutmann:1999:CFR,% Isekenmeier:2002:EPC,% Weigel:2001:CFD,% Weigel:2002:CF% }. \NAMECITE{Cycles}{% Nebel:1987:TC,% Nebel:1991:TCS% }. \NAMECITE{Data}{% Bergamaschi:1990:TFC,% Hoeppner:1984:DHAc,% Nebel:1991:CMI% }. \NAMECITE{Database}{% Bergamaschi:1994:ABV% }. \NAMECITE{{Datenbankzugang}}{% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{{{Datenbasen}}}{% Nebel:1982:NSHa,% Nebel:1982:NSHb% }. \NAMECITE{Decidability}{% Scivos:2001:DCD% }. \NAMECITE{{DECSystem}}{% Bruegge:1979:OED,% Nebel:1976:EDP% }. \NAMECITE{{DECSystem-10}}{% Bruegge:1979:OED,% Nebel:1976:EDP% }. \NAMECITE{Default}{% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Dimopoulos:2002:CCA,% Nebel:1991:BRD% }. \NAMECITE{defense}{% Thiebaux:2005:DPA% }. \NAMECITE{Description}{% Borgida:1995:PIW,% Nebel:1991:ADFa,% Nebel:1991:ADFb% }. \NAMECITE{Descriptions}{% Nebel:1989:RRA,% Nebel:1990:RRA% }. \NAMECITE{Design}{% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb% }. \NAMECITE{development}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{Dialoging}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc% }. \NAMECITE{{Diskursbereichen}}{% Christaller:1983:WNZ% }. \NAMECITE{{{Diskursbereiches}}}{% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{Diverse}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{does}{% Nebel:1985:HWDa,% Nebel:1985:HWDb% }. \NAMECITE{Doing}{% Weigel:2001:CFD% }. \NAMECITE{Domain}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{Domain-Independence}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{Double}{% Scivos:2001:DCD% }. \NAMECITE{Double-Crossing}{% Scivos:2001:DCD% }. \NAMECITE{{Dump}}{% Nebel:1976:EDP% }. \NAMECITE{dynamische}{% Dannenberg:1983:DSF% }. \NAMECITE{efficiency}{% Nebel:1997:SHQ% }. \NAMECITE{Efficient}{% Renz:2001:EMQ% }. \NAMECITE{{{Einf{\"u}hrung}}}{% Owsnicki-Klewe:1993:WLE% }. \NAMECITE{Empirical}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO,% Heinsohn:1992:EATa,% Heinsohn:1992:EATb,% Heinsohn:1994:EAT,% Nebel:1993:PRV,% Nebel:1995:PRV% }. \NAMECITE{Encoding}{% Dimopoulos:1997:EPP% }. \NAMECITE{Equations}{% Baader:1991:EFL,% Baader:1993:EFL% }. \NAMECITE{{Erweiterung}}{% Bruegge:1979:OED,% Nebel:1976:EDP% }. \NAMECITE{{Erzeugung}}{% Nebel:1976:EDP% }. \NAMECITE{evaluating}{% Nebel:1997:SHQ% }. \NAMECITE{Evaluation}{% Isekenmeier:2002:EPC% }. \NAMECITE{Experience}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{Experiment}{% Nebel:1985:NGK,% Nebel:1986:NGK% }. \NAMECITE{expressive}{% Nebel:2000:CEP% }. \NAMECITE{Expressiveness}{% Nebel:1994:MQT% }. \NAMECITE{Expressivity}{% Baader:1991:EFL,% Baader:1993:EFL% }. \NAMECITE{Extending}{% Koehler:1997:EPG% }. \NAMECITE{facts}{% Nebel:1997:IIF% }. \NAMECITE{Feature}{% Baader:1991:EFL,% Baader:1993:EFL% }. \NAMECITE{First}{% Padgham:1993:CCN,% Nebel:1995:CPQ% }. \NAMECITE{fit}{% Nebel:1985:HWDa,% Nebel:1985:HWDb% }. \NAMECITE{Form}{% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb% }. \NAMECITE{{Formal}}{% Kobsa:1989:BWF% }. \NAMECITE{Formalisms}{% Nebel:1991:ADFa,% Nebel:1991:ADFb,% Nebel:2000:CEP% }. \NAMECITE{Foundations}{% Bergamaschi:1990:TFC,% Lakemeyer:1994:FKR,% Lakemeyer:1994:FKRa% }. \NAMECITE{fragment}{% Renz:1999:CQS% }. \NAMECITE{frame}{% Nebel:1985:HWDa,% Nebel:1985:HWDb% }. \NAMECITE{Frauenchiemsee}{% Freksa:2005:SCI% }. \NAMECITE{Freiburg}{% Brewka:1997:KAA,% Dietl:2002:CFG,% Gutmann:1999:CFR,% Isekenmeier:2002:EPC,% Weigel:2001:CFD,% Weigel:2002:CF,% Gulmann:1999:CFR% }. \NAMECITE{Functional}{% Baader:1991:EFL,% Baader:1993:EFL% }. \NAMECITE{Generation}{% Nebel:1985:NGK,% Nebel:1986:NGK,% Nebel:1992:PMV,% Nebel:1993:PMV,% Nebel:1993:PRV,% Nebel:1995:PRV,% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb,% Nebel:1997:IIF% }. \NAMECITE{German}{% Brewka:1997:KAA,% Nebel:1994:KAA,% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{Germany}{% Brewka:1997:KAA,% Freksa:2005:SCI,% Nebel:1994:KAA% }. \NAMECITE{get}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO% }. \NAMECITE{Gets}{% Nebel:1985:NGK,% Nebel:1986:NGK% }. \NAMECITE{Global}{% Dietl:2002:CFG% }. \NAMECITE{graphs}{% Koehler:1997:EPG% }. \NAMECITE{Group}{% Weigel:2001:CFD% }. \NAMECITE{Guide}{% Lakemeyer:1994:FKR,% Peltason:1987:UGB% }. \NAMECITE{{HAM}}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc,% Marburger:1983:NDHa,% Marburger:1983:NDHb,% Marburger:1984:HAT,% Nebel:1982:NSHa,% Nebel:1982:NSHb,% Christaller:1983:WNZ,% Nebel:1982:SHA% }. \NAMECITE{{HAM-ANS}}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc,% Marburger:1983:NDHa,% Marburger:1983:NDHb,% Marburger:1984:HAT,% Nebel:1982:NSHa,% Nebel:1982:NSHb,% Christaller:1983:WNZ,% Nebel:1982:SHA% }. \NAMECITE{hard}{% Nebel:1997:SHQ,% Nebel:1998:HHI% }. \NAMECITE{{HASY}}{% Mittelstein:1976:HPS% }. \NAMECITE{heterogene}{% Nebel:1982:NSHa,% Nebel:1982:NSHb% }. \NAMECITE{Hierarchical}{% Li:2007:QSR% }. \NAMECITE{Highly}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{{Horn}}{% Nebel:1997:SHQ% }. \NAMECITE{Hotel}{% Hoeppner:1984:DHAa% }. \NAMECITE{Hybrid}{% Nebel:1987:IIBa,% Nebel:1987:IIBb,% Nebel:1988:HRB,% Nebel:1989:WHH,% Nebel:1990:RRH% }. \NAMECITE{Ignoring}{% Nebel:1997:IIF% }. \NAMECITE{{II}}{% Hoeppner:1984:DHAb% }. \NAMECITE{{III}}{% Hoeppner:1984:DHAc% }. \NAMECITE{im}{% Nebel:1980:WAA% }. \NAMECITE{Incompleteness}{% Luck:1985:BCI% }. \NAMECITE{Independence}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb% }. \NAMECITE{Information}{% Nebel:1991:TRIa,% Nebel:1991:TRIb,% Nebel:1994:MQT,% Renz:1998:SRT,% Nebel:1991:TRI% }. \NAMECITE{Inherently}{% Nebel:1989:TRI,% Nebel:1990:TRI% }. \NAMECITE{Inheritance}{% Bergamaschi:1994:ABV,% Nebel:1991:CMI,% Padgham:1993:CCN% }. \NAMECITE{Integration}{% Gulmann:1999:CFR,% Gutmann:1999:CFR,% Heinsohn:1991:IAR,% Nebel:1987:IIBa,% Nebel:1987:IIBb% }. \NAMECITE{Intelligence}{% Nebel:1995:AIC,% Brewka:1997:KAA,% Nebel:1994:KAA,% Nebel:1996:AIC% }. \NAMECITE{{Intelligenter}}{% Nebel:1982:NSHa,% Nebel:1982:NSHb% }. \NAMECITE{{Intelligenz}}{% Nebel:1995:KKI% }. \NAMECITE{Intellimedia}{% Andre:1995:WMI% }. \NAMECITE{interaction}{% Freksa:2005:SCI% }. \NAMECITE{International}{% Borgida:1995:PIW,% Nebel:1991:IWTa,% Nebel:1991:IWTb,% Nebel:1992:PKR,% Freksa:2005:SCI% }. \NAMECITE{{Interrechner}}{% Nebel:1980:WAA% }. \NAMECITE{{Interrechner-Kommunikation}}{% Nebel:1980:WAA% }. \NAMECITE{Interval}{% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:RAT% }. \NAMECITE{Intractable}{% Nebel:1989:TRI,% Nebel:1990:TRI% }. \NAMECITE{irrelevant}{% Nebel:1997:IIF% }. \NAMECITE{Issues}{% Nebel:1987:IIBa,% Nebel:1987:IIBb% }. \NAMECITE{IV}{% Freksa:2005:SCI% }. \NAMECITE{{KI}}{% Brewka:1997:KAA,% Christaller:1983:WNZ,% Nebel:1994:KAA% }. \NAMECITE{{KI-94}}{% Nebel:1994:KAA% }. \NAMECITE{{KI-97}}{% Brewka:1997:KAA% }. \NAMECITE{{KI}-System}{% Christaller:1983:WNZ% }. \NAMECITE{Know}{% Nebel:1985:NGK,% Nebel:1986:NGK% }. \NAMECITE{Knowledge}{% Baader:1991:TKR,% Lakemeyer:1994:FKR,% Lakemeyer:1994:FKRa,% Luck:1988:SAK,% Nebel:1985:NGK,% Nebel:1986:NGK,% Nebel:1987:IIBa,% Nebel:1987:IIBb,% Nebel:1989:KLA,% Nebel:1989:KLAb,% Nebel:1992:PKR,% Patel-Schneider:1990:TSL,% Schmiedel:1986:PCS,% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb,% Baader:1990:TKR% }. \NAMECITE{Knowledge-Base}{% Luck:1988:SAK,% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb% }. \NAMECITE{Knowledge-Based}{% Nebel:1985:NGK,% Nebel:1986:NGK% }. \NAMECITE{{Kommunikation}}{% Nebel:1980:WAA% }. \NAMECITE{{Komplexit{\"a}tsanalysen}}{% Nebel:1995:KKI% }. \NAMECITE{{Korrespondenz}}{% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{{KR\&R}}{% Nebel:1992:CCK% }. \NAMECITE{{KRIS}}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO% }. \NAMECITE{K{\"u}nstlichen}{% Nebel:1995:KKI% }. \NAMECITE{langsame}{% Nebel:1983:LSa,% Nebel:1983:LSb% }. \NAMECITE{Language}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb,% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc,% Nebel:1985:NGK,% Nebel:1986:NGK,% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb% }. \NAMECITE{Languages}{% Patel-Schneider:1990:TSL% }. \NAMECITE{Lesson}{% Nebel:2001:CPR% }. \NAMECITE{Level}{% Nebel:1989:KLA,% Nebel:1989:KLAb% }. \NAMECITE{LISP}{% Nebel:1984:UUL,% Nebel:1983:LSa,% Nebel:1983:LSb,% Nebel:1985:PWL,% Dannenberg:1983:DSF% }. \NAMECITE{Lispmaschinen}{% Nebel:1984:UUL% }. \NAMECITE{Lispmaschinen-LISP}{% Nebel:1984:UUL% }. \NAMECITE{Localization}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{Logic}{% Baader:1990:TKR,% Baader:1991:TKR,% Nebel:1985:NGK,% Nebel:1986:NGK,% Dimopoulos:1997:EPP% }. \NAMECITE{Logical}{% Nebel:1985:NGK,% Nebel:1986:NGK,% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb% }. \NAMECITE{Logical-Form}{% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb% }. \NAMECITE{Logics}{% Baader:1991:EFL,% Baader:1993:EFL,% Borgida:1995:PIW,% Heinsohn:1991:IAR,% Heinsohn:1992:RRA,% Nebel:1991:IWTa,% Nebel:1991:IWTb,% Nebel:1992:TLR% }. \NAMECITE{{Logik}}{% Owsnicki-Klewe:1993:WLE% }. \NAMECITE{{Logisches}}{% Nebel:1985:PWL% }. \NAMECITE{loop}{% Nebel:1985:HWDa,% Nebel:1985:HWDb% }. \NAMECITE{Making}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO% }. \NAMECITE{Management}{% Luck:1988:SAK,% Nebel:1991:TRIa,% Nebel:1991:TRIb,% Nebel:1991:TRI% }. \NAMECITE{Managing}{% Nebel:1994:MQT% }. \NAMECITE{Matters}{% Nebel:1992:CCK% }. \NAMECITE{Maximal}{% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:RAT,% Renz:1999:CQS% }. \NAMECITE{methods}{% Renz:2001:EMQ% }. \NAMECITE{{Modell}}{% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{Models}{% Bergamaschi:1990:TFC,% Nebel:1991:CMI% }. \NAMECITE{Modification}{% Nebel:1992:PMV,% Nebel:1993:PMV% }. \NAMECITE{{M\"oglichkeit}}{% Nebel:1976:EDP% }. \NAMECITE{monotonic}{% Dimopoulos:1997:EPP% }. \NAMECITE{{Mortem}}{% Nebel:1976:EDP% }. \NAMECITE{move}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO% }. \NAMECITE{Multimedia}{% Andre:1995:WMI% }. \NAMECITE{Multiple}{% Bergamaschi:1994:ABV,% Nebel:1991:CMI% }. \NAMECITE{Multirobot}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{Natural}{% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb,% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc,% Nebel:1985:NGK,% Nebel:1986:NGK,% Sondheimer:1986:LFKa,% Sondheimer:1986:LFKb% }. \NAMECITE{nat{\"u}rlicher}{% Mittelstein:1976:HPS% }. \NAMECITE{nat{\"u}rlichsprachliche}{% Marburger:1983:NDHa,% Marburger:1983:NDHb,% Nebel:1982:NSHa,% Nebel:1982:NSHb% }. \NAMECITE{nat{\"u}rlichsprachlicher}{% Christaller:1983:WNZ,% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{Navigation}{% Scivos:2001:DCD% }. \NAMECITE{Negation}{% Baader:1991:EFL,% Baader:1993:EFL% }. \NAMECITE{{Networks}}{% Kobsa:1989:BWF% }. \NAMECITE{{NIGEL}}{% Nebel:1985:NGK,% Nebel:1986:NGK% }. \NAMECITE{non}{% Dimopoulos:1997:EPP% }. \NAMECITE{non-monotonic}{% Dimopoulos:1997:EPP% }. \NAMECITE{Nonmonotonic}{% Padgham:1993:CCN% }. \NAMECITE{Object}{% Bergamaschi:1990:TFC,% Bergamaschi:1994:ABV,% Nebel:1991:CMI% }. \NAMECITE{October}{% Freksa:2005:SCI% }. \NAMECITE{Operations}{% Nebel:1994:BRO,% Nebel:1995:BRO% }. \NAMECITE{operators}{% Nebel:1997:IIF% }. \NAMECITE{{Optimierung}}{% Bruegge:1979:OED% }. \NAMECITE{Optimization}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO% }. \NAMECITE{{ORD}}{% Nebel:1997:SHQ% }. \NAMECITE{{papers}}{% Freksa:2005:SCI% }. \NAMECITE{{Papiere}}{% Nebel:1985:PWL% }. \NAMECITE{{Part}}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc% }. \NAMECITE{{PASCAL}}{% Bruegge:1979:OED,% Nebel:1976:EDP% }. \NAMECITE{{PASCAL-Compilers}}{% Nebel:1976:EDP% }. \NAMECITE{{PDDL}}{% Thiebaux:2005:DPA% }. \NAMECITE{Performance}{% Isekenmeier:2002:EPC% }. \NAMECITE{Personalized}{% Andre:1993:PPB% }. \NAMECITE{Perspective}{% Nebel:1992:PMV,% Nebel:1993:PMV,% Nebel:1995:AIC,% Nebel:1996:AIC% }. \NAMECITE{Physical}{% Nebel:2001:CPR% }. \NAMECITE{{Pills}}{% Schmiedel:1986:PCS% }. \NAMECITE{Plan}{% Andre:1993:PPB,% Nebel:1992:CCT,% Nebel:1992:PMV,% Nebel:1993:PMV,% Nebel:1993:PRV,% Nebel:1994:CCT,% Nebel:1995:PRV,% Nebel:1997:IIF% }. \NAMECITE{Plan-Based}{% Andre:1993:PPB% }. \NAMECITE{Planning}{% Backstrom:1993:CRSa,% Backstrom:1993:CRSb,% Baeckstroem:1992:CCP,% Baeckstroem:1995:CRS,% Nebel:1994:CCT,% Backstrom:1995:CRS,% Dimopoulos:1997:EPP,% Koehler:1997:EPG,% Nebel:2000:CEP% }. \NAMECITE{Playing}{% Nebel:2001:CPR% }. \NAMECITE{Polynomial}{% Nebel:1992:CCK% }. \NAMECITE{{{Post}}}{% Nebel:1976:EDP% }. \NAMECITE{{{Post-Mortem}-Dump}}{% Nebel:1976:EDP% }. \NAMECITE{power}{% Nebel:2000:CEP% }. \NAMECITE{Presenter}{% Andre:1993:PPB% }. \NAMECITE{Principles}{% Nebel:1992:PKR% }. \NAMECITE{Problems}{% Nebel:1991:CCT,% Dimopoulos:1997:EPP,% Nebel:1997:SHQ% }. \NAMECITE{Proceedings}{% Borgida:1995:PIW,% Nebel:1992:PKR,% Brewka:1997:KAA,% Nebel:1994:KAA% }. \NAMECITE{Programm}{% Mittelstein:1976:HPS% }. \NAMECITE{{Programmieren}}{% Nebel:1985:PWL% }. \NAMECITE{programs}{% Dimopoulos:1997:EPP% }. \NAMECITE{{Project}}{% Andre:1993:PPB% }. \NAMECITE{Projection}{% Nebel:1991:CCT,% Nebel:1992:CCT,% Nebel:1994:CCT% }. \NAMECITE{Properties}{% Nebel:1991:TCS,% Nebel:1995:CPQ% }. \NAMECITE{Proposal}{% Baader:1990:TKR,% Baader:1991:TKR,% Andre:1993:PPB% }. \NAMECITE{propositional}{% Nebel:2000:CEP% }. \NAMECITE{Qualitative}{% Li:2007:QSR,% Nebel:1994:MQT,% Nebel:1995:CPQ,% Renz:2007:QSR,% Scivos:2001:DCD,% Nebel:1997:SHQ,% Renz:1999:CQS,% Renz:2001:EMQ% }. \NAMECITE{{Quantifizierung}}{% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{{RAT}}{% Heinsohn:1992:RRA% }. \NAMECITE{{Realisierung}}{% Nebel:1980:WAA% }. \NAMECITE{Reasoning}{% Li:2007:QSR,% Nebel:1987:CCT,% Nebel:1988:CCT,% Nebel:1988:HRB,% Nebel:1989:RRA,% Nebel:1989:TRI,% Nebel:1990:RRA,% Nebel:1990:RRH,% Nebel:1990:TRI,% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Nebel:1991:TRIa,% Nebel:1991:TRIb,% Nebel:1992:PKR,% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:CPQ,% Nebel:1995:RAT,% Padgham:1993:CCN,% Renz:1998:SRT,% Dimopoulos:2002:CCA,% Freksa:2005:SCI,% Nebel:1991:BRD,% Nebel:1991:TRI,% Nebel:1997:SHQ,% Renz:1999:CQS,% Renz:2001:EMQ,% Renz:2007:QSR% }. \NAMECITE{region}{% Renz:1999:CQS% }. \NAMECITE{{Reise}}{% Marburger:1984:HAT% }. \NAMECITE{Related}{% Nebel:1991:CCT% }. \NAMECITE{Relations}{% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:RAT% }. \NAMECITE{Reliable}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{Report}{% Nebel:1991:IWTb% }. \NAMECITE{Representation}{% Baader:1991:TKR,% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO,% Heinsohn:1991:IAR,% Heinsohn:1992:EATa,% Heinsohn:1992:EATb,% Heinsohn:1992:RRA,% Heinsohn:1994:EAT,% Lakemeyer:1994:FKR,% Lakemeyer:1994:FKRa,% Li:2007:QSR,% Nebel:1987:IIBa,% Nebel:1987:IIBb,% Nebel:1989:RRA,% Nebel:1989:WHH,% Nebel:1990:RRA,% Nebel:1990:RRH,% Nebel:1992:PKR,% Nebel:1992:TLR,% Nebel:1994:BRO,% Nebel:1995:BRO,% Patel-Schneider:1990:TSL,% Profitlich:1991:CAT,% Schmiedel:1986:PCS,% Baader:1990:TKR% }. \NAMECITE{Reservation}{% Hoeppner:1984:DHAa% }. \NAMECITE{Rest}{% Nebel:1991:ADFa,% Nebel:1991:ADFb% }. \NAMECITE{Results}{% Backstrom:1993:CRSa,% Backstrom:1993:CRSb,% Baeckstroem:1995:CRS,% Nebel:1995:CPQ,% Backstrom:1995:CRS% }. \NAMECITE{Reuse}{% Nebel:1993:PRV,% Nebel:1995:PRV% }. \NAMECITE{revise}{% Nebel:1998:HHI% }. \NAMECITE{Revised}{% Freksa:2005:SCI% }. \NAMECITE{Revision}{% Nebel:1989:KLA,% Nebel:1989:KLAb,% Nebel:1990:RRH,% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Nebel:1994:BRO,% Nebel:1995:BRO,% Nebel:1991:BRD,% Nebel:1992:SBA% }. \NAMECITE{Right}{% Weigel:2001:CFD% }. \NAMECITE{Robotic}{% Gulmann:1999:CFR,% Gutmann:1999:CFR,% Nebel:2001:CPR% }. \NAMECITE{Robots}{% Nebel:2001:CPR% }. \NAMECITE{Saarbrucken}{% Nebel:1994:KAA% }. \NAMECITE{{SAS}}{% Backstrom:1993:CRSa,% Backstrom:1993:CRSb,% Backstrom:1995:CRS,% Baeckstroem:1995:CRS% }. \NAMECITE{Scene}{% Hoeppner:1984:DHAb% }. \NAMECITE{Schemata}{% Bergamaschi:1994:ABV% }. \NAMECITE{Schemes}{% Nebel:1994:BRO,% Nebel:1995:BRO% }. \NAMECITE{selected}{% Freksa:2005:SCI% }. \NAMECITE{Self}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{Self-Localization}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{{Semantic}}{% Kobsa:1989:BWF% }. \NAMECITE{Semantics}{% Nebel:1991:TCS,% Nebel:1994:BRO,% Nebel:1995:BRO% }. \NAMECITE{semantisches}{% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{Seminar}{% Nebel:1991:IWTb% }. \NAMECITE{Sensing}{% Dietl:2002:CFG% }. \NAMECITE{Sensor}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{September}{% Brewka:1997:KAA,% Nebel:1994:KAA% }. \NAMECITE{Sessions}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc% }. \NAMECITE{Situation}{% Hoeppner:1984:DHAa% }. \NAMECITE{Skills}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{Soccer}{% Gulmann:1999:CFR,% Gutmann:1999:CFR,% Nebel:2001:CPR% }. \NAMECITE{Solving}{% Nebel:1997:SHQ% }. \NAMECITE{Some}{% Luck:1988:SAK,% Nebel:1991:CCT% }. \NAMECITE{Sort}{% Baader:1991:EFL,% Baader:1993:EFL% }. \NAMECITE{Spatial}{% Li:2007:QSR,% Nebel:1995:CPQ,% Renz:1998:SRT,% Freksa:2005:SCI,% Renz:1999:CQS,% Renz:2001:EMQ,% Renz:2007:QSR,% Freksa:2005:SCI% }. \NAMECITE{{Speicherallokationsstrategie}}{% Dannenberg:1983:DSF% }. \NAMECITE{{Sprache}}{% Mittelstein:1976:HPS,% Nebel:1983:LSa,% Nebel:1983:LSb% }. \NAMECITE{Step}{% Padgham:1993:CCN% }. \NAMECITE{Story}{% Baeckstroem:1992:CCP% }. \NAMECITE{Study}{% Schmiedel:1986:PCS% }. \NAMECITE{Subclass}{% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:RAT% }. \NAMECITE{subset}{% Koehler:1997:EPG% }. \NAMECITE{Subsumption}{% Patel-Schneider:1990:TSL% }. \NAMECITE{Supporting}{% Bergamaschi:1994:ABV% }. \NAMECITE{{Syntaktische}}{% Marburger:1983:NDHa,% Marburger:1983:NDHb% }. \NAMECITE{syntaktischen}{% Mittelstein:1976:HPS% }. \NAMECITE{Syntax}{% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Nebel:1992:SBA,% Nebel:1991:BRD% }. \NAMECITE{Syntax-Based}{% Nebel:1991:BRDa,% Nebel:1991:BRDb,% Nebel:1992:SBA,% Nebel:1991:BRD% }. \NAMECITE{System}{% Christaller:1983:WNZ,% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb,% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc,% Luck:1985:BS,% Luck:1987:ABS,% Peltason:1987:UGB,% Nebel:1982:NSHa,% Nebel:1982:NSHb,% Nebel:1984:UUL% }. \NAMECITE{{Systemrahmen}}{% Nebel:1982:SHA% }. \NAMECITE{Systems}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO,% Heinsohn:1992:EATa,% Heinsohn:1992:EATb,% Heinsohn:1994:EAT,% Hoeppner:1983:BDIa,% Hoeppner:1983:BDIb,% Luck:1988:SAK,% Nebel:1987:IIBa,% Nebel:1987:IIBb,% Nebel:1989:WHH,% Nebel:1990:RRH,% Nebel:1992:TLR,% Profitlich:1991:CAT% }. \NAMECITE{Taking}{% Nebel:1985:NGK,% Nebel:1986:NGK% }. \NAMECITE{Team}{% Gulmann:1999:CFR,% Gutmann:1999:CFR% }. \NAMECITE{Techniques}{% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO% }. \NAMECITE{Temporal}{% Nebel:1991:CCT,% Nebel:1992:CCT,% Nebel:1993:RAT,% Nebel:1994:CCT,% Nebel:1994:MQT,% Nebel:1994:RAT,% Nebel:1995:RAT,% Nebel:1997:SHQ% }. \NAMECITE{Term}{% Patel-Schneider:1990:TSL% }. \NAMECITE{Terminal}{% Hoeppner:1984:DHAa,% Hoeppner:1984:DHAb,% Hoeppner:1984:DHAc% }. \NAMECITE{Terminological}{% Baader:1990:TKR,% Baader:1991:TKR,% Baader:1992:EAO,% Baader:1993:EAO,% Baader:1994:EAO,% Heinsohn:1991:IAR,% Heinsohn:1992:EATa,% Heinsohn:1992:EATb,% Heinsohn:1992:RRA,% Heinsohn:1994:EAT,% Nebel:1987:CCT,% Nebel:1987:TC,% Nebel:1988:CCT,% Nebel:1989:TRI,% Nebel:1990:TRI,% Nebel:1991:IWTa,% Nebel:1991:IWTb,% Nebel:1991:TCS,% Nebel:1991:TRI,% Nebel:1991:TRIa,% Nebel:1991:TRIb,% Nebel:1992:TLR,% Profitlich:1991:CAT% }. \NAMECITE{Theoretic}{% Nebel:1992:PMV,% Nebel:1993:PMV% }. \NAMECITE{Theoretical}{% Bergamaschi:1990:TFC,% Nebel:1993:PRV,% Nebel:1995:PRV% }. \NAMECITE{Thing}{% Weigel:2001:CFD% }. \NAMECITE{Time}{% Nebel:1992:CCK% }. \NAMECITE{Topological}{% Renz:1998:SRT% }. \NAMECITE{Tour}{% Marburger:1984:HAT% }. \NAMECITE{Tractable}{% Nebel:1993:RAT,% Nebel:1994:RAT,% Nebel:1995:RAT,% Renz:1999:CQS% }. \NAMECITE{Traffic}{% Hoeppner:1984:DHAb% }. \NAMECITE{{{\"U}bersetzungs}}{% Nebel:1984:UUL% }. \NAMECITE{{{\"U}bersetzungs-System}}{% Nebel:1984:UUL% }. \NAMECITE{UCI}{% Nebel:1984:UUL,% Dannenberg:1983:DSF% }. \NAMECITE{UCI-LISP}{% Nebel:1984:UUL,% Dannenberg:1983:DSF% }. \NAMECITE{{ULM}}{% Nebel:1984:UUL% }. \NAMECITE{Uncertainty}{% Baader:1991:EFL,% Baader:1993:EFL% }. \NAMECITE{Understanding}{% Baeckstroem:1992:CCP% }. \NAMECITE{unterschiedlichen}{% Christaller:1983:WNZ% }. \NAMECITE{{USA}}{% Marburger:1984:HAT% }. \NAMECITE{{USA-Reise}}{% Marburger:1984:HAT% }. \NAMECITE{User}{% Peltason:1987:UGB% }. \NAMECITE{using}{% Heinsohn:1992:RRA,% Nebel:1997:SHQ,% Renz:2007:QSR% }. \NAMECITE{Validation}{% Bergamaschi:1994:ABV,% Nebel:1992:CCT,% Nebel:1994:CCT% }. \NAMECITE{vanilla}{% Nebel:1985:HWDa,% Nebel:1985:HWDb% }. \NAMECITE{verdeckten}{% Nebel:1980:WAA% }. \NAMECITE{versus}{% Nebel:1992:PMV,% Nebel:1993:PMV,% Nebel:1993:PRV,% Nebel:1995:PRV% }. \NAMECITE{Video}{% Andre:1995:WMI% }. \NAMECITE{View}{% Dietl:2002:CFG,% Nebel:1985:NGK,% Nebel:1986:NGK% }. \NAMECITE{Volume}{% Lakemeyer:1994:FKR% }. \NAMECITE{vs}{% Nebel:1994:MQT% }. \NAMECITE{{Weiterf{\"u}hrende}}{% Nebel:1980:WAA% }. \NAMECITE{well}{% Nebel:1985:HWDa,% Nebel:1985:HWDb% }. \NAMECITE{{WIP}}{% Andre:1995:WMI% }. \NAMECITE{{Wissens}}{% Nebel:1982:NSHa,% Nebel:1982:NSHb% }. \NAMECITE{{Wissens-}}{% Nebel:1982:NSHa,% Nebel:1982:NSHb% }. \NAMECITE{{Wissensbasierter}}{% Christaller:1983:WNZ% }. \NAMECITE{{Wissensrepr{\"a}sentation}}{% Owsnicki-Klewe:1993:WLE% }. \NAMECITE{Workshop}{% Borgida:1995:PIW,% Nebel:1991:IWTa,% Nebel:1991:IWTb,% Kobsa:1989:BWF,% Nebel:1985:PWL% }. \NAMECITE{World}{% Nebel:1991:ADFa,% Nebel:1991:ADFb% }. \NAMECITE{{Zugang}}{% Christaller:1983:WNZ% }. \NAMECITE{{Zugriff}}{% Nebel:1982:NSHa,% Nebel:1982:NSHb% }. \NAMECITE{zum}{% Nebel:1985:PWL% }. \NAMECITE{zur}{% Mittelstein:1976:HPS,% Nebel:1976:EDP% }.