Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ki/gwai1983.bht:"
download as .bib file
@inproceedings{DBLP:conf/ki/BunkeS83,
author = {Horst Bunke and
Gerhard Sagerer},
editor = {Bernd Neumann},
title = {A System for Diagnostic Evaluation of Scintigraphic Image Sequences},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {50--59},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_5},
doi = {10.1007/978-3-642-69391-5\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/BunkeS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Busemann83,
author = {Stephan Busemann},
editor = {Bernd Neumann},
title = {Oberfl{\"{a}}chentransformationen bei der Generierung geschriebener
Deutscher Sprache},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {90--99},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_9},
doi = {10.1007/978-3-642-69391-5\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Busemann83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/DilgerJ83,
author = {Werner Dilger and
Agnes Janson},
editor = {Bernd Neumann},
title = {Unifikationsgraphen f{\"{u}}r intelligentes Backtracking in Deduktionssystemen},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {189--196},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_17},
doi = {10.1007/978-3-642-69391-5\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/DilgerJ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Eder83,
author = {Elmar Eder},
editor = {Bernd Neumann},
title = {Properties of Substitutions and Unifications},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {197--206},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_18},
doi = {10.1007/978-3-642-69391-5\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Eder83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Eimermacher83,
author = {Michael Eimermacher},
editor = {Bernd Neumann},
title = {Parsing in {PROLOG} - Eine semantische Komponente},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {80--89},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_8},
doi = {10.1007/978-3-642-69391-5\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Eimermacher83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EisingerW83,
author = {Norbert Eisinger and
M. Weigele},
editor = {Bernd Neumann},
title = {A Technical Note on Splitting and Clausal Normal Form Algorithms},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {225--232},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_21},
doi = {10.1007/978-3-642-69391-5\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EisingerW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Emde83,
author = {Werner Emde},
editor = {Bernd Neumann},
title = {Kontrainduktives Lernen von Konzepten aus Fakten},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {169--178},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_15},
doi = {10.1007/978-3-642-69391-5\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Emde83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Habel83,
author = {Christopher Habel},
editor = {Bernd Neumann},
title = {Logische Systeme und Repr{\"{a}}sentationsprobleme},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {118--142},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_12},
doi = {10.1007/978-3-642-69391-5\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Habel83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hertzberg83,
author = {Joachim Hertzberg},
editor = {Bernd Neumann},
title = {On the Use of Operation Information in Problem Solving},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {179--188},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_16},
doi = {10.1007/978-3-642-69391-5\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Hertzberg83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Horacek83,
author = {Helmut Horacek},
editor = {Bernd Neumann},
title = {Zur Generierung zusammenh{\"{a}}ngender Texte},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {108--117},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_11},
doi = {10.1007/978-3-642-69391-5\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Horacek83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Horn83,
author = {Werner Horn},
editor = {Bernd Neumann},
title = {{ESDAT} - An Expert System for Primary Medical Care},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {1--10},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_1},
doi = {10.1007/978-3-642-69391-5\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Horn83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Horster83,
author = {Patrick Horster},
editor = {Bernd Neumann},
title = {Vollst{\"{a}}ndige Reduktionssysteme},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {233--240},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_22},
doi = {10.1007/978-3-642-69391-5\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Horster83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Hussmann83,
author = {Michael Hu{\ss}mann},
editor = {Bernd Neumann},
title = {Ein {VEHIQUEL} f{\"{u}}r den nat{\"{u}}rlichsprachlichen
Zugang zu Datenbanken},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {69--79},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_7},
doi = {10.1007/978-3-642-69391-5\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Hussmann83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Massone83,
author = {Lina Massone},
editor = {Bernd Neumann},
title = {{SYRIO:} {A} Knowledge-Based Approach to 2-D Robotic Vision},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {60--68},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_6},
doi = {10.1007/978-3-642-69391-5\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Massone83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MorikR83,
author = {Katharina Morik and
Claus{-}Rainer Rollinger},
editor = {Bernd Neumann},
title = {Partnermodellierung im Evidenzraum},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {158--168},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_14},
doi = {10.1007/978-3-642-69391-5\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MorikR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MylopoulosL83,
author = {John Mylopoulos and
Hector J. Levesque},
editor = {Bernd Neumann},
title = {An Overview of Knowledge Representation},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {143--157},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_13},
doi = {10.1007/978-3-642-69391-5\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MylopoulosL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Nebel83,
author = {Bernhard Nebel},
editor = {Bernd Neumann},
title = {Ist {LISP} eine 'langsame' Sprache?},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {21--30},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_3},
doi = {10.1007/978-3-642-69391-5\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Nebel83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Niemann83,
author = {Heinrich Niemann},
editor = {Bernd Neumann},
title = {Control Strategies in Image and Speech Understanding},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {31--49},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_4},
doi = {10.1007/978-3-642-69391-5\_4},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Niemann83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Novak83,
author = {Hans{-}Joachim Novak},
editor = {Bernd Neumann},
title = {On Verbalizing Real-World Events: An Interface of Natural Language
and Vision},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {100--107},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_10},
doi = {10.1007/978-3-642-69391-5\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Novak83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Ohlbach83,
author = {Hans J{\"{u}}rgen Ohlbach},
editor = {Bernd Neumann},
title = {Ein regelbasiertes Klauselgraph-Beweisverfahren},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {216--224},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_20},
doi = {10.1007/978-3-642-69391-5\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Ohlbach83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/PuppeP83,
author = {Frank Puppe and
Bernhard Puppe},
editor = {Bernd Neumann},
title = {Overview on {MED1:} {A} Heuristic Diagnostics System with an Efficient
Control-Structure},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {11--20},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_2},
doi = {10.1007/978-3-642-69391-5\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/PuppeP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Schonfeld83,
author = {Wolfgang Sch{\"{o}}nfeld},
editor = {Bernd Neumann},
title = {Proof Search for Unprovable Formulas},
booktitle = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
pages = {207--215},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5\_19},
doi = {10.1007/978-3-642-69391-5\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Schonfeld83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/1983,
editor = {Bernd Neumann},
title = {GWAI-83, 7th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 19-23, 1983},
series = {Informatik-Fachberichte},
volume = {76},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/978-3-642-69391-5},
doi = {10.1007/978-3-642-69391-5},
isbn = {3-540-12871-9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-22 16:41 CEST 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:
