Search dblp for Publications

export results for "toc:db/conf/ki/kifs1987-1.bht:"

 download as .bib file

@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}
}

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.