APPIA-GULP-PRODE

Keyphrases

Publications

2003

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

2002