This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The...

This volume contains the papers which were presented at the second workshop Computer Science Logic held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.

This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic.

This volume presents the proceedings of an internationalworkshop on the processing of declarative knowledge. Theworkshop was organized and hosted by the German ResearchCenter for Artificial Intelligence (DFKI) in cooperationwith the Association for Logic Programming (ALP) and theGesellschaft f}r Informatik (GI).Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, andrelated formalisms. The workshop addressed such high-levelrepresentations and their efficient implementation requiredfor declarative knowledge bases. Many of the papers...

Cognition and artificial intelligence are entering a new era in which the aspects of symbolic manipulation and of connectionism begin to come together. This leads to a dialog of truly interdisciplinary character. The book covers aspects of fuzzy logic, case based reasoning, learning as well as meaning, language, and consciousness. The authors of this topical volume have their background in logic, computer science, physics and mathematics, philosophy, psychology and neurobiology.

Die deutsche Fruhjahrsschule fur Kunstliche Intelligenz, jahrlich veranstaltet von der Fachgruppe 1.2 "Kunstliche Intelligenz und Mustererkennung" der Gesellschaft fur Informatik, ist in den letzten Jahren zu einem festen Begriff geworden. Dieses Buch ist der dritte Band von Kursausarbeitungen vergangener Fruhjahrsschulen, hier aus den Jahren 1985 und 1986. Es vergrossert die thematische Vielfalt des bereits Verfugbaren um neuartige Einfuhrungen in LISP und PROLOG, sowie ausfuhrliche Beitrage uber Robotik, Programmverifikation, Qualitative Modelle, Kognitive Modelle und Automatisches...

Als eigenstandige Disziplin gibt es die Nichtstandard-Analysis etwa seit dem Jahre 1960. Inzwischen hat sie eine sturmische Entwicklung genommen, die sich keineswegs auf die Analysis be schrankte. Viele bekannte Namen sind mit ihr verbunden, doch erscheint es gerecht, den von Ab aham ob n on besonders her vorzuheben. Er scheint nicht nur als erster die Moglichkeiten der mathematischen Logik erkannt zu haben, }1odelle der Analysis mit Infinitesimalien zu konstruieren, sondern er hat auch den weiteren Verlauf der Entwicklung in ganz ungewohnlicher Weise beeinfluf5t. Dieses Buch solI den...

In diesem Buch werden Aspekte der Aussagenlogik und der Pradikaten logik der ersten Stufe behandelt. Eine Mathematisierung und Kalku lisierung der Logik kann naturlich ganz verschieden ausfallen, je nach dem, von welchen Motiven man sich primar leiten lasst. Wir stellen drei Gesichtspunkte, die uns auch als die wesentlichsten erscheinen, in den Vordergrund: Die Formalisierung des Wahrheits begriffes, die Formalisierung des Beweisbarkeitsbegriffes und das Problem des Suchens nach Beweisen. Diese drei Aspekte fuhren zu drei verschiedenen Arten von Kalkulen. Die Betonung des Wahrheitsbegriffes...

The authors offer a comprehensive guide to machine learning applied to signal processing and recognition problems, and then discuss real applications in domains such as speech processing and biomedical signal processing, with a focus on handling noise.