Abstract is missing.
- Generalization and Reuse of Tactic ProofsAmy P. Felty, Douglas J. Howe. 1-15
- Program Tactics and Logic TacticsFausto Giunchiglia, Paolo Traverso. 16-30
- On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential ControlPhilippe de Groote. 31-43
- On a Proof-Theoretical Analysis of Sigma-1, 1-AC, Sigma-1, 1-DC and Delta-1, 1-CASergei Tupailo. 44-53
- Proof Plans for the Correction of False ConjecturesRaul Monroy, Alan Bundy, Andrew Ireland. 54-68
- On the Value of AntiprenexingUwe Egly. 69-83
- Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational ApproachHenk Vandecasteele, Danny De Schreye. 84-98
- RISC-CLP(CF) Constraint Logic Programming over Complex FunctionsHoon Hong. 99-113
- Logical ClosuresDominic Duggan. 114-128
- Higher-Order Rigid E-UnificationJean Goubault. 129-143
- Program Extraction in a Logical Framework SettingPenny Anderson. 144-158
- Higher-Order Abstract Syntax with Induction in CoqJoëlle Despeyroux, André Hirschowitz. 159-173
- Towards Efficient Calculi for Resource-Oriented Deductive PlanningStefan Brüning. 174-188
- A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative DialoguesPaulo Quaresma, José Gabriel Lopes. 189-199
- Constraint Logic Programming in the Sequent CalculusJohn Darlington, Yike Guo. 200-214
- On Conditional Rewrite Systems with Extra Variables and Deterministic Logic ProgramsJürgen Avenhaus, Carlos Loría-Sáenz. 215-229
- A Bottom-Up Reconstruction of the Well-founded Semantics for Disjunctive Logic ProgramsCristian Papp. 230-244
- An Efficient Computation of Extended Generalized Closed World Assumption by Support-for-Negation SetsDietmar Seipel. 245-259
- Multi-SLD ResolutionDonald A. Smith, Timothy J. Hickey. 260-274
- On Anti-LinksBernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray. 275-289
- A Generic Declarative Diagnoser for Normal Logic ProgramsLunjin Lu. 290-304
- Goal Dependent versus Goal Independent Analysis of Logic ProgramsMichael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo. 305-319
- A Kind of Achievement by Parts MethodPhilippe Mathieu, Jean-Paul Delahaye. 320-332
- Projection in Temporal Logic ProgrammingZhenhua Duan, Maciej Koutny, Chris Holt. 333-344