10. WLP 1994: Zurich, Switzerland

Norbert E. Fuchs, Georg Gottlob (Eds.): Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich. Technical Report 94/10, Institut für Informatik der Universität Zürich, September 1994

Invited Talk

Andreas Krall: Implementation techniques for Prolog. 1-15

Systems & Implementations

Giancarlo Succi, Joy Marino, Alberto Baudino, Antonio Durante: The Compilation of a Set-Based Logic Language for Generic Parallel Machines. 16-19
Otilia Werner, Adenauer C. Yamin, Jorge L. V. Barbosa, Cláudio F. R. Geyer: OPERA Project: An Approach Towards Parallelism Exploitation on Logic Programming. 20-23
Jens E. Wunderwald: Logikprogrammieren mit frei wählbarer Auswertungsrichtung. 24-27

Analysis, Synthesis & Transformation

Khaled Bsaïes: Discovering "Eureka Steps" in Transforming Logic Programs. 28-31
Fredrik Eklund, Andreas Kågedal: Optimization of GAPLog Programs. 32-35
Paolo Frigo, Massimo Marchiori: Implementing Prolog Programs Free from Unification. 36-39

Language, Semantics & Extensions

Urs Badertscher, Robert W. Marti, Ulrich Reimer: Integrating Terminological and Deductive Reasoning. 40-43
T. H. Fung: A Modified Abductive Framework. 44-47
Frieder Stolzenburg: Logic Programming with Sets by Membership-Constraints. 48-51
David Pearce: Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. 52-55

Invited Talk

François Bry: Logikprogrammierung ohne Modelltheorie? 56

Databases

Stefan Benzschawel: Another Method for Compiling Datalog. 57-60
Stefan Decker, Christoph Lingenfelder: Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung. 61-64
Roman Gross, Robert W. Marti: DeCoR a Deductive Constraint Database System. 65-68
Gerd Wagner: Transforming Deductive into Active Databases. 69-72

Analysis, Synthesis & Transformation

Maria Vargas-Vera, David Stuart Robertson: An Environment for Building Prolog Programs Based on Knowledge about their Construction. 73-76
Jorge L. V. Barbosa, Otilia Werner, Cláudio F. R. Geyer: Automatic Granularity Analysis in Logic Programming. 77-80

Language, Semantics & Extensions

Stefan Brass, Jürgen Dix: A Characterization of the Stable Semantics by Partial Evaluation. 81-84 , a revised version of this paper was published in LPNMR 1995: 85-98
Isabelle Blot, Irène Foucherot, François Jacquenet: Incremental Generation of Parsers for Knowledge Manipulation in PROLOG. 85-88
Steffen Hölldobler, Yvonne Kalinke: Ein massiv paralleles Modell für die Logikprogrammierung. 89-92
Gregor Meyer: Zur Modellierung in der ordnungssortierten logischen Programmierung. 93-95
Dietmar Seipel: A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. 96-99

Applications

Michael Nitsche, Ulrich Geske: Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen. 100-103
Paul Soper, Muhammad A. Pasha: Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems. 104-107
Bernhard Beckert, Joachim Posegga: Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. 108-111
Rainer Staudte, Uwe Erdmenger: Hilfsmattaufgaben als arithmetische Constraints. 112-115
Antonio Mendes da Silva Filho: Prototyping Real-Time Systems Using Logic Programming. 116-119

Invited Talk

Thom W. Frühwirth: Constraint Handling Rules (Extended Abstract). 120-129

Constraint Logic Programming

Peter Barth, Alexander Bockmayr: Global Consistency in CLP(PB). 130-133
Philippe Refalo: Solving Real Linear Ask Constraints. 134-137
Robert A. Kowalski, Francesca Toni, Gerhard Wetzel: Towards a Declarative and Efficient Glass-Box CLP Language. 138-141
Armin Wolf: Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen. 142-145

Invited Talk

Nada Lavrac: Inductive Logic Programming. 146-160

Inductive Logic Programming

Nobuhiro Inuzuka: Learning without Model-theoretic Improvements. 161-164
Ashesh Mahidadia, Claude Sammut, Paul Compton: Helping Researchers To Construct Scientific Models: A Tool From Inductive Logic Programming. 165-168
Lubos Popelínsky: Towards Program Synthesis From A Samll Example Set. 169-172