Francesco Buccafurri (Ed.):
2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003.
2003 BibTeX
- Domenico Cantone, Calogero G. Zarba:
A Decision Procedure for Monotone Functions over Lattices.
1-12 BibTeX
- Elvira Albert, Josep Silva, Germán Vidal:
Time Equations for Lazy Functional (Logic) Languages.
13-24 BibTeX
- Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Interpreting Abduction in CLP.
25-35 BibTeX
- Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP.
36-49 BibTeX
- J. Chen, Y. Zhang:
A knowledge Transaction Processing Language and Model for Mobile Application.
50-62 BibTeX
- Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo:
Enhancing Disjunctive Logic Programming for Ontology Specification.
63-74 BibTeX
- Gianluigi Greco, Antonella Guzzo, Domenico Saccà:
A Logic Programming Approach for Planning Workflows Evolutions.
75-85 BibTeX
- Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary:
Exploiting Default Logic to Detect Outliers.
86-96 BibTeX
- Stefania Galizia:
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva.
97-109 BibTeX
- Elisa Bertino, Alessandra Mileo, Alessandro Provetti:
User Preferences VS Minimality in PPDL.
110-122 BibTeX
- S. Bozzoli, Fausto Spoto, Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis.
123-134 BibTeX
- Zoran Majkic:
Fixpoint Semantics for Query Answering in Data Integration Systems.
135-146 BibTeX
- Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming.
147-158 BibTeX
- G. Serban:
A new logic architecture for Intelligent Agents.
159-167 BibTeX
- J. A. D Vila, M. Y. Uzcategui:
Agents' executable specifications.
168-179 BibTeX
- Francesco Buccafurri:
Multiagent Compromises and Joint Fixpoint Semantics.
180-192 BibTeX
- L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa:
Similarity-based SLD Resolution and applications to Mobile Agents.
193-204 BibTeX
- José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
An Evolving Agent with EVOLP.
205-216 BibTeX
- N. Graca, Paulo Quaresma:
Using dynamic logic programming to model legal reasoning.
217-225 BibTeX
- Gerald Pfeifer:
Solving Hard Disjunctive Logic Programs Faster (Sometimes).
226-237 BibTeX
- Simona Perri, Francesco Scarcello:
Advanced Backjumping Techniques for Rule Instantiations.
238-251 BibTeX
- Chiara Cumbo, Wolfgang Faber, Gianluigi Greco:
Improving Query Optimization for Disjunctive Datalog.
252-262 BibTeX
- Francesco Ricca:
The DLV Java Wrapper.
263-274 BibTeX
- Maurizio Martelli, Viviana Mascardi:
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents.
275-286 BibTeX
- E. Poleo, G. Rossi:
JAVASET: Declarative Programming in Java with Sets.
287-301 BibTeX
- Pasquale De Meo:
DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsing.
302-313 BibTeX
- Elisa Bertino, Alessandro Provetti, Franco Salvetti:
Local Closed-World Assumptions for reasoning about Semantic Web data.
314-323 BibTeX
- Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia:
Reasoning about the Semantic Web using Answer Set Programming.
324-336 BibTeX
- Jørgen Villadsen:
Operational Semantics of an Imperative Language in Definite Clauses.
337-349 BibTeX
- David Pearce, Agustín Valverde:
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic.
350-361 BibTeX
- Marina De Vos:
An Ordered Choice Logic Programming Front-End for Answer Set Solvers.
362-373 BibTeX
- Davy Van Nieuwenborgh, Dirk Vermeir:
Ordered Programs as Abductive Systems.
374-385 BibTeX
- Thom W. Frühwirth, Christian Holzbaur:
Source-to-Source Transformation for a Class of Expressive Rules.
386-397 BibTeX
- Marco Cadoli, Toni Mancini:
Towards automated reformulation of specications.
398-409 BibTeX
- Thomas Eiter, Axel Polleres:
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation.
410-421 BibTeX
- María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Correction of OBJ-like Programs.
422-433 BibTeX
Copyright © Sat May 16 22:57:00 2009
by Michael Ley (ley@uni-trier.de)