Maria Chiara Meo, Manuel Vilares Ferro (Eds.):
1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999.
1999 BibTeX
- Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Specification and Simulation of Multi-Agent Systems in CaseLP.
13-28 BibTeX
- Floriano Zini, Leon Sterling:
Designing Ontologies for Agents.
29-42 BibTeX
- Fernando Orejas, Elvira Pino:
Semantic Definitions for Normal Open Programs.
43-58 BibTeX
- Andrea Formisano:
Proving the completeness of theory-based variants of resolution.
59-74 BibTeX
- María Alpuente, Salvador Lucas, Santiago Escobar:
An Incremental Needed Narrowing Calculus for Curry.
75-88 BibTeX
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández:
Disequalities May Help to Narrow.
89-104 BibTeX
- Antonio J. Fernández, Patricia M. Hill:
Constraint Solving on Lattices.
105-120 BibTeX
- Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi:
Labeling and Partial Arc Consistency for Soft Constraints.
121-136 BibTeX
- Antonio J. Fernández, Patricia M. Hill:
Extending clp(FD) by Negative Constraint Solving.
137-150 BibTeX
- Agostino Dovier, Carla Piazza, Alberto Policriti:
Comparing expressiveness of set constructor symbols.
151-166 BibTeX
- Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino:
Transitive Venn diagrams with applications to the decision problem in set theory.
167-182 BibTeX
- Francesco Ranzato:
CPOs as Concrete Domains: Lattices of Abstract Domains and Complements.
183-196 BibTeX
- Roberta Gori, Giorgio Levi:
On the verification of finite failure.
197-212 BibTeX
- Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhancing Sharing for Precision.
213-228 BibTeX
- Sergio Flesca, Sergio Greco, P. Lambardi, D. Romeo:
A System Prototype for the Optimization of Disjunctive Queries.
229-242 BibTeX
- Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino:
Specifying and computing hierarchies of temporal authorizations.
243-258 BibTeX
- José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma:
Preliminary exploration on actions as updates.
259-272 BibTeX
- Paola Inverardi, Monica Nesi:
Adding sorts to TRSs: a result on modularity of termination.
273-288 BibTeX
- 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.
289-304 BibTeX
- Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi:
ACI1 constraints.
305-320 BibTeX
- Patricia M. Hill, Fausto Spoto:
Freeness Analysis through Linear Refinement.
321-337 BibTeX
- Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak:
Diagnosis of CHIP Programs Using Type Information.
337-350 BibTeX
- Pedro Cabalar:
Temporal Answer Sets.
351-366 BibTeX
- Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso:
Hypotethical Reasoning: an application to Optical Music Recognition.
367-382 BibTeX
- David Lorenzo, Ramón P. Otero:
Learning Action Theories as Logic Programs.
383-396 BibTeX
- Ferrante Formato, Giangiacomo Gerla, Maria I. Sessa:
Extension of Logic Programming by Similarity.
397-410 BibTeX
- Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello:
Domains as First Class Objects in CLP(FD).
411-424 BibTeX
- Ricardo Lopes, Vítor Santos Costa:
The BEAM: A first EAM Implementation.
425-440 BibTeX
- Marco Bertolino, Sandro Etalle, Catuscia Palamidessi:
The Replacement Operation for CCP Programs.
441-454 BibTeX
- Fabio Fioravanti, Maurizio Proietti:
Contextual Specialization of Constraint Logic Programs.
455-470 BibTeX
- Antonio Brogi, G. Marongiu:
ExpertFinder: A Prolog Recommender System Integrated with the WWW.
471-484 BibTeX
- Pablo López, Ernesto Pimentel:
Hypothetical Reasoning with Substructural Logics.
485-496 BibTeX
- Alberto Momigliano, Frank Pfenning:
The Relative Complement Problem for Higher-Order Patterns.
497-512 BibTeX
- Luís Soares Barbosa:
Prototyping Processes.
513-528 BibTeX
- Roberta Gori:
A fixpoint semantics for reasoning about finite failure.
529-544 BibTeX
- Manuel Vilares Ferro, David Cabrero Souto, Miguel Angel Alonso Pardo:
Some questions about non-termination in DCGs.
545-558 BibTeX
- Enea Zaffanella, Roberto Bagnara, Patricia M. Hill:
Widening Sharing.
559-574 BibTeX
- Stefania Costantini, T. Morbidoni:
Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs.
575-588 BibTeX
- Carlos Viegas Damásio, V. Beires Nogueira:
Negation in Transaction Programs.
589-604 BibTeX
- Fosca Giannotti, Giuseppe Manco:
Querying inductive Databases via Logic-Based user-defined aggregates.
605-620 BibTeX
Copyright © Sat May 16 22:57:00 2009
by Michael Ley (ley@uni-trier.de)
