11. WLP 1995: Wien, Austria

Andreas Krall, Ulrich Geske: 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270
Postscript Files

Invited Talk

Helmut Simonis: Application Development with the CHIP System. 11-27

Constraint Logic Programming

Luis Urbina, Günter Riedewald: A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. 29-38
Luis Urbina: Analysis of Robotics Applications in CLP. 39-48
Hans-Joachim Goltz: Ein effizientes constraint-logisches Verfahren zur Eingrenzung der optimalen Lösungen von Problemen der Ablaufplanung. 49-57

Theorem Proving

Ulrich Furbach: From Theorem Proving to Logic Programming. 59-62
Gerhard Wetzel, Robert A. Kowalski, Francesca Toni: A Theorem-Proving approach to CLP. 63-72
Bernhard Beckert, Joachim Posegga: LeanEA: A Lean Evolving Algebra Compiler. 73-82

Types and Analysis

Franz Puntigam: Typen für logikbasierte aktive Objekte. 83-90
Jörg Zimmermann: Polymorphe Typinferenz für Prolog. 91-100
Dmitri Boulanger: Complete Analysis for Definite Logic Programs. 101-110

Invited Talk

Peter Van Roy: Integrating Records into Concurrent Constraint Programming: A Case Study for DFKI Oz (Abstract). 111

Constraint Logic Programming

Tobias Müller, Jörg Würtz: Constructive Disjunction in Oz. 113-122
Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock: Co-ordinating Parallel Computation through Equational Constraints. 123-132
Wolfgang Grund, Astrid Schmücker-Schend: Cardinality-Operator & Constraint Hierarchien: Metaconstraints zur Behandlung weicher Randbedingungen. 133-141
Armin Wolf: Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). 143-149

Natural Language and Program Transformations

Rolf Schwitter, Bernhard Hamburger, Norbert E. Fuchs: Attempto: Specifications in Controlled Natural Language. 151-160
Annette Opalka, Ingo Raasch: Program Transformations for Constraint-Based Grammar Formalism. 161-169
Ulrich Neumerkel: Interprozedurale Registerallokation durch Quelltexttransformationen. 171-178

Implementation and Verification

Marinos Yannikos: Partielle Maschinencodegenerierung für binäres Prolog. 179-185
Andy Mück: Verifizierte Implementierung funktional-logischer Sprachen. 187-193

Invited Talk

Gerhard Brewka: Extended Logic Programs with Dynamic Preference Information: Extended Abstract. 195-203

Theorem Proving

François Bry, Rainer Manthey: Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser. 205-216

Semantic

Thomas Eiter, Nicola Leone: On Modularity Properties of Partial Semantics for Disjunctive Logic Programs. 217-226
Dietmar Seipel, Ulrich Güntzer: Mixed Fixpoint Theory for Disjunktive Deductive Databases. 227-236
Kerstin Eder, Steffen Hölldobler, Michael Thielscher: A Resource-Oriented Deductive Approach Towards Hierarchical Planning. 237-246