default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPPIA-GULP-PRODE 2003: Reggio Calabria, Italy
- Francesco Buccafurri:
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. APPIA-GULP-PRODE 2003: 1-12 - Elvira Albert, Josep Silva, Germán Vidal:
Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24 - Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni:
Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35 - Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49 - J. Chen, Y. Zhang:
A knowledge Transaction Processing Language and Model for Mobile Application. APPIA-GULP-PRODE 2003: 50-62 - Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo:
Enhancing Disjunctive Logic Programming for Ontology Specification. APPIA-GULP-PRODE 2003: 63-74 - Gianluigi Greco, Antonella Guzzo, Domenico Saccà:
A Logic Programming Approach for Planning Workflows Evolutions. APPIA-GULP-PRODE 2003: 75-85 - Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary:
Exploiting Default Logic to Detect Outliers. APPIA-GULP-PRODE 2003: 86-96 - Stefania Galizia:
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva. APPIA-GULP-PRODE 2003: 97-109 - Elisa Bertino, Alessandra Mileo, Alessandro Provetti:
User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE 2003: 110-122 - S. Bozzoli, Fausto Spoto, Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134 - Zoran Majkic:
Fixpoint Semantics for Query Answering in Data Integration Systems. APPIA-GULP-PRODE 2003: 135-146 - Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158 - Gabriela Serban:
A new logic architecture for Intelligent Agents. APPIA-GULP-PRODE 2003: 159-167 - J. A. D Vila, M. Y. Uzcategui:
Agents' executable specifications. APPIA-GULP-PRODE 2003: 168-179 - Francesco Buccafurri:
Multiagent Compromises and Joint Fixpoint Semantics. APPIA-GULP-PRODE 2003: 180-192 - L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa:
Similarity-based SLD Resolution and applications to Mobile Agents. APPIA-GULP-PRODE 2003: 193-204 - José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216 - N. Graca, Paulo Quaresma:
Using dynamic logic programming to model legal reasoning. APPIA-GULP-PRODE 2003: 217-225 - Gerald Pfeifer:
Solving Hard Disjunctive Logic Programs Faster (Sometimes). APPIA-GULP-PRODE 2003: 226-237 - Simona Perri, Francesco Scarcello:
Advanced Backjumping Techniques for Rule Instantiations. APPIA-GULP-PRODE 2003: 238-251 - Chiara Cumbo, Wolfgang Faber, Gianluigi Greco:
Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE 2003: 252-262 - Francesco Ricca:
The DLV Java Wrapper. APPIA-GULP-PRODE 2003: 263-274 - 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: 275-286 - Elisabetta Poleo, Gianfranco Rossi:
JAVASET: Declarative Programming in Java with Sets. APPIA-GULP-PRODE 2003: 287-301 - Pasquale De Meo:
DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsing. APPIA-GULP-PRODE 2003: 302-313 - Elisa Bertino, Alessandro Provetti, Franco Salvetti:
Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE 2003: 314-323 - Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia:
Reasoning about the Semantic Web using Answer Set Programming. APPIA-GULP-PRODE 2003: 324-336 - Jørgen Villadsen:
Operational Semantics of an Imperative Language in Definite Clauses. APPIA-GULP-PRODE 2003: 337-349 - David Pearce, Agustín Valverde:
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. APPIA-GULP-PRODE 2003: 350-361 - Marina De Vos:
An Ordered Choice Logic Programming Front-End for Answer Set Solvers. APPIA-GULP-PRODE 2003: 362-373 - Davy Van Nieuwenborgh, Dirk Vermeir:
Ordered Programs as Abductive Systems. APPIA-GULP-PRODE 2003: 374-385 - Thom W. Frühwirth, Christian Holzbaur:
Source-to-Source Transformation for a Class of Expressive Rules. APPIA-GULP-PRODE 2003: 386-397 - Marco Cadoli, Toni Mancini:
Towards automated reformulation of specications. APPIA-GULP-PRODE 2003: 398-409 - Thomas Eiter, Axel Polleres:
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. APPIA-GULP-PRODE 2003: 410-421 - María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-11 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
