Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Domenico Cantone, Calogero G. Zarba |
A Decision Procedure for Monotone Functions over Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 1-12, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Marco Cadoli, Toni Mancini |
Towards automated reformulation of specications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 398-409, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Elisa Bertino, Alessandro Provetti, Franco Salvetti |
Local Closed-World Assumptions for reasoning about Semantic Web data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 314-323, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | J. A. D Vila, M. Y. Uzcategui |
Agents' executable specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 168-179, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà |
A Logic Programming Approach for Planning Workflows Evolutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 75-85, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | J. Chen, Y. Zhang |
A knowledge Transaction Processing Language and Model for Mobile Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 50-62, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo |
Enhancing Disjunctive Logic Programming for Ontology Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 63-74, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
An Evolving Agent with EVOLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 205-216, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Gabriela Serban |
A new logic architecture for Intelligent Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 159-167, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Francesco Ricca |
The DLV Java Wrapper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 263-274, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Intensional Sets in CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 36-49, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Zoran Majkic |
Fixpoint Semantics for Query Answering in Data Integration Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 135-146, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni |
Interpreting Abduction in CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 25-35, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas |
Abstract Correction of OBJ-like Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 422-433, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | David Pearce 0001, Agustín Valverde |
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 350-361, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Jørgen Villadsen |
Operational Semantics of an Imperative Language in Definite Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 337-349, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Francesco Buccafurri |
Multiagent Compromises and Joint Fixpoint Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 180-192, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Gerald Pfeifer |
Solving Hard Disjunctive Logic Programs Faster (Sometimes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 226-237, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Elisa Bertino, Alessandra Mileo, Alessandro Provetti |
User Preferences VS Minimality in PPDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 110-122, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Francesco Buccafurri (eds.) |
2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Maurizio Martelli, Viviana Mascardi |
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 275-286, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia |
Reasoning about the Semantic Web using Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 324-336, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Stefania Galizia |
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 97-109, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary |
Exploiting Default Logic to Detect Outliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 86-96, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Pasquale De Meo |
DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 302-313, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Elvira Albert, Josep Silva, Germán Vidal |
Time Equations for Lazy Functional (Logic) Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 13-24, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Marina De Vos |
An Ordered Choice Logic Programming Front-End for Answer Set Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 362-373, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | N. Graca, Paulo Quaresma |
Using dynamic logic programming to model legal reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 217-225, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Ordered Programs as Abductive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 374-385, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Elisabetta Poleo, Gianfranco Rossi |
JAVASET: Declarative Programming in Java with Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 287-301, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Simona Perri, Francesco Scarcello |
Advanced Backjumping Techniques for Rule Instantiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 238-251, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Stefania Costantini, Andrea Formisano 0001, Eugenio G. Omodeo |
Mappings Between Domain Models in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 147-158, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Axel Polleres |
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 410-421, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa |
Similarity-based SLD Resolution and applications to Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 193-204, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco |
Improving Query Optimization for Disjunctive Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 252-262, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | S. Bozzoli, Fausto Spoto, Agostino Dovier |
Approximate Protein Folding in Oz through Frequency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 123-134, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Thom W. Frühwirth, Christian Holzbaur |
Source-to-Source Transformation for a Class of Expressive Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003, pp. 386-397, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Gianluigi Greco, Sergio Greco, Ester Zumpano |
A Logic Language for Database Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 71-, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Jesús Correas Fernández, Francisco Bueno Carrillo |
A Configuration Framework for Distributed Logic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 123-138, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Gianluca Amato, Francesca Scozzari |
Optimality in Goal-Dependent Analysis of Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 189-205, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Maurizio Martelli, Viviana Mascardi, Leon Sterling |
Logic-Based Languages to Model and Program Intelligent Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 105-122, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ana Paula Tomás |
Solving Optimal Location of Traffic Count Posts in CLP(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 173-188, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Federico Avanzini, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier, Davide Rocchesso |
Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 139-154, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama |
Combining Crisp and Fuzzy Logic in a Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 23-38, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal |
A Deterministic Operational Semantics for Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 207-, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Antonella Guzzo, Domenico Saccà |
Modelling the Future with Event Choice DATALOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 53-, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Francisco José Galán, José Miguel Cañete |
Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 223-239, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Juan José Moreno-Navarro |
Constructive negation for Prolog: A real implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 39-52, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | John P. Gallagher |
Whatever Happened to Meta-Programming? ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 1, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez |
A Functional Logic Language with Finite Domain Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 7-22, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Andrea Formisano 0001, Eugenio G. Omodeo, Alberto Policriti |
Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 275-, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 241-257, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Ball |
Secrets of Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 3, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ana Paula Tomás, José Paulo Leal, Pedro Vasconcelos |
Using Constraint Logic Programming to Generate Drills in Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 155-172, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Juan José Moreno-Navarro, Julio Mariño-Carballo (eds.) |
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![Facultad de Informática, Universidad Politécnica de Madrid The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Vítor Beires Nogueira, Salvador Abreu, Gabriel David |
Towards Temporal Reasoning in ISCO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 311-324, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Manuel Vilares Ferro, Francisco José Ribadas-Pena, Jorge Graña Gil |
On Pattern-Matching as Query Facility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 293-310, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas W. Reps |
Static Program Analysis via 3-Valued Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 5, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski |
A Language for Updates with Multiple Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 325-341, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sandra Alves, Mário Florido |
On the Relation between Rank 2 Intersection Types and Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 259-274, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo |
An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., pp. 87-, 2002, Facultad de Informática, Universidad Politécnica de Madrid. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Moreno Falaschi, Alberto Policriti, Alicia Villanueva |
Modeling concurrent systems specified in a temporal concurrent constraint language-I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 197-210, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
On the Relations between Disjunctive and Linear Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 65-89, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Maria Chiara Meo, Andrea Omicini |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 253-254, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli |
Refining and Compressing Abstract Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 90-107, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lígia Ferreira, Salvador Abreu |
Design for AJACS, yet another Java constraint programming framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 167-178, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Brogi |
Probabilistic behaviours of reactive agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 227-252, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic confinement in a declarative framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 108-130, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi, Sabina Rossi, Baudouin Le Charlier |
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 29-44, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Omicini, Enrico Denti |
Formal ReSpecT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 179-196, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Ossowski |
Constraint Based Coordination of Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 211-226, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato |
Correct Answers for First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 45-64, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth |
On the number of rule applications in constraint programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 147-166, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Formisano 0001, Eugenio G. Omodeo, Marco Temperini |
Layered map reasoning: An experimental approach put to trial on sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 1-28, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, Roberta Gori, Giorgio Levi |
Logic programs as specifications in the inductive verification of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000, pp. 131-146, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu |
(Co)monads from inductive and coinductive types (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 47-61, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río |
Reusable monadic semantics of logic programs with arithmetic predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 31-45, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Francisco José Galán Morillo, José Miguel Cañete Valdeón |
Folding by similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 181-195, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Alessandra Di Pierro, Herbert Wiklicky |
Quantum constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 113-130, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Fernando Orejas, Edelmira Pasarella, Elvira Pino |
Semantics of normal logic programs with embedded implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 1-15, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Cèsar Ferri Ramírez, José Hernández-Orallo, María José Ramírez-Quintana |
AND/OR trees for the learning of functional logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 329-341, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Luís Moniz Pereira, Paulo Quaresma (eds.) |
APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![Departamento de Informática, Universidade de Évora The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Samir Genaim, Michael Codish |
Inferring termination conditions for logic programs using backwards analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 229-243, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
Proving correctness of timed concurrent constraint programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 213-228, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Gianluigi Greco, Sergio Greco, Ester Zumpano |
Deterministic semantics for disjunctive logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 17-30, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Giorgio Delzanno, Maurizio Martelli |
An embedding of calculi for negation as failure into linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 165-179, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
Multiset constraints and P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 97-112, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 245-259, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Maribel Fernández, Ian Mackie, Jorge Sousa Pinto |
Combining interaction nets with externally defined programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 297-312, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
Finite-tree analysis for constraint logic-based languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 63-79, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Fausto Spoto |
Logic programs as abstract domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 197-211, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Isabel Pita, Narciso Martí-Oliet |
Proving modal and temporal properties of rewriting logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 277-295, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | João Saraiva, Pablo R. Azero Alcocer |
Component-based Programming for Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 343-358, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Gilles Barthe, Blas C. Ruiz Jiménez |
Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 149-163, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Carla Piazza, Alberto Policriti |
Deciding modal logics using tableaux and set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 261-276, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
Combining societal agents' knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 313-327, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
Boolean functions for finite-tree dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 81-96, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Marco Comini, Roberta Gori, Giorgio Levi |
How to transform an analyzer into a verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001., pp. 131-148, 2001, Departamento de Informática, Universidade de Évora. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Agostino Dovier, Maria Chiara Meo, Andrea Omicini (eds.) |
Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Paola Inverardi, Monica Nesi |
Adding sorts to TRSs: a result on modularity of termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, pp. 273-288, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|