Verwandte Artikel zu Computer Science Logic: 5th Workshop, CSL '91,...

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626, Band 626) - Softcover

 
9783540557890: Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626, Band 626)
Softcover
ISBN 10: 354055789X ISBN 13: 9783540557890
Verlag: Springer, 2008

Inhaltsangabe

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

Egon Boerger has worked since 1972 as professor of computer science at the Universities of Salerno, Muenster, Dortmund, Udine and Pisa (since 1985). He spent sabbatical years with IBM, Siemens, Microsoft, SAP and ETH Zürich. He is the author of seven books on logic, computer science and modeling business processes. In 2007 he received the Humboldt Research Award for his work in logic and computer science. His current interest is in rigorous design and analysis methods for concurrent software-intensive systems.Vincenzo Gervasi is an Associate Professor with the Computer Science Department of the University of Pisa, Italy. His main research interests lie in the cognitive aspects of the construction and comprehension of software. His current work areas include requirements engineering, software engineering, formal specifications, natural language processing, distributed algorithms and applications, and AI for biomedical applications. On these subjects he has published over 120 contributions in international venues. He is a member of IFIP WG 2.9 (Requirements Engineering). Prof. Michael M. Richter completed his PhD on mathematical logic at the University of Freiburg, and his Habilitation in mathematics at the University of Tübingen. He taught at the University of Texas at Austin and at RWTH Aachen, in addition to numerous visiting professorships. He was president of the German Society for Mathematical Logic and the Foundations of Exact Sciences for four years. Most recently, from 1986 he held a chair in computer science at the University of Kaiserslautern, where he was also a founding scientific director of the DFKI (German Research Center for Artificial Intelligence). In 2005 he became an adjunct professor at the University of Calgary. He has taught, researched, and published extensively in the areas of mathematical logic and artificial intelligence. Prof. Richter is one of the pioneers of case-based reasoning: he founded the leading European event on the subject, he led many of the key academic research projects, and he demonstrated the real-world viability of the approach with successful commercial products. Dr. Rosina Weber is an Associate Professor in the College of Information Science and Technology at Drexel University in Philadelphia. She received her PhD from the Dept. of Production Engineering of the Federal University of Santa Catarina in Brazil, in a "sandwich" program collaboration with the Dept. of Industrial & Management Systems Engineering of the University of South Florida in Tampa. She has a master's degree in operations research and a bachelor's degree in business administration. She was a postdoc at the Navy Center for Applied Research in Artificial Intelligence at the Naval Research Lab in Washington, DC. Her key research interest is knowledge engineering and management, using intelligent methods and techniques such as case-based reasoning, information extraction, fuzzy sets, genetic algorithms, neural networks, and ontologies in applications in domains such as law, defense, nutrition, medicine, finance, biology, and psychology.

Egon Börger ist Professor für Informatik an der Universität Pisa (Italien) und Alexander-von-Humboldt-Forschungspreisträger.

Von der hinteren Coverseite

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354055789X
ISBN 13 
9783540557890
Einband
Taschenbuch
Anzahl der Seiten
439
Herausgeber
Börger Egon, Jäger Gerhard, Kleine Büning Hans, Richter Michael M.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar