WorldCat Identities

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 14-17, 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 post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006 - co-located 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, spatio-temporal 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 desk-workers 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 new-found 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 15-17, 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 post-conference 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 re-evaluation 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 25-29, 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
Symbolic computation and automated reasoning : the CALCULEMUS-2000 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 6--7 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 desk-workers 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 new-found 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

Mathematical Knowledge Management (vol. # 3863) 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers by Michael Kohlhase( )

7 editions published in 2006 in English and Undetermined and held by 48 WorldCat member libraries worldwide

A mechanization of sorted higher-order 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

Towards Flexiformal Mathematics by Mihnea Iancu( )

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

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 desk-workers 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 new-found 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 14-17, 2006, Proceedings by German Conference on Artificial Intelligence( )

2 editions published in 2007 in English and held by 15 WorldCat member libraries worldwide

A Mechanization of Sorted Higher-Order 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

Focus and higher order unification by Claire Gardent( Book )

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

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

Order-sorted type-theory by Michael Kohlhase( Book )

3 editions published in 1991 in Undetermined and English and held by 5 WorldCat member libraries worldwide

Cut-simulation in impredicative logics by Christoph Benzmüller( Book )

1 edition published in 2006 in English and held by 5 WorldCat member libraries worldwide

Higher order order-sorted resolution by Michael Kohlhase( Book )

1 edition published in 1994 in Undetermined and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.49 for OMDoc -- a ... to 0.95 for Symbolic c ...)

OMDoc -- an open markup format for mathematical documents : (version 1.2) OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy OMDoc - an open markup format for mathematical documents : [version 1.2] OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Allan Bundy
Covers
OMDoc -- an open markup format for mathematical documents : (version 1.2)Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papersSymbolic computation and automated reasoning : the CALCULEMUS-2000 SymposiumOMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan BundyOMDoc - an open markup format for mathematical documents : [version 1.2]Mathematical Knowledge Management (vol. # 3863) 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected PapersOMDoc - An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Allan Bundy
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
English (107)

German (1)