Logic Programming: Formal Methods and Practical Applications, 1995

Christoph Beierle, Lutz Plümer (Eds.): Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland 1995, ISBN 0-444-82092-2

Wolfram Burgard: Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach. 1-19 BibTeX
Egon Börger, Dean Rosenzweig: The WAM - Definition and Compiler Correctness. 20-90 BibTeX
Lutz Plümer: Automatic Verification of Parallel Logic Programs: Termination. 91-119 BibTeX
Armin B. Cremers, Thomas Lemke, Mechthild Rohen: Logic Program Modules for Interoperable Information Systems. 121-138 BibTeX
Christoph Beierle: Concepts, Implementation, and Applications of a Typed Logic Programming Language. 139-167 BibTeX
Gregor Meyer: Polymorphic Feature Types. 169-203 BibTeX
Peter Schachte, Georges Saab: Efficient Object-Oriented Programming in Prolog. 205-243 BibTeX
Henri Beringer, Bruno De Backer: Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. 245-272 BibTeX
Silvia Breitinger, Hendrik C. R. Lock: Using Constraint Logic Programming for Industrial Scheduling Problems. 273-299 BibTeX
Leon Sterling, Venkatesh Srinivasan: A Generic Scheduling Framework developed in Prolog. 301-322 BibTeX
Jürgen Sauer: Scheduling and Meta-Scheduling. 323-342 BibTeX
Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli: Robot Control Systems as Contextual Logic Programs. 343-379 BibTeX
Christoph Brzoska, Karl Schäfer: Temporal Logic Programming Applied to Image Sequence Evaluation. 381-395 BibTeX
Hervé Gallaire: Logic Programming - Past or Future? 397-404 BibTeX