| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Domenico Cantone, Calogero G. Zarba |
A Decision Procedure for Monotone Functions over Lattices.  |
APPIA-GULP-PRODE  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Towards automated reformulation of specications. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elisa Bertino, Alessandro Provetti, Franco Salvetti |
Local Closed-World Assumptions for reasoning about Semantic Web data. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | J. A. D Vila, M. Y. Uzcategui |
Agents' executable specifications. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà |
A Logic Programming Approach for Planning Workflows Evolutions. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | J. Chen, Y. Zhang |
A knowledge Transaction Processing Language and Model for Mobile Application. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo |
Enhancing Disjunctive Logic Programming for Ontology Specification. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira |
An Evolving Agent with EVOLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gabriela Serban |
A new logic architecture for Intelligent Agents. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Francesco Ricca |
The DLV Java Wrapper. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Intensional Sets in CLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Zoran Majkic |
Fixpoint Semantics for Query Answering in Data Integration Systems. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni |
Interpreting Abduction in CLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas |
Abstract Correction of OBJ-like Programs. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | David Pearce 0001, Agustín Valverde |
Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jørgen Villadsen |
Operational Semantics of an Imperative Language in Definite Clauses. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Francesco Buccafurri |
Multiagent Compromises and Joint Fixpoint Semantics. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gerald Pfeifer |
Solving Hard Disjunctive Logic Programs Faster (Sometimes). |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elisa Bertino, Alessandra Mileo, Alessandro Provetti |
User Preferences VS Minimality in PPDL. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Francesco Buccafurri (eds.) |
2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003 |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia |
Reasoning about the Semantic Web using Answer Set Programming. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefania Galizia |
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary |
Exploiting Default Logic to Detect Outliers. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, Josep Silva, Germán Vidal |
Time Equations for Lazy Functional (Logic) Languages. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos |
An Ordered Choice Logic Programming Front-End for Answer Set Solvers. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | N. Graca, Paulo Quaresma |
Using dynamic logic programming to model legal reasoning. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Dirk Vermeir |
Ordered Programs as Abductive Systems. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elisabetta Poleo, Gianfranco Rossi |
JAVASET: Declarative Programming in Java with Sets. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello |
Advanced Backjumping Techniques for Rule Instantiations. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stefania Costantini, Andrea Formisano 0001, Eugenio G. Omodeo |
Mappings Between Domain Models in Answer Set Programming. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Axel Polleres |
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa |
Similarity-based SLD Resolution and applications to Mobile Agents. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco |
Improving Query Optimization for Disjunctive Datalog. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | S. Bozzoli, Fausto Spoto, Agostino Dovier |
Approximate Protein Folding in Oz through Frequency Analysis. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thom W. Frühwirth, Christian Holzbaur |
Source-to-Source Transformation for a Class of Expressive Rules. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Sergio Greco, Ester Zumpano |
A Logic Language for Database Integration. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jesús Correas Fernández, Francisco Bueno Carrillo |
A Configuration Framework for Distributed Logic Applications. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
Optimality in Goal-Dependent Analysis of Sharing. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Maurizio Martelli, Viviana Mascardi, Leon Sterling |
Logic-Based Languages to Model and Program Intelligent Agents. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ana Paula Tomás |
Solving Optimal Location of Traffic Count Posts in CLP(FD). |
APPIA-GULP-PRODE |
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). |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama |
Combining Crisp and Fuzzy Logic in a Prolog Compiler. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Antonella Guzzo, Domenico Saccà |
Modelling the Future with Event Choice DATALOG. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Susana Muñoz-Hernández, Juan José Moreno-Navarro |
Constructive negation for Prolog: A real implementation. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | John P. Gallagher |
Whatever Happened to Meta-Programming? |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andrea Formisano 0001, Eugenio G. Omodeo, Alberto Policriti |
Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ball |
Secrets of Software Model Checking. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ana Paula Tomás, José Paulo Leal, Pedro Vasconcelos |
Using Constraint Logic Programming to Generate Drills in Mathematics. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Vítor Beires Nogueira, Salvador Abreu, Gabriel David |
Towards Temporal Reasoning in ISCO. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Manuel Vilares Ferro, Francisco José Ribadas-Pena, Jorge Graña Gil |
On Pattern-Matching as Query Facility. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas W. Reps |
Static Program Analysis via 3-Valued Logic. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sandra Alves, Mário Florido |
On the Relation between Rank 2 Intersection Types and Simple Types. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Moreno Falaschi, Alberto Policriti, Alicia Villanueva |
Modeling concurrent systems specified in a temporal concurrent constraint language-I. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
On the Relations between Disjunctive and Linear Logic Programming. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Maria Chiara Meo, Andrea Omicini |
Preface. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli |
Refining and Compressing Abstract Model Checking. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Lígia Ferreira, Salvador Abreu |
Design for AJACS, yet another Java constraint programming framework. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi |
Probabilistic behaviours of reactive agents. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
Probabilistic confinement in a declarative framework. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Enrico Denti |
Formal ReSpecT. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Ossowski |
Constraint Based Coordination of Autonomous Agents. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato |
Correct Answers for First Order Logic. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thom W. Frühwirth |
On the number of rule applications in constraint programs. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Roberta Gori, Giorgio Levi |
Logic programs as specifications in the inductive verification of logic programs. |
APPIA-GULP-PRODE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu |
(Co)monads from inductive and coinductive types (Extended Abstract). |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Francisco José Galán Morillo, José Miguel Cañete Valdeón |
Folding by similarity. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alessandra Di Pierro, Herbert Wiklicky |
Quantum constraint programming. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fernando Orejas, Edelmira Pasarella, Elvira Pino |
Semantics of normal logic programs with embedded implications. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
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. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Samir Genaim, Michael Codish |
Inferring termination conditions for logic programs using backwards analysis. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
Proving correctness of timed concurrent constraint programs. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gianluigi Greco, Sergio Greco, Ester Zumpano |
Deterministic semantics for disjunctive logic programs. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Maurizio Martelli |
An embedding of calculi for negation as failure into linear logic. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
Multiset constraints and P systems. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Maribel Fernández, Ian Mackie, Jorge Sousa Pinto |
Combining interaction nets with externally defined programs. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella |
Finite-tree analysis for constraint logic-based languages. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fausto Spoto |
Logic programs as abstract domains. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Isabel Pita, Narciso Martí-Oliet |
Proving modal and temporal properties of rewriting logic programs. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | João Saraiva, Pablo R. Azero Alcocer |
Component-based Programming for Attribute Grammars. |
APPIA-GULP-PRODE |
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). |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Carla Piazza, Alberto Policriti |
Deciding modal logics using tableaux and set theory. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira |
Combining societal agents' knowledge. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
Boolean functions for finite-tree dependencies. |
APPIA-GULP-PRODE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marco Comini, Roberta Gori, Giorgio Levi |
How to transform an analyzer into a verifier. |
APPIA-GULP-PRODE |
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 |
APPIA-GULP-PRODE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Paola Inverardi, Monica Nesi |
Adding sorts to TRSs: a result on modularity of termination. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license