default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th WLP 1994: Zurich, Switzerland
- Norbert E. Fuchs, Georg Gottlob:
Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10. Institut für Informatik der Universität Zürich 1994
Invited Talk
- Andreas Krall:
Implementation techniques for Prolog. WLP 1994: 1-15
Systems & Implementations
- Giancarlo Succi, Joy Marino, Alberto Baudino, Antonio Durante:
The Compilation of a Set-Based Logic Language for Generic Parallel Machines. WLP 1994: 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. WLP 1994: 20-23 - Jens E. Wunderwald:
Logikprogrammieren mit frei wählbarer Auswertungsrichtung. WLP 1994: 24-27
Analysis, Synthesis & Transformation
- Khaled Bsaïes:
Discovering "Eureka Steps" in Transforming Logic Programs. WLP 1994: 28-31 - Fredrik Eklund, Andreas Kågedal:
Optimization of GAPLog Programs. WLP 1994: 32-35 - Paolo Frigo, Massimo Marchiori:
Implementing Prolog Programs Free from Unification. WLP 1994: 36-39
Language, Semantics & Extensions
- Urs Badertscher, Robert W. Marti, Ulrich Reimer:
Integrating Terminological and Deductive Reasoning. WLP 1994: 40-43 - T. H. Fung:
A Modified Abductive Framework. WLP 1994: 44-47 - Frieder Stolzenburg:
Logic Programming with Sets by Membership-Constraints. WLP 1994: 48-51 - David Pearce:
Some General Properies of Answer Set Inference for Extended Disjunctive Logic Programs. WLP 1994: 52-55
Invited Talk
- François Bry:
Logikprogrammierung ohne Modelltheorie? WLP 1994: 56
Databases
- Stefan Benzschawel:
Another Method for Compiling Datalog. WLP 1994: 57-60 - Stefan Decker, Christoph Lingenfelder:
Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung. WLP 1994: 61-64 - Roman Gross, Robert W. Marti:
DeCoR a Deductive Constraint Database System. WLP 1994: 65-68 - Gerd Wagner:
Transforming Deductive into Active Databases. WLP 1994: 69-72
Analysis, Synthesis & Transformation
- Maria Vargas-Vera, David Stuart Robertson:
An Environment for Building Prolog Programs Based on Knowledge about their Construction. WLP 1994: 73-76 - Jorge L. V. Barbosa, Otilia Werner, Cláudio F. R. Geyer:
Automatic Granularity Analysis in Logic Programming. WLP 1994: 77-80
Language, Semantics & Extensions
- Stefan Brass, Jürgen Dix:
A Characterization of the Stable Semantics by Partial Evaluation. WLP 1994: 81-84 - Isabelle Blot, Irène Foucherot, François Jacquenet:
Incremental Generation of Parsers for Knowledge Manipulation in PROLOG. WLP 1994: 85-88 - Steffen Hölldobler, Yvonne Kalinke:
Ein massiv paralleles Modell für die Logikprogrammierung. WLP 1994: 89-92 - Gregor Meyer:
Zur Modellierung in der ordnungssortierten logischen Programmierung. WLP 1994: 93-95 - Dietmar Seipel:
A Dual Fixpoint Approach for Deriving the Disjunctive Well-Founded Semantics. WLP 1994: 96-99
Applications
- Michael Nitsche, Ulrich Geske:
Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen. WLP 1994: 100-103 - Paul Soper, Muhammad A. Pasha:
Logic Programming Techniques for Handling Navigational Problems of Hypermedia Systems. WLP 1994: 104-107 - Bernhard Beckert, Joachim Posegga:
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP 1994: 108-111 - Rainer Staudte, Uwe Erdmenger:
Hilfsmattaufgaben als arithmetische Constraints. WLP 1994: 112-115 - Antonio Mendes da Silva Filho:
Prototyping Real-Time Systems Using Logic Programming. WLP 1994: 116-119
Invited Talk
- Thom W. Frühwirth:
Constraint Handling Rules (Extended Abstract). WLP 1994: 120-129
Constraint Logic Programming
- Peter Barth, Alexander Bockmayr:
Global Consistency in CLP(PB). WLP 1994: 130-133 - Philippe Refalo:
Solving Real Linear Ask Constraints. WLP 1994: 134-137 - Robert A. Kowalski, Francesca Toni, Gerhard Wetzel:
Towards a Declarative and Efficient Glass-Box CLP Language. WLP 1994: 138-141 - Armin Wolf:
Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen. WLP 1994: 142-145
Invited Talk
- Nada Lavrac:
Inductive Logic Programming. WLP 1994: 146-160
Inductive Logic Programming
- Nobuhiro Inuzuka:
Learning without Model-theoretic Improvements. WLP 1994: 161-164 - Ashesh Mahidadia, Claude Sammut, Paul Compton:
Helping Researchers To Construct Scientific Models: A Tool From Inductive Logic Programming. WLP 1994: 165-168 - Lubos Popelínský:
Towards Program Synthesis From A Samll Example Set. WLP 1994: 169-172
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
