![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
11th 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. 1995
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.