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