Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science, 702, Band 702) - Softcover

Softcover

ISBN 10: 3540569928 ISBN 13: 9783540569923

Verlag: Springer, 2008

Inhaltsangabe

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties.

Über diesen Titel

Ü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). Dr. Maurizio Gabbrielli and Dr. Simone Martini are both Professors at the Department of Computer Science and Engineering of the University of Bologna, Italy. 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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540569928
• ISBN 13: 9783540569923
• Einband: Taschenbuch
• Anzahl der Seiten: 448
• Herausgeber: Börger Egon, Jäger Gerhard, Kleine Büning Hans, Martini Simone, Richter Michael M.
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland