Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael M. Richter
@book{DBLP:books/sp/RichterPKS22,
author = {Michael M. Richter and
Sheuli Paul and
Veton K{\"{e}}puska and
Marius Silaghi},
title = {Signal Processing and Machine Learning with Applications},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-319-45372-9},
doi = {10.1007/978-3-319-45372-9},
isbn = {978-3-319-45371-2},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/RichterPKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0032926,
author = {Michael M. Richter and
Rosina O. Weber},
title = {Case-Based Reasoning - {A} Textbook},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40167-1},
doi = {10.1007/978-3-642-40167-1},
isbn = {978-3-642-40166-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0032926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ol/13/Richter13,
author = {Michael M. Richter},
editor = {G{\"{u}}nther G{\"{o}}rz and
Josef Schneeberger and
Ute Schmid},
title = {Fallbasiertes Schlie{\ss}en},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 5. Auflage},
pages = {297--318},
publisher = {Oldenbourg Wissenschaftsverlag},
year = {2013},
url = {https://doi.org/10.1524/9783486719796.297},
doi = {10.1524/9783486719796.297},
timestamp = {Fri, 21 May 2021 10:09:44 +0200},
biburl = {https://dblp.org/rec/books/ol/13/Richter13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/PaikariRR12,
author = {Elham Paikari and
Michael M. Richter and
G{\"{u}}nther Ruhe},
title = {Defect Prediction using Case-Based Reasoning: an Attribute Weighting
Technique Based upon sensitivity Analysis in Neural Networks},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {22},
number = {6},
pages = {747--768},
year = {2012},
url = {https://doi.org/10.1142/S0218194012400116},
doi = {10.1142/S0218194012400116},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/PaikariRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/incdm/RichterW12,
author = {Michael M. Richter and
Rosina O. Weber},
editor = {Isabelle Bichindaritz and
Petra Perner and
Georg Ru{\ss} and
Rainer Schmidt},
title = {From Texts, Images, and Data to Attribute Based Case Representation},
booktitle = {Advances in Data Mining, 12th Industrial Conference, {ICDM} 2012,
Berlin, Germany, July 2012, Workshop Proceedings, Workshop on Case-Based
Reasoning {CBR-MD} 2012, Workshop on Data Mining in Agriculture {DMA}
2012, Workshop on Data Mining in Life Sciences {DMLS} 2012, Workshop
on Data Mining in Marketing {DMM} 2012},
pages = {46--61},
publisher = {ibai Publishing},
year = {2012},
timestamp = {Tue, 22 Feb 2022 10:29:37 +0100},
biburl = {https://dblp.org/rec/conf/incdm/RichterW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/RichterM11,
author = {Michael M. Richter and
Sebastian von Mammen},
title = {Remarks on the future of {AI:} machines and communication},
journal = {Ann. Math. Artif. Intell.},
volume = {61},
number = {1},
pages = {41--46},
year = {2011},
url = {https://doi.org/10.1007/s10472-011-9246-x},
doi = {10.1007/S10472-011-9246-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/RichterM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/RichterM11,
author = {Michael M. Richter and
Sebastian von Mammen},
title = {Eine Zukunftsperspektive der K{\"{u}}nstlichen Intelligenz am
Beispiel menschlicher Kommunikation mit Rechnern},
journal = {K{\"{u}}nstliche Intell.},
volume = {25},
number = {4},
pages = {303--306},
year = {2011},
url = {https://doi.org/10.1007/s13218-011-0125-8},
doi = {10.1007/S13218-011-0125-8},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/RichterM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/NiknafsSRR11,
author = {Arash Niknafs and
Bo Sun and
Michael M. Richter and
G{\"{u}}nther Ruhe},
editor = {Runtong Zhang and
Jos{\'{e}} Cordeiro and
Xuewei Li and
Zhenji Zhang and
Juliang Zhang},
title = {Comparative Analysis of Three Techniques for Predictions in Time Series
Having Repetitive Patterns},
booktitle = {{ICEIS} 2011 - Proceedings of the 13th International Conference on
Enterprise Information Systems, Volume 1, Beijing, China, 8-11 June,
2011},
pages = {177--182},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 14:19:01 +0200},
biburl = {https://dblp.org/rec/conf/iceis/NiknafsSRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mldm/MohebzadaRR11,
author = {Jamshaid G. Mohebzada and
Michael M. Richter and
G{\"{u}}nther Ruhe},
editor = {Petra Perner},
title = {Sensitivity Analysis for Weak Constraint Generation},
booktitle = {Machine Learning and Data Mining in Pattern Recognition - 7th International
Conference, {MLDM} 2011, New York, NY, USA, August 30 - September
3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6871},
pages = {239--252},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23199-5\_18},
doi = {10.1007/978-3-642-23199-5\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/mldm/MohebzadaRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/PaikariRR10,
author = {Elham Paikari and
Michael M. Richter and
G{\"{u}}nther Ruhe},
title = {A Comparative Study of Attribute Weighting Techniques for Software
Defect Prediction Using Case-based Reasoning},
booktitle = {Proceedings of the 22nd International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco
Bay, CA, USA, July 1 - July 3, 2010},
pages = {380--386},
publisher = {Knowledge Systems Institute Graduate School},
year = {2010},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/PaikariRR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/SohanRM10,
author = {S. M. Sohan and
Michael M. Richter and
Frank Maurer},
editor = {Alberto Sillitti and
Angela Martin and
Xiaofeng Wang and
Elizabeth Whitworth},
title = {Auto-tagging Emails with User Stories Using Project Context},
booktitle = {Agile Processes in Software Engineering and Extreme Programming, 11th
International Conference, {XP} 2010, Trondheim, Norway, June 1-4,
2010. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {48},
pages = {103--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13054-0\_8},
doi = {10.1007/978-3-642-13054-0\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/xpu/SohanRM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/Richter09,
author = {Michael M. Richter},
title = {The search for knowledge, contexts, and Case-Based Reasoning},
journal = {Eng. Appl. Artif. Intell.},
volume = {22},
number = {1},
pages = {3--9},
year = {2009},
url = {https://doi.org/10.1016/j.engappai.2008.04.021},
doi = {10.1016/J.ENGAPPAI.2008.04.021},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/Richter09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/HullermeierRW09,
author = {Eyke H{\"{u}}llermeier and
Michael M. Richter and
Rosina Weber},
title = {Prelude to the papers "Fuzzy case based reasoning for facial
expression recognition" and "Temporal similarity by measuring
possibilistic uncertainty in CBR"},
journal = {Fuzzy Sets Syst.},
volume = {160},
number = {2},
pages = {212--213},
year = {2009},
url = {https://doi.org/10.1016/j.fss.2008.05.018},
doi = {10.1016/J.FSS.2008.05.018},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/HullermeierRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/WangenheimBASCJRPS09,
author = {Aldo von Wangenheim and
Rafael F. Bertoldi and
Daniel Duarte Abdala and
Antonio Carlos Sobieranski and
Leandro Coser and
Xiaoyi Jiang and
Michael M. Richter and
Lutz Priese and
Frank Schmitt},
title = {Color image segmentation using an enhanced Gradient Network Method},
journal = {Pattern Recognit. Lett.},
volume = {30},
number = {15},
pages = {1404--1412},
year = {2009},
url = {https://doi.org/10.1016/j.patrec.2009.07.005},
doi = {10.1016/J.PATREC.2009.07.005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/prl/WangenheimBASCJRPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/WangenheimBARPS08,
author = {Aldo von Wangenheim and
Rafael F. Bertoldi and
Daniel D. Abdala and
Michael M. Richter and
Lutz Priese and
Frank Schmitt},
title = {Fast Two-Step Segmentation of Natural Color Scenes Using Hierarchical
Region-Growing and a Color-Gradient Network},
journal = {J. Braz. Comput. Soc.},
volume = {14},
number = {4},
pages = {29--40},
year = {2008},
url = {https://doi.org/10.1007/BF03192570},
doi = {10.1007/BF03192570},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/WangenheimBARPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Roth-BerghoferR08,
author = {Thomas Roth{-}Berghofer and
Michael M. Richter},
title = {Gasteditorial Erkl{\"{a}}rungen},
journal = {K{\"{u}}nstliche Intell.},
volume = {22},
number = {2},
pages = {4},
year = {2008},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2008-02\_page4\_web\_full.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Roth-BerghoferR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Roth-BerghoferR08a,
author = {Thomas Roth{-}Berghofer and
Michael M. Richter},
title = {On Explanation},
journal = {K{\"{u}}nstliche Intell.},
volume = {22},
number = {2},
pages = {5--7},
year = {2008},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2008-02\_page5\_web\_teaser.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Roth-BerghoferR08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewcbr/HullermeierRWBP08,
author = {Eyke H{\"{u}}llermeier and
Michael M. Richter and
Rosina Weber and
Kerstin Bach and
Miltos Petridis},
editor = {Martin Schaaf},
title = {Preface: Uncertainty, Similarity, and Knowledge Discovery in {CBR}},
booktitle = {{ECCBR} 2008, The 9th European Conference on Case-Based Reasoning,
Trier, Germany, September 1-4, 2008, Workshop Proceedings},
pages = {117--118},
year = {2008},
timestamp = {Mon, 27 Oct 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ewcbr/HullermeierRWBP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewcbr/MacdonaldWR08,
author = {Craig M. MacDonald and
Rosina Weber and
Michael M. Richter},
editor = {Martin Schaaf},
title = {Case Base Properties: {A} First Step},
booktitle = {{ECCBR} 2008, The 9th European Conference on Case-Based Reasoning,
Trier, Germany, September 1-4, 2008, Workshop Proceedings},
pages = {159--170},
year = {2008},
timestamp = {Tue, 12 Jun 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ewcbr/MacdonaldWR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewcbr/LiMRR08,
author = {Jingzhou Li and
Brenan Mackas and
Michael M. Richter and
G{\"{u}}nther Ruhe},
editor = {Klaus{-}Dieter Althoff and
Ralph Bergmann and
Mirjam Minor and
Alexandre Hanft},
title = {Cases, Predictions, and Accuracy Learning and Its Application to Effort
Estimation},
booktitle = {Advances in Case-Based Reasoning, 9th European Conference, {ECCBR}
2008, Trier, Germany, September 1-4, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5239},
pages = {299--311},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85502-6\_20},
doi = {10.1007/978-3-540-85502-6\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ewcbr/LiMRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/Richter08,
author = {Michael M. Richter},
editor = {Petra Perner},
title = {Similarity},
booktitle = {Case-Based Reasoning on Images and Signals},
series = {Studies in Computational Intelligence},
volume = {73},
pages = {25--90},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-73180-1\_2},
doi = {10.1007/978-3-540-73180-1\_2},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/Richter08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/LiRAR07,
author = {Jingzhou Li and
G{\"{u}}nther Ruhe and
Ahmed Al{-}Emran and
Michael M. Richter},
title = {A flexible method for software effort estimation by analogy},
journal = {Empir. Softw. Eng.},
volume = {12},
number = {1},
pages = {65--106},
year = {2007},
url = {https://doi.org/10.1007/s10664-006-7552-4},
doi = {10.1007/S10664-006-7552-4},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/LiRAR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/WangenheimBAR07,
author = {Aldo von Wangenheim and
Rafael F. Bertoldi and
Daniel D. Abdala and
Michael M. Richter},
title = {Color image segmentation guided by a color gradient network},
journal = {Pattern Recognit. Lett.},
volume = {28},
number = {13},
pages = {1795--1803},
year = {2007},
url = {https://doi.org/10.1016/j.patrec.2007.05.009},
doi = {10.1016/J.PATREC.2007.05.009},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/prl/WangenheimBAR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Richter07,
author = {Michael M. Richter},
editor = {David Wilson and
Geoff Sutcliffe},
title = {Foundations of Similarity and Utility},
booktitle = {Proceedings of the Twentieth International Florida Artificial Intelligence
Research Society Conference, May 7-9, 2007, Key West, Florida, {USA}},
pages = {30--37},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-008.php},
timestamp = {Wed, 26 Oct 2022 08:35:25 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Richter07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/incdm/Richter07,
author = {Michael M. Richter},
editor = {Petra Perner},
title = {Case Based Reasoning and the Search for Knowledge},
booktitle = {Advances in Data Mining. Theoretical Aspects and Applications, 7th
Industrial Conference, {ICDM} 2007, Leipzig, Germany, July 14-18,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4597},
pages = {1--14},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73435-2\_1},
doi = {10.1007/978-3-540-73435-2\_1},
timestamp = {Tue, 22 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/incdm/Richter07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccbr/2007,
editor = {Rosina Weber and
Michael M. Richter},
title = {Case-Based Reasoning Research and Development, 7th International Conference
on Case-Based Reasoning, {ICCBR} 2007, Belfast, Northern Ireland,
UK, August 13-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4626},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74141-1},
doi = {10.1007/978-3-540-74141-1},
isbn = {978-3-540-74138-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/DuRR06,
author = {Gengshen Du and
Michael M. Richter and
G{\"{u}}nther Ruhe},
title = {An Explanation Oriented Dialogue Approach and Its Application to Wicked
Planning Problems},
journal = {Comput. Artif. Intell.},
volume = {25},
number = {2-3},
pages = {223--249},
year = {2006},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/340},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/DuRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Richter06,
author = {Michael M. Richter},
title = {Der Computer als sensibler und intelligenter Partner in komplexen
dynamischen Situationen},
journal = {K{\"{u}}nstliche Intell.},
volume = {20},
number = {4},
pages = {10--14},
year = {2006},
url = {http://www.kuenstliche-intelligenz.de/index.php?id=7750\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1202\&\#38;cHash=6120c00962},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Richter06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/RichterA05,
author = {Michael M. Richter and
Agnar Aamodt},
title = {Case-based reasoning foundations},
journal = {Knowl. Eng. Rev.},
volume = {20},
number = {3},
pages = {203--207},
year = {2005},
url = {https://doi.org/10.1017/S0269888906000695},
doi = {10.1017/S0269888906000695},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/RichterA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/PernerHR05,
author = {Petra Perner and
Alec Holt and
Michael M. Richter},
title = {Image processing in case-based reasoning},
journal = {Knowl. Eng. Rev.},
volume = {20},
number = {3},
pages = {311--314},
year = {2005},
url = {https://doi.org/10.1017/S0269888906000671},
doi = {10.1017/S0269888906000671},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/PernerHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/exact/DuRR05,
author = {Gengshen Du and
Michael M. Richter and
G{\"{u}}nther Ruhe},
editor = {Thomas Roth{-}Berghofer and
Stefan Schulz},
title = {An Explanation Oriented Dialogue Approach for Solving Wicked Planning
Problems},
booktitle = {Explanation-Aware Computing, Papers from the 2005 {AAAI} Fall Symposium,
November 4-6, 2005, Arlington, Virginia, {USA}},
series = {{AAAI} Technical Report},
volume = {{FS-05-04}},
pages = {62--75},
publisher = {{AAAI} Press},
year = {2005},
timestamp = {Thu, 22 Nov 2018 12:15:59 +0100},
biburl = {https://dblp.org/rec/conf/exact/DuRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Richter04,
author = {Michael M. Richter},
title = {Einige Thesen: Logik versus Approximation},
journal = {K{\"{u}}nstliche Intell.},
volume = {18},
number = {3},
pages = {62},
year = {2004},
url = {http://www.kuenstliche-intelligenz.de/Artikel/EinigeThesenLogikversusApproximation.htm},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/Richter04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Richter04,
author = {Michael M. Richter},
editor = {Wolfgang Lenski},
title = {Logic and Approximation in Knowledge Based Systems},
booktitle = {Logic versus Approximation, Essays Dedicated to Michael M. Richter
on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3075},
pages = {184--204},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25967-1\_13},
doi = {10.1007/978-3-540-25967-1\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Richter04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lso/MelnikR04,
author = {Grigori Melnik and
Michael M. Richter},
editor = {Harald Holz and
Grigori Melnik},
title = {Impreciseness and Its Value from the Perspective of Software Organizations
and Learning},
booktitle = {Advances in Learning Software Organizations, 6th International Workshop,
{LSO} 2004, Banff, Canada, June 20-21, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3096},
pages = {122--130},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25983-1\_12},
doi = {10.1007/978-3-540-25983-1\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lso/MelnikR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/RichterS04,
author = {Michael M. Richter and
Armin Stahl},
editor = {Bernhard Rumpe and
Wolfgang Hesse},
title = {Modeling Socio-Technical Processes in e-Commerce Scenarios},
booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. M{\"{a}}rz
2004, Marburg, Proceedings},
series = {{LNI}},
volume = {{P-45}},
pages = {313--314},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/29256},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/RichterS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/Richter03,
author = {Michael M. Richter},
title = {Fallbasiertes Schliessen: Vergangenheit, Gegenwart, Zukunft},
journal = {Inform. Spektrum},
volume = {26},
number = {3},
pages = {180--190},
year = {2003},
url = {https://doi.org/10.1007/s00287-003-0305-5},
doi = {10.1007/S00287-003-0305-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/Richter03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/ComunelloRASWW03,
author = {Eros Comunello and
Michael M. Richter and
Daniel D. Abdala and
Thiago R. dos Santos and
Aldo von Wangenheim and
Paulo Roberto Wille},
title = {CycML - {A} Language to Describe Radiological Images},
booktitle = {16th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2003),
26-27 June 2003, New York, NY, {USA}},
pages = {145--149},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CBMS.2003.1212780},
doi = {10.1109/CBMS.2003.1212780},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/ComunelloRASWW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/MougouieRB03,
author = {Babak Mougouie and
Michael M. Richter and
Ralph Bergmann},
editor = {Kevin D. Ashley and
Derek G. Bridge},
title = {Diversity-Conscious Retrieval from Generalized Cases: {A} Branch and
Bound Algorithm},
booktitle = {Case-Based Reasoning Research and Development, 5th International Conference
on Case-Based Reasoning, {ICCBR} 2003, Trondheim, Norway, June 23-26,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2689},
pages = {319--221},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45006-8\_26},
doi = {10.1007/3-540-45006-8\_26},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/MougouieRB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GoldmannHR03,
author = {Sigrid Goldmann and
Harald Holz and
Michael M. Richter},
title = {Knowledge Management for Project Planning and Enactment in Software
Engineering},
booktitle = {Proceedings of the Fifteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2003), Hotel Sofitel,
San Francisco Bay, CA, USA, July 1-3, 2003},
pages = {393--397},
year = {2003},
timestamp = {Fri, 18 Feb 2005 13:16:38 +0100},
biburl = {https://dblp.org/rec/conf/seke/GoldmannHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ol/03/Richter03,
author = {Michael M. Richter},
editor = {G{\"{u}}nther G{\"{o}}rz and
Claus{-}Rainer Rollinger and
Josef Schneeberger},
title = {Fallbasiertes Schlie{\ss}en},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 4. Auflage},
pages = {407--430},
publisher = {Oldenbourg / De Gruyter},
year = {2003},
url = {https://doi.org/10.1524/9783486598834.407},
doi = {10.1524/9783486598834.407},
timestamp = {Fri, 21 May 2021 09:31:52 +0200},
biburl = {https://dblp.org/rec/books/ol/03/Richter03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Richter02,
author = {Michael M. Richter},
title = {Die semantische Struktur nat{\"{u}}rlicher Sprache - Wissensrepr{\"{a}}sentation
mit MultiNet},
journal = {K{\"{u}}nstliche Intell.},
volume = {16},
number = {2},
pages = {54--55},
year = {2002},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Richter02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/RibeiroDWRMC02,
author = {Leonardo Ribeiro and
Paulo Roberto Dellani and
Aldo von Wangenheim and
Michael M. Richter and
Kerstin Maximini and
Eros Comunello},
title = {CyclopsDistMedDB. - {A} Transparent Gateway for Distributed Medical
Data Access in {DICOM} Format},
booktitle = {15th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2002),
4-7 June 2002, Maribor, Slovenia},
pages = {315--320},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/CBMS.2002.1011396},
doi = {10.1109/CBMS.2002.1011396},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/RibeiroDWRMC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/01/BurkhardR01,
author = {Hans{-}Dieter Burkhard and
Michael M. Richter},
editor = {Sankar K. Pal and
Tharam S. Dillon and
Daniel S. Yeung},
title = {On the Notion of Similarity in Case Based Reasoning and Fuzzy Theory},
booktitle = {Soft Computing in Case Based Reasoning},
pages = {29--45},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/978-1-4471-0687-6\_2},
doi = {10.1007/978-1-4471-0687-6\_2},
timestamp = {Wed, 17 Jul 2019 13:42:22 +0200},
biburl = {https://dblp.org/rec/books/sp/01/BurkhardR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Richter00,
author = {Michael M. Richter},
title = {Some perspectives on mathematical aspects of artificial intelligence:
Logic versus approximation},
journal = {Ann. Math. Artif. Intell.},
volume = {28},
number = {1-4},
pages = {31--33},
year = {2000},
url = {https://doi.org/10.1023/A:1018991803336},
doi = {10.1023/A:1018991803336},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Richter00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bildmed/WangenheimWCRCK00,
author = {Aldo von Wangenheim and
Harley Wagner and
Peter Conrad and
Michael M. Richter and
Eros Comunello and
Dirk Krechel},
editor = {Alexander Horsch and
Thomas Martin Lehmann},
title = {A Knowledge-Based Approach for Failure Detection and Correction of
Partially Failed Segmentations of Radiological Images},
booktitle = {Bildverarbeitung f{\"{u}}r die Medizin 2000: Algorithmen, Systeme,
Anwendungen, Workshop Proceedings, M{\"{u}}nchen, Germany, March
12-14, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {27},
pages = {111--115},
publisher = {Springer},
year = {2000},
timestamp = {Fri, 10 Mar 2023 16:22:11 +0100},
biburl = {https://dblp.org/rec/conf/bildmed/WangenheimWCRCK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/KrechelPR99,
author = {Dirk Krechel and
Christian Pape and
Michael M. Richter},
editor = {Patrick Horster},
title = {Wissensbasierte Bilddeutung in der Medizin am Beispiel des CYCLOPS-Systems},
booktitle = {Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher
Wege zwischen Mathematik und Informatik [Festschrift anl{\"{a}}{\ss}lich
der Emeritierung von Professor Dr. Walter Oberschel]},
pages = {162--175},
publisher = {Vieweg+Teubner Verlag / Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-322-83092-0\_9},
doi = {10.1007/978-3-322-83092-0\_9},
timestamp = {Mon, 22 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/KrechelPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/AvenhausGHLMNRRRSZ98,
author = {J{\"{u}}rgen Avenhaus and
Reinhard Gotzhein and
Theo H{\"{a}}rder and
Lothar Litz and
Klaus Madlener and
J{\"{u}}rgen Nehmer and
Michael M. Richter and
Norbert Ritter and
H. Dieter Rombach and
Bernd Sch{\"{u}}rmann and
Gerhard Zimmermann},
title = {Entwicklung gro{\ss}er Systeme mit generischen Methoden - Eine {\"{U}}bersicht
{\"{u}}ber den Sonderforschungsbereich 501},
journal = {Inform. Forsch. Entwickl.},
volume = {13},
number = {4},
pages = {227--234},
year = {1998},
url = {https://doi.org/10.1007/s004500050115},
doi = {10.1007/S004500050115},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/AvenhausGHLMNRRRSZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/RichterSWZ98,
author = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
editor = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
title = {Editor's Introduction},
booktitle = {Algorithmic Learning Theory, 9th International Conference, {ALT} '98,
Otzenhausen, Germany, October 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1501},
pages = {1--10},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49730-7\_1},
doi = {10.1007/3-540-49730-7\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/RichterSWZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbr/Richter98,
author = {Michael M. Richter},
editor = {Mario Lenz and
Brigitte Bartsch{-}Sp{\"{o}}rl and
Hans{-}Dieter Burkhard and
Stefan Wess},
title = {Introduction},
booktitle = {Case-Based Reasoning Technology, From Foundations to Applications},
series = {Lecture Notes in Computer Science},
volume = {1400},
pages = {1--16},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-69351-3\_1},
doi = {10.1007/3-540-69351-3\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iccbr/Richter98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alt/1998,
editor = {Michael M. Richter and
Carl H. Smith and
Rolf Wiehagen and
Thomas Zeugmann},
title = {Algorithmic Learning Theory, 9th International Conference, {ALT} '98,
Otzenhausen, Germany, October 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1501},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49730-7},
doi = {10.1007/3-540-49730-7},
isbn = {3-540-65013-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alt/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/ArikawaR97,
author = {Setsuo Arikawa and
Michael M. Richter},
title = {Special Issue on Algorithmic Learning Theory},
journal = {New Gener. Comput.},
volume = {15},
number = {1},
pages = {1--2},
year = {1997},
url = {https://doi.org/10.1007/BF03037557},
doi = {10.1007/BF03037557},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/ArikawaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/RichterBB94,
author = {Michael M. Richter and
Bernd Bachmann and
Ansgar Bernardi},
title = {{ARC-TEC} - ein Beitrag zur wissensbasierten Unterst{\"{u}}tzung
der industriellen Praxis},
journal = {K{\"{u}}nstliche Intell.},
volume = {8},
number = {2},
pages = {52--56},
year = {1994},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/RichterBB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/Richter94,
author = {Michael M. Richter},
editor = {Setsuo Arikawa and
Klaus P. Jantke},
title = {A Unified Approach to Inductive Logic and Case-Based Reasoning (Extended
Abstract)},
booktitle = {Algorithmic Learning Theory, 4th International Workshop on Analogical
and Inductive Inference, {AII} '94, 5th International Workshop on
Algorithmic Learning Theory, {ALT} '94, Reinhardsbrunn Castle, Germany,
October 10-15, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {872},
pages = {210},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58520-6\_65},
doi = {10.1007/3-540-58520-6\_65},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/Richter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ewcbr/1993,
editor = {Stefan Wess and
Klaus{-}Dieter Althoff and
Michael M. Richter},
title = {Topics in Case-Based Reasoning, First European Workshop, EWCBR-93,
Kaiserslautern, Germany, November 1-5, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {837},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58330-0},
doi = {10.1007/3-540-58330-0},
isbn = {3-540-58330-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ewcbr/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Richter93,
author = {Michael M. Richter},
title = {Some Recent Developments in the Representation and Processing of Knowledge},
journal = {Fundam. Informaticae},
volume = {18},
pages = {233--248},
year = {1993},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Richter93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/RonningWRHC93,
author = {G. Ronning and
D. Wagner and
Michael M. Richter and
Rainer Hettich and
Charles J. Colbourn},
title = {Book reviews},
journal = {{ZOR} Methods Model. Oper. Res.},
volume = {38},
number = {1},
pages = {101--108},
year = {1993},
url = {https://doi.org/10.1007/BF01416009},
doi = {10.1007/BF01416009},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/RonningWRHC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KampKRSS93,
author = {Vera Kamp and
Manfred Kopisch and
Michael M. Richter and
Matthias Schick and
Anna{-}Maria Schoeller},
editor = {Otthein Herzog and
Thomas Christaller and
Dieter Sch{\"{u}}tt},
title = {R{\"{a}}umliche Problemstellungen in technischen Dom{\"{a}}nen},
booktitle = {Grundlagen und Anwendungen der K{\"{u}}nstlichen Intelligenz,
17. Fachtagung f{\"{u}}r K{\"{u}}nstliche Intelligenz, Humboldt-Universit{\"{a}}t
zu Berlin, 13.-16. September 1993, Proceedings},
series = {Informatik Aktuell},
pages = {260--263},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 09 Feb 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ki/KampKRSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1992,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Simone Martini and
Michael M. Richter},
title = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
September 28 - October 2, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {702},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56992-8},
doi = {10.1007/3-540-56992-8},
isbn = {3-540-56992-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Richter92,
author = {Michael M. Richter},
title = {Geschichte der Tagungen {\"{u}}ber automatische Beweisverfahren},
journal = {K{\"{u}}nstliche Intell.},
volume = {6},
number = {3},
pages = {49--50},
year = {1992},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Richter92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1991,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023753},
doi = {10.1007/BFB0023753},
isbn = {3-540-55789-X},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067780,
author = {Michael M. Richter},
title = {Prinzipien der k{\"{u}}nstlichen Intelligenz - Wissensrepr{\"{a}}sentation,
Inferenz und Expertensysteme {(2.} Aufl.)},
series = {Leitf{\"{a}}den und Monographien der Informatik},
publisher = {Teubner},
year = {1991},
isbn = {978-3-519-12269-2},
timestamp = {Tue, 19 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/BarthCCNRRRSS91,
author = {Gerhard Barth and
Thomas Christaller and
Armin B. Cremers and
Bernd Neumann and
Franz Josef Radermacher and
Bernd Radig and
Michael M. Richter and
J{\"{o}}rg H. Siekmann and
Werner von Seelen},
title = {K{\"{u}}nstliche Intelligenz - Perspektiven einer wissenschaftlichen
Disziplin und Realisierungsm{\"{o}}glichkeiten},
journal = {Inform. Spektrum},
volume = {14},
number = {4},
pages = {201--206},
year = {1991},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/BarthCCNRRRSS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RichterW91,
author = {Michael M. Richter and
Stefan Wess},
editor = {Robert S. Boyer},
title = {Similarity, Uncertainty and Case-Based Reasoning in Patdex},
booktitle = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
series = {Automated Reasoning Series},
pages = {249--266},
publisher = {Kluwer Academic Publishers},
year = {1991},
timestamp = {Wed, 30 Mar 2016 17:34:58 +0200},
biburl = {https://dblp.org/rec/conf/birthday/RichterW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/BoleyMMRV91,
author = {Harold Boley and
Micha Meier and
Chris Moss and
Michael M. Richter and
Andrei Voronkov},
editor = {Harold Boley and
Michael M. Richter},
title = {Declarative and Procedural Paradigms - Do they Really Compete? (Panel)},
booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
pages = {383--398},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013545},
doi = {10.1007/BFB0013545},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/pdk/BoleyMMRV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1990,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter and
Wolfgang Sch{\"{o}}nfeld},
title = {Computer Science Logic, 4th Workshop, {CSL} '90, Heidelberg, Germany,
October 1-5, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {533},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54487-9},
doi = {10.1007/3-540-54487-9},
isbn = {3-540-54487-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdk/1991,
editor = {Harold Boley and
Michael M. Richter},
title = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
Germany, July 1-3, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {567},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013516},
doi = {10.1007/BFB0013516},
isbn = {3-540-55033-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdk/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1989,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '89, 3rd Workshop on Computer Science Logic, Kaiserslautern,
Germany, October 2-6, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {440},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52753-2},
doi = {10.1007/3-540-52753-2},
isbn = {3-540-52753-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067779,
author = {Michael M. Richter},
title = {Prinzipien der k{\"{u}}nstlichen Intelligenz - Wissensrepr{\"{a}}sentation,
Inferenz und Expertensysteme},
series = {Leitf{\"{a}}den und Monographien der Informatik},
publisher = {Teubner},
year = {1989},
isbn = {978-3-519-02269-5},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067779.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Richter89,
author = {Michael M. Richter},
title = {Automatisches Beweisen, K{\"{u}}nstliche Intelligenz und Mathematik},
journal = {K{\"{u}}nstliche Intell.},
volume = {3},
number = {3},
pages = {34--37},
year = {1989},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Richter89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1988,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany,
October 3-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {385},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0026291},
doi = {10.1007/BFB0026291},
isbn = {3-540-51659-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/KeeneyMORR88,
author = {Ralph L. Keeney and
Rolf H. M{\"{o}}hring and
H. Otway and
Franz Josef Radermacher and
Michael M. Richter},
title = {Design aspects of advanced decision support systems},
journal = {Decis. Support Syst.},
volume = {4},
number = {4},
pages = {381--385},
year = {1988},
url = {https://doi.org/10.1016/0167-9236(88)90001-2},
doi = {10.1016/0167-9236(88)90001-2},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dss/KeeneyMORR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dss/Richter88,
author = {Michael M. Richter},
title = {AI-Concepts and OR-tools in advanced {DSS}},
journal = {Decis. Support Syst.},
volume = {4},
number = {4},
pages = {441--446},
year = {1988},
url = {https://doi.org/10.1016/0167-9236(88)90007-3},
doi = {10.1016/0167-9236(88)90007-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dss/Richter88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/AlthoffNRR88,
author = {Klaus{-}Dieter Althoff and
Klaus N{\"{o}}kel and
Robert Rehbold and
Michael M. Richter},
title = {A sophisticated expert system for the diagnosis of a {CNC} machining
center},
journal = {{ZOR} Methods Model. Oper. Res.},
volume = {32},
number = {3-4},
pages = {251--269},
year = {1988},
url = {https://doi.org/10.1007/BF01928926},
doi = {10.1007/BF01928926},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/AlthoffNRR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/RichterS88,
author = {Michael M. Richter and
Manfred E. Szabo},
title = {Nonstandard methods in combinatorics and theoretical computer science},
journal = {Stud Logica},
volume = {47},
number = {3},
pages = {181--191},
year = {1988},
url = {https://doi.org/10.1007/BF00370549},
doi = {10.1007/BF00370549},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/RichterS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1987,
editor = {Egon B{\"{o}}rger and
Hans Kleine{ }B{\"{u}}ning and
Michael M. Richter},
title = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50241-6},
doi = {10.1007/3-540-50241-6},
isbn = {3-540-50241-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1987.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}
}
@book{DBLP:books/sp/BenninghofenKR87,
author = {Benjamin Benninghofen and
Susanne Kemmerich and
Michael M. Richter},
title = {Systems of Reductions},
series = {Lecture Notes in Computer Science},
volume = {277},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18598-4},
doi = {10.1007/3-540-18598-4},
isbn = {3-540-18598-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BenninghofenKR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/CorrenzIR87,
author = {Wolfgang Correnz and
Josef Ingenerf and
Michael M. Richter},
title = {Bemerkungen {\"{u}}ber {ML} und seine polymorphe Typenstruktur
/ Remark on {ML} and its Polymorphic Type Structure},
journal = {it Inf. Technol.},
volume = {29},
number = {4},
pages = {235--240},
year = {1987},
url = {https://doi.org/10.1524/itit.1987.29.4.235},
doi = {10.1524/ITIT.1987.29.4.235},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/CorrenzIR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NokelRR87,
author = {Klaus N{\"{o}}kel and
Robert Rehbold and
Michael M. Richter},
editor = {Egon B{\"{o}}rger},
title = {Remarks on {SASL} and the Verification of Functional Programming Languages},
booktitle = {Computation Theory and Logic, In Memory of Dieter R{\"{o}}dding},
series = {Lecture Notes in Computer Science},
volume = {270},
pages = {265--276},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18170-9\_172},
doi = {10.1007/3-540-18170-9\_172},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NokelRR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ibm/Richter87,
author = {Michael M. Richter},
editor = {Gerhard Rahmstorf},
title = {K{\"{u}}nstliche Intelligenz und Logik},
booktitle = {Wissensrepr{\"{a}}sentation in Expertensystemen, Workshop, Herrenberg,
Deutschland, 16.-18. M{\"{a}}rz 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {172},
pages = {16--40},
publisher = {Springer},
year = {1987},
timestamp = {Sat, 23 Jun 2018 18:44:20 +0200},
biburl = {https://dblp.org/rec/conf/ibm/Richter87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/Richter87,
author = {Michael M. Richter},
editor = {Wilfried Brauer and
Wolfgang Wahlster},
title = {Planung in Wissensbasierten Systemen},
booktitle = {Wissensbasierte Systeme, 2. Internationaler GI-Kongress, M{\"{u}}nchen,
20./21. Oktober 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {155},
pages = {224--232},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-88719-2\_19},
doi = {10.1007/978-3-642-88719-2\_19},
timestamp = {Wed, 24 May 2017 08:29:34 +0200},
biburl = {https://dblp.org/rec/conf/wi/Richter87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ObserschelpSTR85,
author = {Walter Oberschelp and
Britta Schinzel and
Wolfgang Thomas and
Michael M. Richter},
title = {European Summer Meeting of the Association for Symbolic Logic: Aachen,
1983},
journal = {J. Symb. Log.},
volume = {50},
number = {1},
pages = {259--283},
year = {1985},
url = {https://doi.org/10.2307/2273818},
doi = {10.2307/2273818},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ObserschelpSTR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/ShanthikumarLKF85,
author = {J. George Shanthikumar and
Alfred Luhmer and
H. Kremar and
Ulrich Faigle and
Martin Shubik and
Hansj{\"{o}}rg Wacker and
Alexander Schrijver and
Michael M. Richter},
title = {Book reviews},
journal = {Z. Oper. Research},
volume = {29},
number = {3},
pages = {132--139},
year = {1985},
url = {https://doi.org/10.1007/BF01918202},
doi = {10.1007/BF01918202},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/ShanthikumarLKF85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HeinenRRW85,
author = {Peter Heinen and
Heinrich Reusch and
Michael M. Richter and
Thomas Wetter},
editor = {Herbert Stoyan},
title = {Formal Description of Objects, Processes, and Levels of Expert Reasoning},
booktitle = {GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling,
Germany, September 23-27, 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {118},
pages = {285--294},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-71145-9\_25},
doi = {10.1007/978-3-642-71145-9\_25},
timestamp = {Wed, 11 Jul 2018 09:54:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/HeinenRRW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lam/Richter83,
author = {Michael M. Richter},
editor = {Egon B{\"{o}}rger and
Gisbert Hasenjaeger and
Dieter R{\"{o}}dding},
title = {Some reordering properties for inequality proof trees},
booktitle = {Logic and Machines: Decision Problems and Complexity, Proceedings
of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983
at the Institut f{\"{u}}r Mathematische Logik und Grundlagenforschung
der Universit{\"{a}}t M{\"{u}}nster/Westfalen},
series = {Lecture Notes in Computer Science},
volume = {171},
pages = {183--197},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-13331-3\_41},
doi = {10.1007/3-540-13331-3\_41},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lam/Richter83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0069204,
author = {Michael M. Richter},
title = {Ideale Punkte, Monaden und Nichtstandard-Methoden},
publisher = {Vieweg},
year = {1982},
isbn = {978-3-528-03072-8},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0069204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Richter82,
author = {Michael M. Richter},
editor = {J{\"{u}}rgen Nehmer},
title = {Complete and Incomplete Systems of Reductions},
booktitle = {{GI} - 12. Jahrestagung, Kaiserslautern, 5. -7. Oktober 1982, Proceedings},
series = {Informatik-Fachberichte},
volume = {57},
pages = {359--371},
publisher = {Springer},
year = {1982},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/Richter82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067782,
author = {Michael M. Richter},
title = {Logikkalk{\"{u}}le},
series = {Leitf{\"{a}}den der angewandten Mathematik und Mechanik},
volume = {43},
publisher = {Teubner},
year = {1978},
isbn = {978-3-519-02345-6},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0067782.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.
last updated on 2024-04-21 18:21 CEST 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:
