The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "APPIA-GULP-PRODE"( http://dblp.L3S.de/Venues/APPIA-GULP-PRODE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/agp

Publication years (Num. hits)
1996 (48) 1997 (51) 1998 (37) 1999 (41) 2001 (23) 2002 (24) 2003 (37)
Publication types (Num. hits)
inproceedings(254) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 261 publication records. Showing 261 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Domenico Cantone, Calogero G. Zarba A Decision Procedure for Monotone Functions over Lattices. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Marco Cadoli, Toni Mancini Towards automated reformulation of specications. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Elisa Bertino, Alessandro Provetti, Franco Salvetti Local Closed-World Assumptions for reasoning about Semantic Web data. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1J. A. D Vila, M. Y. Uzcategui Agents' executable specifications. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Gianluigi Greco, Antonella Guzzo, Domenico Saccà A Logic Programming Approach for Planning Workflows Evolutions. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1J. Chen, Y. Zhang A knowledge Transaction Processing Language and Model for Mobile Application. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo Enhancing Disjunctive Logic Programming for Ontology Specification. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira An Evolving Agent with EVOLP. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Gabriela Serban A new logic architecture for Intelligent Agents. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Ricca The DLV Java Wrapper. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Intensional Sets in CLP. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Zoran Majkic Fixpoint Semantics for Query Answering in Data Integration Systems. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni Interpreting Abduction in CLP. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas Abstract Correction of OBJ-like Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1David Pearce 0001, Agustín Valverde Some Typesmof Equivalence for Logic Programs and Equilibrium Logic. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Jørgen Villadsen Operational Semantics of an Imperative Language in Definite Clauses. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Buccafurri Multiagent Compromises and Joint Fixpoint Semantics. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Gerald Pfeifer Solving Hard Disjunctive Logic Programs Faster (Sometimes). Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Elisa Bertino, Alessandra Mileo, Alessandro Provetti User Preferences VS Minimality in PPDL. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Francesco Buccafurri (eds.) 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003 Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Maurizio Martelli, Viviana Mascardi From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia Reasoning about the Semantic Web using Answer Set Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Stefania Galizia Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary Exploiting Default Logic to Detect Outliers. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Pasquale De Meo DL-WBA: Un agente intelligente basato sulla Logica Descrittiva per il supporto delle attivita di Web browsing. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Elvira Albert, Josep Silva, Germán Vidal Time Equations for Lazy Functional (Logic) Languages. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Marina De Vos An Ordered Choice Logic Programming Front-End for Answer Set Solvers. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1N. Graca, Paulo Quaresma Using dynamic logic programming to model legal reasoning. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Davy Van Nieuwenborgh, Dirk Vermeir Ordered Programs as Abductive Systems. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Elisabetta Poleo, Gianfranco Rossi JAVASET: Declarative Programming in Java with Sets. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Simona Perri, Francesco Scarcello Advanced Backjumping Techniques for Rule Instantiations. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo Mappings Between Domain Models in Answer Set Programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Eiter, Axel Polleres Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa Similarity-based SLD Resolution and applications to Mobile Agents. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco Improving Query Optimization for Disjunctive Datalog. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1S. Bozzoli, Fausto Spoto, Agostino Dovier Approximate Protein Folding in Oz through Frequency Analysis. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Thom W. Frühwirth, Christian Holzbaur Source-to-Source Transformation for a Class of Expressive Rules. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Gianluigi Greco, Sergio Greco, Ester Zumpano A Logic Language for Database Integration. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Jesus Correas Fernández, Francisco Bueno Carrillo A Configuration Framework for Distributed Logic Applications. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Gianluca Amato, Francesca Scozzari Optimality in Goal-Dependent Analysis of Sharing. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Maurizio Martelli, Viviana Mascardi, Leon Sterling Logic-Based Languages to Model and Program Intelligent Agents. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Ana Paula Tomás Solving Optimal Location of Traffic Count Posts in CLP(FD). Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Federico 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 APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama Combining Crisp and Fuzzy Logic in a Prolog Compiler. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal A Deterministic Operational Semantics for Functional Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Antonella Guzzo, Domenico Saccà Modelling the Future with Event Choice DATALOG. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Francisco José Galán, José Miguel Cañete Compiling (for Validating) Explicit Specifications into Recursive Specifications in Linear Stratified Theories. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Susana Muñoz-Hernández, Juan José Moreno-Navarro Constructive negation for Prolog: A real implementation. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1John Gallagher Whatever Happened to Meta-Programming? Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Antonio 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 APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti Automation of Aggregate Theories: The Cornerstones of Equational Expressibility. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Ball Secrets of Software Model Checking. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Ana Paula Tomás, José Paulo Leal, Pedro Vasconcelos Using Constraint Logic Programming to Generate Drills in Mathematics. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Juan 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 APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Vítor Beires Nogueira, Salvador Abreu, Gabriel David Towards Temporal Reasoning in ISCO. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Manuel Vilares Ferro, Francisco José Ribadas-Pena, Jorge Graña Gil On Pattern-Matching as Query Facility. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas W. Reps Static Program Analysis via 3-Valued Logic. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Joã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 APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Sandra Alves, Mário Florido On the Relation between Rank 2 Intersection Types and Simple Types. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Tarmo Uustalu (Co)monads from inductive and coinductive types (Extended Abstract). Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1José 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 APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Francisco José Galán Morillo, José Miguel Cañete Valdeón Folding by similarity. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Herbert Wiklicky Quantum constraint programming. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Fernando Orejas, Edelmira Pasarella, Elvira Pino Semantics of normal logic programs with embedded implications. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Cè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 APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Luí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 APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Samir Genaim, Michael Codish Inferring termination conditions for logic programs using backwards analysis. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Proving correctness of timed concurrent constraint programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Gianluigi Greco, Sergio Greco, Ester Zumpano Deterministic semantics for disjunctive logic programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Giorgio Delzanno, Maurizio Martelli An embedding of calculi for negation as failure into linear logic. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Gianfranco Rossi Multiset constraints and P systems. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo Decidability results for sets with atoms. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Maribel Fernández, Ian Mackie, Jorge Sousa Pinto Combining interaction nets with externally defined programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella Finite-tree analysis for constraint logic-based languages. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Fausto Spoto Logic programs as abstract domains. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Isabel Pita, Narciso Martí-Oliet Proving modal and temporal properties of rewriting logic programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1João Saraiva, Pablo R. Azero Alcocer Component-based Programming for Attribute Grammars. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Gilles Barthe, Blas C. Ruiz Jiménez Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo). Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Carla Piazza, Alberto Policriti Deciding modal logics using tableaux and set theory. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira Combining societal agents' knowledge. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill Boolean functions for finite-tree dependencies. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Marco Comini, Roberta Gori, Giorgio Levi How to transform an analyzer into a verifier. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2001 DBLP  BibTeX  RDF
1Paola Inverardi, Monica Nesi Adding sorts to TRSs: a result on modularity of termination. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Floriano Zini, Leon Sterling Designing Ontologies for Agents. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Pablo López, Ernesto Pimentel Hypothetical Reasoning with Substructural Logics. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Antonio J. Fernández 0001, Patricia M. Hill Extending clp(FD) by Negative Constraint Solving. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Fosca Giannotti, Giuseppe Manco Querying inductive Databases via Logic-Based user-defined aggregates. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Manuel Vilares Ferro, David Cabrero Souto, Miguel Angel Alonso Pardo Some questions about non-termination in DCGs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1María Alpuente, Salvador Lucas, Santiago Escobar An Incremental Needed Narrowing Calculus for Curry. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Stefania Costantini, T. Morbidoni Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Antonio J. Fernández 0001, Patricia M. Hill Constraint Solving on Lattices. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso Hypotethical Reasoning: an application to Optical Music Recognition. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Maurizio Martelli, Viviana Mascardi, Floriano Zini Specification and Simulation of Multi-Agent Systems in CaseLP. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, V. Beires Nogueira Negation in Transaction Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Enea Zaffanella, Roberto Bagnara, Patricia M. Hill Widening Sharing. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Alberto Momigliano, Frank Pfenning The Relative Complement Problem for Higher-Order Patterns. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Roberta Gori A fixpoint semantics for reasoning about finite failure. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 261 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license