|
Showing 1 - 5 of
5 matches in All Departments
This book constitutes the refereed proceedings of the Third
International Workshop on Controlled Natural Language, CNL 2012,
held in Zurich, Switzerland, in August 2012. The 12 revised papers
presented in this volume were carefully reviewed and selected from
numerous submissions. The papers are organized in topical sections
on CNL for knowledge representation, CNL for interactive systems,
CNL applications, CNL grammars and lexica, CNL in the context of
the Semantic Web and Linked Open Data and CNL use cases.
This book constitutes the refereed proceedings of the Second
International Workshop on Controlled Natural Language, CNL 2010,
held in Marettimo Island, Italy, in September 2010. The 9 revised
papers presented in this volume, together with 1 tutorial, were
carefully reviewed and selected from 17 initial submissions. They
broadly cover the field of controlled natural language, stressing
theoretical and practical aspects of CNLs, relations to other
knowledge representation languages, tool support, and applications.
This volume contains the papers from the Seventh International
Workshop on Logic Program Synthesis and Transformation, LOPSTR '97,
that took place in Leuven, Belgium, on July 10-12, 1997, 'back to
back' with the Fourteenth International Conference on Logic
Programming, ICLP '97. Both ICLP and LOPSTR were organised by the
K.U. Leuven Department of Computer Science. LOPSTR '97 was
sponsored by Compulog Net and by the Flanders Research Network on
Declarative Methods in Computer Science. LOPSTR '97 had 39
participants from 13 countries. There were two invited talks by
Wolfgang Bibel (Darmstadt) on 'A multi level approach to program
synthesis', and by Henning Christiansen (Roskilde) on 'Implicit
program synthesis by a reversible metainterpreter'. Extended
versions of both talks appear in this volume. There were 19
technical papers accepted for presentation at LOPSTR '97, out of 33
submissions. Of these, 15 appear in extended versions in this
volume. Their topics range over the fields of program synthesis,
program transformation, program analysis, tabling, metaprogramming,
and inductive logic programming.
Logic programming enjoys a privileged position. It is firmly rooted
in mathematical logic, yet it is also immensely practical, as a
growing number of users in universities, research institutes, and
industry are realizing. Logic programming languages, specifically
Prolog, have turned out to be ideal as prototyping and application
development languages. This volume presents the proceedings of the
Second Logic Programming Summer School, LPSS'92. The First Logic
Programming Summer School, LPSS '90, addressed the theoretical
foundations of logic programming. This volume focuses onthe
relationship between theory and practice, and on practical
applications. The introduction to the volume is by R. Kowalski, one
of the pioneers in the field. The following papers are organized
into sections on constraint logic programming, deductive databases
and expert systems, processing of natural and formal languages,
software engineering, and education.
Das Buch ist eine Einfuhrung in die logische Programmierung in der
Form eines Kurses, in dem die Grundlagen der logischen
Programmierung, die logische Programmiersprache Prolog und ihre
Programmierpraxis, sowie einige Anwendungen vorgestellt werden.
Nach einer kurzen Begriffsbestimmung der logischen Programmierung
wird das sogenannte reine Prolog als Programmiersprache anhand von
Beispielen eingefuhrt. Die logischen Hintergrunde werden dabei nur
angedeutet. Anschliessend werden die Erweiterungen vorgestellt, die
Prolog zur vollen Programmiersprache machen. Es folgen etablierte
Programmiertechniken, die Prolog wie jede andere Programmiersprache
besitzt. Mit diesen Vorkenntnissen ist es nun leichter, die
theoretischen Grundlagen der logischen Programmierung zu verstehen.
Es wird gezeigt, wie Logik zur Wissensdarstellung und zur Ableitung
von weiterem Wissen verwendet werden kann. Ferner wird der Weg von
der Pradikatenlogik zur logischen Programmiersprache Prolog
nachvollzogen. Den Schluss bilden Anwendungen aus den Gebieten
wissensbasierte Systeme und Computerlinguistik."
|
|