default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 460 matches
- 2010
- María Alpuente, Demis Ballis, Moreno Falaschi:
Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299 - Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni:
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 25 Years GULP 2010: 204-230 - Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Answer Set Programming. 25 Years GULP 2010: 159-182 - Annalisa Bossi, Maria Chiara Meo:
Theoretical Foundations and Semantics of Logic Programming. 25 Years GULP 2010: 15-36 - Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato:
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158 - Andrea Formisano, Eugenio G. Omodeo:
Theory-Specific Automated Reasoning. 25 Years GULP 2010: 37-63 - Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia:
Concurrent and Reactive Constraint Programming. 25 Years GULP 2010: 231-253 - Marco Gavanelli, Francesca Rossi:
Constraint Logic Programming. 25 Years GULP 2010: 64-86 - Laura Giordano, Francesca Toni:
Knowledge Representation and Non-monotonic Reasoning. 25 Years GULP 2010: 87-111 - Sergio Greco, Francesca A. Lisi:
Logic Programming Languages for Databases and the Web. 25 Years GULP 2010: 183-203 - Alberto Momigliano, Mario Ornaghi:
Proof-Theoretic and Higher-Order Extensions of Logic Programming. 25 Years GULP 2010: 254-270 - Alessandro Dal Palù, Paolo Torroni:
25 Years of Applications of Logic Programming in Italy. 25 Years GULP 2010: 300-328 - Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
The Transformational Approach to Program Development. 25 Years GULP 2010: 112-135 - Gianfranco Rossi:
Logic Programming in Italy: A Historical Perspective. 25 Years GULP 2010: 1-14 - Agostino Dovier, Enrico Pontelli:
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science 6125, Springer 2010, ISBN 978-3-642-14308-3 [contents] - 2003
- Elvira Albert, Josep Silva, Germán Vidal:
Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE 2003: 13-24 - 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 - María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Correction of OBJ-like Programs. APPIA-GULP-PRODE 2003: 422-433 - Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary:
Exploiting Default Logic to Detect Outliers. APPIA-GULP-PRODE 2003: 86-96 - Elisa Bertino, Alessandra Mileo, Alessandro Provetti:
User Preferences VS Minimality in PPDL. APPIA-GULP-PRODE 2003: 110-122 - Elisa Bertino, Alessandro Provetti, Franco Salvetti:
Local Closed-World Assumptions for reasoning about Semantic Web data. APPIA-GULP-PRODE 2003: 314-323 - L. Blandi, Vincenzo Loia, Sabrina Senatore, Maria I. Sessa:
Similarity-based SLD Resolution and applications to Mobile Agents. APPIA-GULP-PRODE 2003: 193-204 - S. Bozzoli, Fausto Spoto, Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis. APPIA-GULP-PRODE 2003: 123-134 - Francesco Buccafurri:
Multiagent Compromises and Joint Fixpoint Semantics. APPIA-GULP-PRODE 2003: 180-192 - Marco Cadoli, Toni Mancini:
Towards automated reformulation of specications. APPIA-GULP-PRODE 2003: 398-409 - Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, Pasquale Rullo:
Enhancing Disjunctive Logic Programming for Ontology Specification. APPIA-GULP-PRODE 2003: 63-74 - Domenico Cantone, Calogero G. Zarba:
A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12 - J. Chen, Y. Zhang:
A knowledge Transaction Processing Language and Model for Mobile Application. APPIA-GULP-PRODE 2003: 50-62 - Stefania Costantini, Andrea Formisano, Eugenio G. Omodeo:
Mappings Between Domain Models in Answer Set Programming. APPIA-GULP-PRODE 2003: 147-158 - Chiara Cumbo, Wolfgang Faber, Gianluigi Greco:
Improving Query Optimization for Disjunctive Datalog. APPIA-GULP-PRODE 2003: 252-262
skipping 430 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-28 02:56 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint