Search dblp for Publications

export results for "toc:db/conf/ki/gwai1982.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ki/BendaHRV82,
  author       = {W. Benda and
                  G{\"{u}}nter Hornung and
                  Peter Raulefs and
                  F. Vollmann},
  editor       = {Wolfgang Wahlster},
  title        = {Der META-Beweiser f{\"{u}}r die Zahlentheorie},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {142--153},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_10},
  doi          = {10.1007/978-3-642-68826-3\_10},
  timestamp    = {Tue, 19 Jun 2018 08:06:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/BendaHRV82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Bidoit82,
  author       = {Michel Bidoit},
  editor       = {Wolfgang Wahlster},
  title        = {Proofs by Induction in "Fairly" Specified Equational Theories},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {154--166},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_11},
  doi          = {10.1007/978-3-642-68826-3\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Bidoit82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Christaller82,
  author       = {Thomas Christaller},
  editor       = {Wolfgang Wahlster},
  title        = {Konsistenz{\"{u}}berpr{\"{u}}fung bei sich ver{\"{a}}ndernden
                  Wissensbasen},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {63--71},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_5},
  doi          = {10.1007/978-3-642-68826-3\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Christaller82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/EmdeHR82,
  author       = {Werner Emde and
                  Christopher Habel and
                  Claus{-}Rainer Rollinger},
  editor       = {Wolfgang Wahlster},
  title        = {Automatische Akquisition von inferentiellem Wissen},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {72--81},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_6},
  doi          = {10.1007/978-3-642-68826-3\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/EmdeHR82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Gehrke82,
  author       = {Manfred Gehrke},
  editor       = {Wolfgang Wahlster},
  title        = {Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen
                  Parsing-Algorithmus auf der Grundlage kaskadierter ATNs},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {205--214},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_15},
  doi          = {10.1007/978-3-642-68826-3\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Gehrke82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Habel82,
  author       = {Christopher Habel},
  editor       = {Wolfgang Wahlster},
  title        = {Zur Repr{\"{a}}sentation indefinit deskribierter Objekte in KI-Systemen},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {82--91},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_7},
  doi          = {10.1007/978-3-642-68826-3\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Habel82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Halpern82,
  author       = {Mordechai Halpern},
  editor       = {Wolfgang Wahlster},
  title        = {Inductive Inference in Finite Algebraic Structures},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {167--176},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_12},
  doi          = {10.1007/978-3-642-68826-3\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Halpern82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Herold82,
  author       = {Alexander Herold},
  editor       = {Wolfgang Wahlster},
  title        = {Universal Unification and a Class of Equational Theories},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {177--190},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_13},
  doi          = {10.1007/978-3-642-68826-3\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Herold82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Hoeppner82,
  author       = {Wolfgang Hoeppner},
  editor       = {Wolfgang Wahlster},
  title        = {ATN-Steuerung durch Kasusrahmen},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {215--226},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_16},
  doi          = {10.1007/978-3-642-68826-3\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Hoeppner82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Hussmann82,
  author       = {Michael Hu{\ss}mann},
  editor       = {Wolfgang Wahlster},
  title        = {Ellipsenrekonstruktion im Kontext: Forderungen an eine Ellipsenkomponente
                  und ihre Realisierung in {SWYSS}},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {227--236},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_17},
  doi          = {10.1007/978-3-642-68826-3\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Hussmann82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/LuckO82,
  author       = {Kai von Luck and
                  Bernd Owsnicki{-}Klewe},
  editor       = {Wolfgang Wahlster},
  title        = {{N.N.:} {A} View of Planning in Chess},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {92--101},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_8},
  doi          = {10.1007/978-3-642-68826-3\_8},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ki/LuckO82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Neumann82a,
  author       = {Bernd Neumann},
  editor       = {Wolfgang Wahlster},
  title        = {Knowledge Sources for Understanding and Describing Image Sequences},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_1},
  doi          = {10.1007/978-3-642-68826-3\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Neumann82a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Novak82,
  author       = {Hans{-}Joachim Novak},
  editor       = {Wolfgang Wahlster},
  title        = {On the Selection of Verbs for Natural Language Description of Traffic
                  Scenes},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {22--31},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_2},
  doi          = {10.1007/978-3-642-68826-3\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Novak82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Radig82,
  author       = {Bernd Radig},
  editor       = {Wolfgang Wahlster},
  title        = {Symbolic Description and Matching of Image Sequences},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {32--41},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_3},
  doi          = {10.1007/978-3-642-68826-3\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Radig82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Schefe82,
  author       = {Peter Schefe},
  editor       = {Wolfgang Wahlster},
  title        = {Some Fundamental Issues in Knowledge Representation},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {42--62},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_4},
  doi          = {10.1007/978-3-642-68826-3\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Schefe82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Schwind82,
  author       = {Camilla Schwind},
  editor       = {Wolfgang Wahlster},
  title        = {Natural Language Access to {PROLOG} Database Systems},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {237--246},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_18},
  doi          = {10.1007/978-3-642-68826-3\_18},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Schwind82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/SiekmannS82,
  author       = {J{\"{o}}rg H. Siekmann and
                  Peter Szab{\'{o}}},
  editor       = {Wolfgang Wahlster},
  title        = {Universal Unification},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {102--141},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_9},
  doi          = {10.1007/978-3-642-68826-3\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/SiekmannS82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ki/Smolka82,
  author       = {Gert Smolka},
  editor       = {Wolfgang Wahlster},
  title        = {Completeness of the Connection Graph Proof Procedure for Unit-Refutable
                  Clause Sets},
  booktitle    = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  pages        = {191--204},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3\_14},
  doi          = {10.1007/978-3-642-68826-3\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Smolka82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ki/1982,
  editor       = {Wolfgang Wahlster},
  title        = {GWAI-82, 6th German Workshop on Artificial Intelligence, Bad Honnef,
                  Germany, September 27 - October 1, 1982, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {58},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/978-3-642-68826-3},
  doi          = {10.1007/978-3-642-68826-3},
  isbn         = {3-540-11960-4},
  timestamp    = {Tue, 19 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/1982.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.