default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/kifs:"
download as .bib file
@inproceedings{DBLP:conf/ki/ChristallerMS89,
author = {Thomas Christaller and
Rainer Mantz and
Manfred Scheer},
editor = {Kai von Luck},
title = {Einf{\"{u}}hrung in {LISP}},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {122--166},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_6},
doi = {10.1007/978-3-642-74563-8\_6},
timestamp = {Sun, 12 Nov 2023 02:15:50 +0100},
biburl = {https://dblp.org/rec/conf/ki/ChristallerMS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Eikmeyer89,
author = {Hans{-}J{\"{u}}rgen Eikmeyer},
editor = {Kai von Luck},
title = {Prolog},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {100--121},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_5},
doi = {10.1007/978-3-642-74563-8\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Eikmeyer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Gorz89,
author = {G{\"{u}}nther G{\"{o}}rz},
editor = {Kai von Luck},
title = {Werarbeitung nat{\"{u}}rlicher Sprache},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {22--51},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_2},
doi = {10.1007/978-3-642-74563-8\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Gorz89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Habel89,
author = {Christopher Habel},
editor = {Kai von Luck},
title = {{KI:} Woher kommt sie, wo steht sie, wohin geht sie?},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {1--21},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_1},
doi = {10.1007/978-3-642-74563-8\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Habel89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kanngiesser89,
author = {Siegfried Kanngie{\ss}er},
editor = {Kai von Luck},
title = {Korrespondenzen zwischen {KI} und Linguistik},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {270--282},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_12},
doi = {10.1007/978-3-642-74563-8\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Kanngiesser89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Lehmann89,
author = {Egbert Lehmann},
editor = {Kai von Luck},
title = {Wissensrepr{\"{a}}sentation},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {52--77},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_3},
doi = {10.1007/978-3-642-74563-8\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Lehmann89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Levi89,
author = {Paul Levi},
editor = {Kai von Luck},
title = {Verteilte Aktionsplanung f{\"{u}}r autonome mobile Agenten},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {188--201},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_8},
doi = {10.1007/978-3-642-74563-8\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Levi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Link89,
author = {Godehard Link},
editor = {Kai von Luck},
title = {Semantik und sprachliche Information},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {260--269},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_11},
doi = {10.1007/978-3-642-74563-8\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Link89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Palm89,
author = {G{\"{u}}nther Palm},
editor = {Kai von Luck},
title = {Informationsverarbeitung in neuronalen Netzen},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {299--302},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_14},
doi = {10.1007/978-3-642-74563-8\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Palm89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Pinkal89,
author = {Manfred Pinkal},
editor = {Kai von Luck},
title = {Neuere Semantikmodelle f{\"{u}}r die Verarbeitung nat{\"{u}}rlicher
Sprache},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {202--223},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_9},
doi = {10.1007/978-3-642-74563-8\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Pinkal89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Puppe89,
author = {Frank Puppe},
editor = {Kai von Luck},
title = {Wissensrepr{\"{a}}sentationen und Probleml{\"{o}}sungstrategien
in Expertensystemen},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {167--187},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_7},
doi = {10.1007/978-3-642-74563-8\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Puppe89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Stoyan89,
author = {Herbert Stoyan},
editor = {Kai von Luck},
title = {KI-Programmierung},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {78--99},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_4},
doi = {10.1007/978-3-642-74563-8\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Stoyan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Struss89,
author = {Peter Struss},
editor = {Kai von Luck},
title = {Qualitative Reasoning},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {224--259},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_10},
doi = {10.1007/978-3-642-74563-8\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Struss89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Wettler89,
author = {Manfred Wettler},
editor = {Kai von Luck},
title = {Eine psychologische Kritik des Intuitionismus in der Kognitionsforschung},
booktitle = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
pages = {283--298},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8\_13},
doi = {10.1007/978-3-642-74563-8\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Wettler89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1987kifs1,
editor = {Thomas Christaller},
title = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-83739-5},
doi = {10.1007/978-3-642-83739-5},
isbn = {3-540-50884-8},
timestamp = {Fri, 13 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/1987kifs1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1989kifs,
editor = {Kai von Luck},
title = {K{\"{u}}nstliche Intelligenz, 7. Fr{\"{u}}hjahrsschule,
KIFS-89, G{\"{u}}nne, 11.-19. M{\"{a}}rz 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {203},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-74563-8},
doi = {10.1007/978-3-642-74563-8},
isbn = {3-540-50878-3},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ki/1989kifs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1986kifs,
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/978-3-642-73405-2},
doi = {10.1007/978-3-642-73405-2},
isbn = {3-540-18903-3},
timestamp = {Fri, 13 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/1986kifs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Brewka87,
author = {Gerhard Brewka},
editor = {Thomas Christaller},
title = {Nichtmonotone Logiken. Ein einf{\"{u}}hrender {\"{U}}berblick},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {188--217},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_7},
doi = {10.1007/978-3-642-83739-5\_7},
timestamp = {Fri, 13 Jul 2018 08:26:38 +0200},
biburl = {https://dblp.org/rec/conf/ki/Brewka87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BuddeKSZ87,
author = {Reinhard Budde and
Karin Kuhlenkamp and
Karl{-}Heinz Sylla and
Heinz Z{\"{u}}llighoven},
editor = {Thomas Christaller},
title = {Methodik des Programmierens in Prolog},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {1--28},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_1},
doi = {10.1007/978-3-642-83739-5\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/BuddeKSZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BuddeKSZ87a,
author = {Reinhard Budde and
Karin Kuhlenkamp and
Karl{-}Heinz Sylla and
Heinz Z{\"{u}}llighoven},
editor = {Thomas Christaller},
title = {Konstruktion interaktiver Anwendungen in einer Prolog-Programmierumgebung},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {29--41},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_2},
doi = {10.1007/978-3-642-83739-5\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/BuddeKSZ87a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Diederich87,
author = {Joachim Diederich},
editor = {Thomas Christaller},
title = {Techniken des Wissenserwerbs},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {295--335},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_10},
doi = {10.1007/978-3-642-83739-5\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Diederich87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/LuckO87,
author = {Kai von Luck and
Bernd Owsnicki{-}Klewe},
editor = {Thomas Christaller},
title = {Neuere KI-Formalismen zur Repr{\"{a}}sentation von Wissen. Eine
Fallstudie},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {157--187},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_6},
doi = {10.1007/978-3-642-83739-5\_6},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ki/LuckO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MobusT87,
author = {Claus M{\"{o}}bus and
Heinz{-}J{\"{u}}rgen Thole},
editor = {Thomas Christaller},
title = {Tutors, Instructions and Helps},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {336--385},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_11},
doi = {10.1007/978-3-642-83739-5\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MobusT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Pletat87,
author = {Udo Pletat},
editor = {Thomas Christaller},
title = {Integrating Model Theoretic and Proof Theoretic Interpretation of
Logic Programs},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {42--64},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_3},
doi = {10.1007/978-3-642-83739-5\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Pletat87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schmauch87,
author = {Cosima Schmauch},
editor = {Thomas Christaller},
title = {Wissensrepr{\"{a}}sentation. Grundkurs},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {103--156},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_5},
doi = {10.1007/978-3-642-83739-5\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schmauch87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schmitt87,
author = {Frank H. Schmitt},
editor = {Thomas Christaller},
title = {Knowledge Engineering mit einer Expertensystem-Shell},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {261--294},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_9},
doi = {10.1007/978-3-642-83739-5\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schmitt87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/VossV87,
author = {Angi Vo{\ss} and
Hans Vo{\ss}},
editor = {Thomas Christaller},
title = {Formalizing Local Constraint Propagation Methods},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {218--260},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_8},
doi = {10.1007/978-3-642-83739-5\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/VossV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Walther87,
author = {Christoph Walther},
editor = {Thomas Christaller},
title = {Many-Sorted Resolution},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {65--102},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_4},
doi = {10.1007/978-3-642-83739-5\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Walther87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/WilksB87,
author = {Yorick Wilks and
Afzal Ballim},
editor = {Thomas Christaller},
title = {Belief Systems: Ascribing Belief},
booktitle = {K{\"{u}}nstliche Intelligenz, 5. Fr{\"{u}}hjahrsschule,
KIFS-87, G{\"{u}}nne, Deutschland, 28. M{\"{a}}rz - 5. April
1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {202},
pages = {386--403},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-83739-5\_12},
doi = {10.1007/978-3-642-83739-5\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/WilksB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Christaller86,
author = {Thomas Christaller},
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {Einf{\"{u}}hrung in {LISP}},
booktitle = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
pages = {1--35},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73405-2\_1},
doi = {10.1007/978-3-642-73405-2\_1},
timestamp = {Fri, 13 Jul 2018 08:25:52 +0200},
biburl = {https://dblp.org/rec/conf/ki/Christaller86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GustK86,
author = {Helmar Gust and
Michael K{\"{o}}nig},
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {{PROLOG:} PROgrammieren mit LOGik - Eine Einf{\"{u}}hrung},
booktitle = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
pages = {36--57},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73405-2\_2},
doi = {10.1007/978-3-642-73405-2\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/GustK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/LeviFL86,
author = {Paul Levi and
J{\"{u}}rgen Foldenauer and
Th. L{\"{o}}ffler},
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {Robotik und K{\"{u}}nstliche Intelligenz},
booktitle = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
pages = {58--133},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73405-2\_3},
doi = {10.1007/978-3-642-73405-2\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/LeviFL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Penner86,
author = {Volker Penner},
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {Programmverifikation},
booktitle = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
pages = {134--182},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73405-2\_4},
doi = {10.1007/978-3-642-73405-2\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Penner86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/PuppeV86,
author = {Frank Puppe and
Hans Vo{\ss}},
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {Qualitative Modelle in wissensbasierten Systemen},
booktitle = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
pages = {183--244},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73405-2\_5},
doi = {10.1007/978-3-642-73405-2\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/PuppeV86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SchmalhoferW86,
author = {Franz Schmalhofer and
Thomas Wetter},
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {Kognitive Modellierung: Menschliche Wissensrepr{\"{a}}sentation
und Verarbeitungsstrategien},
booktitle = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
pages = {245--291},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73405-2\_6},
doi = {10.1007/978-3-642-73405-2\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/SchmalhoferW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Walther86,
author = {Christoph Walther},
editor = {Thomas Christaller and
Hans{-}Werner Hein and
Michael M. Richter},
title = {Automatisches Beweisen},
booktitle = {K{\"{u}}nstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder,
Fr{\"{u}}hjahrsschulen, Dassel, Deutschland, 8.-16. M{\"{a}}rz
1985 und 8.-16. M{\"{a}}rz 1986},
series = {Informatik-Fachberichte},
volume = {159},
pages = {292--339},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/978-3-642-73405-2\_7},
doi = {10.1007/978-3-642-73405-2\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Walther86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1984kifs,
editor = {Christopher Habel},
title = {K{\"{u}}stliche Intelligenz, Repr{\"{a}}sentation von Wissen
und nat{\"{u}}rlichsprachliche Systeme, Fr{\"{u}}hjahrsschule,
Dassel (Solling), 5.-16. M{\"{a}}rz 1984},
series = {Informatik-Fachberichte},
volume = {93},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-70283-9},
doi = {10.1007/978-3-642-70283-9},
isbn = {3-540-15190-7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/1984kifs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Bibel84,
author = {Wolfgang Bibel},
editor = {Christopher Habel},
title = {Inferenzmethoden},
booktitle = {K{\"{u}}stliche Intelligenz, Repr{\"{a}}sentation von Wissen
und nat{\"{u}}rlichsprachliche Systeme, Fr{\"{u}}hjahrsschule,
Dassel (Solling), 5.-16. M{\"{a}}rz 1984},
series = {Informatik-Fachberichte},
volume = {93},
pages = {1--47},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-70283-9\_1},
doi = {10.1007/978-3-642-70283-9\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Bibel84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Christaller84,
author = {Thomas Christaller},
editor = {Christopher Habel},
title = {Parser als integraler Bestandteil von Sprachverarbeitungssystemen},
booktitle = {K{\"{u}}stliche Intelligenz, Repr{\"{a}}sentation von Wissen
und nat{\"{u}}rlichsprachliche Systeme, Fr{\"{u}}hjahrsschule,
Dassel (Solling), 5.-16. M{\"{a}}rz 1984},
series = {Informatik-Fachberichte},
volume = {93},
pages = {159--183},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-70283-9\_4},
doi = {10.1007/978-3-642-70283-9\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Christaller84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HabelR84,
author = {Christopher Habel and
Claus{-}Rainer Rollinger},
editor = {Christopher Habel},
title = {Lernen und Wissensakquisitation},
booktitle = {K{\"{u}}stliche Intelligenz, Repr{\"{a}}sentation von Wissen
und nat{\"{u}}rlichsprachliche Systeme, Fr{\"{u}}hjahrsschule,
Dassel (Solling), 5.-16. M{\"{a}}rz 1984},
series = {Informatik-Fachberichte},
volume = {93},
pages = {249--320},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-70283-9\_6},
doi = {10.1007/978-3-642-70283-9\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/HabelR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Laubsch84,
author = {Joachim H. Laubsch},
editor = {Christopher Habel},
title = {Techniken der Wissensdarstellung},
booktitle = {K{\"{u}}stliche Intelligenz, Repr{\"{a}}sentation von Wissen
und nat{\"{u}}rlichsprachliche Systeme, Fr{\"{u}}hjahrsschule,
Dassel (Solling), 5.-16. M{\"{a}}rz 1984},
series = {Informatik-Fachberichte},
volume = {93},
pages = {48--93},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-70283-9\_2},
doi = {10.1007/978-3-642-70283-9\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Laubsch84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Quasthoff84,
author = {Uta M. Quasthoff},
editor = {Christopher Habel},
title = {Textverstehen und Textproduktion},
booktitle = {K{\"{u}}stliche Intelligenz, Repr{\"{a}}sentation von Wissen
und nat{\"{u}}rlichsprachliche Systeme, Fr{\"{u}}hjahrsschule,
Dassel (Solling), 5.-16. M{\"{a}}rz 1984},
series = {Informatik-Fachberichte},
volume = {93},
pages = {184--248},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-70283-9\_5},
doi = {10.1007/978-3-642-70283-9\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Quasthoff84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schwind84,
author = {Camilla Schwind},
editor = {Christopher Habel},
title = {Semantikkonzepte in der K{\"{u}}nstlichen Intelligenz},
booktitle = {K{\"{u}}stliche Intelligenz, Repr{\"{a}}sentation von Wissen
und nat{\"{u}}rlichsprachliche Systeme, Fr{\"{u}}hjahrsschule,
Dassel (Solling), 5.-16. M{\"{a}}rz 1984},
series = {Informatik-Fachberichte},
volume = {93},
pages = {94--158},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-70283-9\_3},
doi = {10.1007/978-3-642-70283-9\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schwind84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Bibel82,
author = {Wolfgang Bibel},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Deduktionsverfahren},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {99--140},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_3},
doi = {10.1007/978-3-642-68828-7\_3},
timestamp = {Sat, 23 Jun 2018 18:48:01 +0200},
biburl = {https://dblp.org/rec/conf/ki/Bibel82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Buchberger82,
author = {Bruno Buchberger},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Computer-unterst{\"{u}}tzter Algorithmenentwurf},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {141--201},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_4},
doi = {10.1007/978-3-642-68828-7\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Buchberger82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Foith82,
author = {J{\"{o}}rgen P. Foith},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Robotertechnologie},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {357--381},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_7},
doi = {10.1007/978-3-642-68828-7\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Foith82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Neumann82,
author = {Bernd Neumann},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Bildverstehen},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {285--355},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_6},
doi = {10.1007/978-3-642-68828-7\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Neumann82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Raulefs82,
author = {Peter Raulefs},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Expertensysteme},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {61--98},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_2},
doi = {10.1007/978-3-642-68828-7\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Raulefs82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Siekmann82,
author = {J{\"{o}}rg H. Siekmann},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Einf{\"{u}}hrung in die K{\"{u}}nstliche Intelligenz},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {1--60},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_1},
doi = {10.1007/978-3-642-68828-7\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Siekmann82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Wahlster82,
author = {Wolfgang Wahlster},
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {Nat{\"{u}}rlichsprachliche Systeme - Eine Einf{\"{u}}hrung
in die sprachorientierte KI-Forschung},
booktitle = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
pages = {203--283},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7\_5},
doi = {10.1007/978-3-642-68828-7\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Wahlster82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1982kifs,
editor = {Wolfgang Bibel and
J{\"{o}}rg H. Siekmann},
title = {K{\"{u}}nstliche Intelligenz, Fr{\"{u}}hjahrsschule, Teisendorf,
Deutschland, 15.-24. M{\"{a}}rz 1982},
series = {Informatik-Fachberichte},
volume = {59},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/978-3-642-68828-7},
doi = {10.1007/978-3-642-68828-7},
isbn = {3-540-11974-4},
timestamp = {Sat, 23 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/1982kifs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-12-03 01:44 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
