- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández:
Disequalities May Help to Narrow. APPIA-GULP-PRODE 1999: 89-104 - Pablo López, Ernesto Pimentel:
Hypothetical Reasoning with Substructural Logics. APPIA-GULP-PRODE 1999: 485-496 - David Lorenzo, Ramón P. Otero:
Learning Action Theories as Logic Programs. APPIA-GULP-PRODE 1999: 383-396 - Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Specification and Simulation of Multi-Agent Systems in CaseLP. APPIA-GULP-PRODE 1999: 13-28 - Alberto Momigliano, Frank Pfenning:
The Relative Complement Problem for Higher-Order Patterns. APPIA-GULP-PRODE 1999: 497-512 - Fernando Orejas, Elvira Pino:
Semantic Definitions for Normal Open Programs. APPIA-GULP-PRODE 1999: 43-58 - Francesco Ranzato:
CPOs as Concrete Domains: Lattices of Abstract Domains and Complements. APPIA-GULP-PRODE 1999: 183-196 - José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos:
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. APPIA-GULP-PRODE 1999: 289-304 - Enea Zaffanella, Roberto Bagnara, Patricia M. Hill:
Widening Sharing. APPIA-GULP-PRODE 1999: 559-574 - Floriano Zini, Leon Sterling:
Designing Ontologies for Agents. APPIA-GULP-PRODE 1999: 29-42 - Maria Chiara Meo, Manuel Vilares Ferro:
1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999. 1999 [contents]