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 BibTeX

Constraint Logic Programming

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

Theorem Proving

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

Types and Analysis

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

Invited Talk

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

Constraint Logic Programming

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

Natural Language and Program Transformations

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

Implementation and Verification

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

Invited Talk

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

Theorem Proving

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

Semantic

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