Kohlhase, Michael 1964
Overview
Works:  93 works in 195 publications in 2 languages and 2,416 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, dgs, Contributor, htt, Other 
Publication Timeline
.
Most widely held works by
Michael Kohlhase
KI 2006 : advances in artificial intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 1417,
2006 : proceedings by
C Freksa(
)
15 editions published in 2007 in English and held by 570 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006  colocated with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th International Conference on New Actuators. The 29 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on cognition and emotion, semantic Web, analogy, natural language, reasoning, ontologies, spatiotemporal reasoning, machine learning, spatial reasoning, robot learning, classical AI problems, and agents. The book is completed with the extended abstracts of 8 lectures  especially invited for the public symposium `50 Years AI' held after the regular conference sessions
15 editions published in 2007 in English and held by 570 WorldCat member libraries worldwide
This book constitutes the thoroughly refereed postproceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006  colocated with RoboCup 2006, the innovative robot soccer world championship, and with ACTUATOR 2006, the 10th International Conference on New Actuators. The 29 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on cognition and emotion, semantic Web, analogy, natural language, reasoning, ontologies, spatiotemporal reasoning, machine learning, spatial reasoning, robot learning, classical AI problems, and agents. The book is completed with the extended abstracts of 8 lectures  especially invited for the public symposium `50 Years AI' held after the regular conference sessions
OMDoc  an open markup format for mathematical documents : (version 1.2) by
Michael Kohlhase(
)
7 editions published in 2006 in English and held by 501 WorldCat member libraries worldwide
Computers arechanging the way wethink. Of course, nearly all deskworkers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I'm not referring to that. I mean that people have begun to think about what they do in compu tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c putation is one of the roots of mathematics. Since Euclid's algorithm for?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our newfound ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor nities has required the learning of new skills, such as using computer algebra and graphics packages
7 editions published in 2006 in English and held by 501 WorldCat member libraries worldwide
Computers arechanging the way wethink. Of course, nearly all deskworkers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I'm not referring to that. I mean that people have begun to think about what they do in compu tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c putation is one of the roots of mathematics. Since Euclid's algorithm for?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our newfound ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor nities has required the learning of new skills, such as using computer algebra and graphics packages
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 1517, 2005 : revised selected
papers by
Michael Kohlhase(
)
20 editions published in 2006 in English and held by 435 WorldCat member libraries worldwide
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at  ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a ?eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software  velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the ?rst time, MKM 2005 chose to have postconference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci tatedkeepingtheconferenceopentonewideasaswellaskeepingupthematurity of the papers necessary for inclusion into archival proceedings. With a May 15 deadline, MKM 2005 received 38 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to  cept 27 papers for presentation at the conference. Out of these, 26 papers were accepted for publication in the conference proceedings after reevaluation by the Programme Committee since they included signi?cant improvements triggered by the referee reports and the discussions at the conference
20 editions published in 2006 in English and held by 435 WorldCat member libraries worldwide
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at  ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (September 2001), at Bertinoro, Italy (March 2003), and Bialowiecze, Poland (September 2004). Mathematical knowledge management (MKM) is a ?eld in the intersection of mathematics and computer science, providing new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology. The annual MKM Conference brings together mathematicians, software  velopers, publishing companies, math organizations, math users, and educators to exchange their views and approaches, current activities and new initiatives. For the ?rst time, MKM 2005 chose to have postconference proceedings, as otherwise the submission deadline would have collided with other conferences and crimped time since MKM 2004 in September 2004. The decision also faci tatedkeepingtheconferenceopentonewideasaswellaskeepingupthematurity of the papers necessary for inclusion into archival proceedings. With a May 15 deadline, MKM 2005 received 38 submissions. Each submission was reviewed by at least three programme committee members. The committee decided to  cept 27 papers for presentation at the conference. Out of these, 26 papers were accepted for publication in the conference proceedings after reevaluation by the Programme Committee since they included signi?cant improvements triggered by the referee reports and the discussions at the conference
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 2529, 2016, Proceedings by CICM (Conference)(
)
15 editions published between 2016 and 2020 in English and held by 326 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data
15 editions published between 2016 and 2020 in English and held by 326 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data
Symbolic computation and automated reasoning : the CALCULEMUS2000 Symposium by
Manfred Kerber(
Book
)
7 editions published in 2001 in English and held by 149 WorldCat member libraries worldwide
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 67 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems
7 editions published in 2001 in English and held by 149 WorldCat member libraries worldwide
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 67 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems
OMDoc  An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy by
Michael Kohlhase(
)
8 editions published in 2006 in English and Undetermined and held by 66 WorldCat member libraries worldwide
Computers arechanging the way wethink. Of course,nearly all deskworkers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I'm not referring to that. I mean that people have begun to think about what they do in compu tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c putation is one of the roots of mathematics. Since Euclid's algorithm for ?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our newfound ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor nities has required the learning of new skills, such as using computer algebra and graphics packages
8 editions published in 2006 in English and Undetermined and held by 66 WorldCat member libraries worldwide
Computers arechanging the way wethink. Of course,nearly all deskworkers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I'm not referring to that. I mean that people have begun to think about what they do in compu tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c putation is one of the roots of mathematics. Since Euclid's algorithm for ?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our newfound ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor nities has required the learning of new skills, such as using computer algebra and graphics packages
OMDoc  an open markup format for mathematical documents : [version 1.2] by
Michael Kohlhase(
Book
)
9 editions published between 2000 and 2006 in English and held by 55 WorldCat member libraries worldwide
9 editions published between 2000 and 2006 in English and held by 55 WorldCat member libraries worldwide
Mathematical Knowledge Management (vol. # 3863) 4th International Conference, MKM 2005, Bremen, Germany, July 1517, 2005,
Revised Selected Papers by
Michael Kohlhase(
)
7 editions published in 2006 in English and Undetermined and held by 48 WorldCat member libraries worldwide
7 editions published in 2006 in English and Undetermined and held by 48 WorldCat member libraries worldwide
A mechanization of sorted higherorder logic based on the resolution principle by
Michael Kohlhase(
)
5 editions published between 1994 and 2007 in English and German and held by 22 WorldCat member libraries worldwide
5 editions published between 1994 and 2007 in English and German and held by 22 WorldCat member libraries worldwide
Towards Flexiformal Mathematics by Mihnea Iancu(
)
1 edition published in 2017 in English and held by 18 WorldCat member libraries worldwide
1 edition published in 2017 in English and held by 18 WorldCat member libraries worldwide
A Framework for Defining Declarative Languages by Feryal Fulya Horozal(
)
1 edition published in 2014 in English and held by 18 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 18 WorldCat member libraries worldwide
OMDoc  An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Allan Bundy by
Michael Kohlhase(
)
4 editions published in 2006 in English and held by 15 WorldCat member libraries worldwide
Computers arechanging the way wethink. Of course, nearly all deskworkers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I'm not referring to that. I mean that people have begun to think about what they do in compu tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c putation is one of the roots of mathematics. Since Euclid's algorithm for?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our newfound ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor nities has required the learning of new skills, such as using computer algebra and graphics packages
4 editions published in 2006 in English and held by 15 WorldCat member libraries worldwide
Computers arechanging the way wethink. Of course, nearly all deskworkers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I'm not referring to that. I mean that people have begun to think about what they do in compu tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c putation is one of the roots of mathematics. Since Euclid's algorithm for?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our newfound ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor nities has required the learning of new skills, such as using computer algebra and graphics packages
KI 2006 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 1417, 2006, Proceedings by German Conference on Artificial Intelligence(
)
2 editions published in 2007 in English and held by 15 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 15 WorldCat member libraries worldwide
A Mechanization of Sorted HigherOrder Logic Based on the Resolution Principle by
Michael Kohlhase(
)
2 editions published between 1994 and 1999 in English and held by 11 WorldCat member libraries worldwide
2 editions published between 1994 and 1999 in English and held by 11 WorldCat member libraries worldwide
Focus and higher order unification by
Claire Gardent(
Book
)
2 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide
Higher order coloured unification and natural language semantics by
Claire Gardent(
Book
)
2 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 1996 in English and held by 6 WorldCat member libraries worldwide
Unification in an extensional lambda calculus with ordered function sorts and constant overloading by
Patricia Johann(
Book
)
2 editions published between 1993 and 1999 in English and held by 5 WorldCat member libraries worldwide
2 editions published between 1993 and 1999 in English and held by 5 WorldCat member libraries worldwide
Ordersorted typetheory by
Michael Kohlhase(
Book
)
3 editions published in 1991 in Undetermined and English and held by 5 WorldCat member libraries worldwide
3 editions published in 1991 in Undetermined and English and held by 5 WorldCat member libraries worldwide
Cutsimulation in impredicative logics by
Christoph Benzmüller(
Book
)
1 edition published in 2006 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 2006 in English and held by 5 WorldCat member libraries worldwide
Higher order ordersorted resolution by
Michael Kohlhase(
Book
)
1 edition published in 1994 in Undetermined and held by 4 WorldCat member libraries worldwide
1 edition published in 1994 in Undetermined and held by 4 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Freksa, C. Author Editor
 Schill, Kerstin Editor
 Johansson, Moa Editor
 Miller, Bruce Editor
 Moura, Leonardo de Editor
 Tompa, Frank Editor
 Kerber, Manfred 1956 Editor Author Contributor
 Bundy, Alan
 Hutter, Dieter Author
 German Conference on Artificial Intelligence
Useful Links
Associated Subjects
AlgebraData processing Application software Artificial intelligence Artificial intelligenceMathematics Automatic theorem proving Automation Computer logic Computers Computer science Computer scienceMathematics Computer simulation Computer software Database management Information storage and retrieval systems Information storage and retrieval systemsMathematics Information theory Library science Logic, Symbolic and mathematical Logic design Mathematics MathematicsData processing OMDoc (Document markup language) Programming languages (Electronic computers) Robotics Software engineering
Covers
Alternative Names
Michael Kohlhase deutscher Informatiker
Michael Kohlhase Duits informaticus
Michael Kohlhase German computer scientist
Michael Kohlhase informaticien allemand
Michael Kohlhase informatico e matematico tedesco
Michael Kohlhase professor académico alemão
Michael Kohlhase tysk datavetare
Michael Kohlhase tysk informatikar
Michael Kohlhase tysk informatiker
迈克尔·科尔哈泽
Languages