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. WLP 1995: 11-27

Constraint Logic Programming

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

Theorem Proving

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

Types and Analysis

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

Invited Talk

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

Constraint Logic Programming

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

Natural Language and Program Transformations

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

Implementation and Verification

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

Invited Talk

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

Theorem Proving

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

Semantic

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