Accepted papers Semantics of normal logic programs with embedded implications. F. Orejas, E. Pasarella, E. Pino Proving modal and temporal properties of rewriting logic programs. I. Pita, N. Martí-Oliet Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates. J. Labra…
Yearly Archives: 2001
XVI. VIII APPIA-GULP-PRODE (2001), Évora (Portugal)
2001 JOINT CONFERENCE ON DECLARATIVE PROGRAMMING Évora (Portugal) September 26-28, 2001. Web page: APPIA-GULP-PRODE 2001 Program chairs: Luís Moniz Pereira and Paulo Quaresma AGP 2001 proceedings
Electronic Notes in Theoretical Computer Science – Special Issue on AGP 2000
The Special Issue on the APPIA, GULP, and PRODE Conference AGP 2000, has been published as Vol 48, June 2001 of Electronic Notes in Theoretical Computer Science. Read the preface.