Skip to content
Home/ Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr '97, Leuven, Belgium,
Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr '97, Leuven, Belgium,

Logic Program Synthesis and Transformation: 7th International Workshop, Lopstr '97, Leuven, Belgium,

No customer reviews yet ISBN 9783540650744 Springer

This volume contains the papers from the Seventh International Workshop on Logic Program Synthesis and Transformation, LOPSTR '97, that took place in Leuven, Belgium, on July 10-12, 1997, 'back to back' with the Fourteenth International Conference on Logic Programming, ICLP '97. Both ICLP and LOPSTR were organised by the K.U. Leuven Department of Computer Science. LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science. LOPSTR '97 had 39 participants from 13 countries. There were two invited talks by Wolfgang Bibel (Darmstadt) on 'A multi level approach to program synthesis', and by Henning Christiansen (Roskilde) on 'Implicit program synthesis by a reversible metainterpreter'. Extended versions of both talks appear in this volume. There were 19 technical papers accepted for presentation at LOPSTR '97, out of 33 submissions. Of these, 15 appear in extended versions in this volume. Their topics range over the fields of program synthesis, program transformation, program analysis, tabling, metaprogramming, and inductive logic programming.

About the author

Product details

BrandSpringer
Pub dateSep 9, 1998
ISBN-103540650741
ISBN-139783540650744
LanguageEnglish
Dimensions9.25 × 0.83 × 6.1 in
Weight1 lb
Last updated 2026-06-14 07:21
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Artificial Intelligence - General
See all
Mind Over Machine
Dreyfus, Hubert
$13.57
What to Think about Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence
Brockman, John
$12.77
AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Bender, Emily M
$22.48
Heuristic Search: Theory and Applications
Edelkamp, Stefan
$104.20
Vances in Intelligent Vehicles
Chen, Yaobin
$144.68
Plan, Activity, and Intent Recognition: Theory and Practice
<p>Plan recognition, activity recognition, and intent recognition together combine and unify techniques from user modeling, machine vision, intelligent user interfaces, human/computer interaction, autonomous and multi-agent systems, natural language understanding, and machine learning. </p> <i> <p>Plan, Activity, and Intent Recognition</i> explains the crucial role of these techniques in a wide variety of applications including: </p> <ul> <li>personal agent assistants </li> <li>computer and network security </li> <li>opponent modeling in games and simulation systems </li> <li>coordination in robots and software agents </li> <li>web e-commerce and collaborative filtering </li> <li>dialog modeling </li> <li>video surveillance </li> <li>smart homes </li></ul> <p>In this book, follow the history of this research area and witness exciting new developments in the field made possible by improved sensors, increased computational power, and new application areas.</p>
$138.85