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 44 matches
- 2014
- Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 755-770 (2014) - Mario Alviano, Wolfgang Faber, Stefan Woltran:
Complexity of super-coherence problems in ASP. Theory Pract. Log. Program. 14(3): 339-361 (2014) - Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro:
SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory Pract. Log. Program. 14(4-5): 509-524 (2014) - Gianluca Amato, Francesca Scozzari:
Optimal multibinding unification for sharing and linearity analysis. Theory Pract. Log. Program. 14(3): 379-400 (2014) - Christian Antic:
On Cascade Products of Answer Set Programs. Theory Pract. Log. Program. 14(4-5): 711-723 (2014) - Roman Barták, Neng-Fa Zhou:
Using Tabled Logic Programming to Solve the Petrobras Planning Problem. Theory Pract. Log. Program. 14(4-5): 697-710 (2014) - Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese:
Lifted Variable Elimination for Probabilistic Logic Programming. Theory Pract. Log. Program. 14(4-5): 681-695 (2014) - Bart Bogaerts, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker:
Simulating Dynamic Systems Using Linear Time Calculus Theories. Theory Pract. Log. Program. 14(4-5): 477-492 (2014) - Pedro Cabalar, Jorge Fandinno, Michael Fink:
Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. 14(4-5): 603-618 (2014) - Rafael Caballero, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
A Transformation-based implementation for CLP with qualification and proximity. Theory Pract. Log. Program. 14(1): 1-63 (2014) - Francesco Calimeri, Giovambattista Ianni, Francesco Ricca:
The third open answer set programming competition. Theory Pract. Log. Program. 14(1): 117-135 (2014) - Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano:
A Measure of Arbitrariness in Abductive Explanations. Theory Pract. Log. Program. 14(4-5): 665-679 (2014) - Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis:
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. Theory Pract. Log. Program. 14(4-5): 725-737 (2014) - Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14(4-5): 787-801 (2014) - Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning:
A Linear Logic Programming Language for Concurrent Programming over Graph Structures. Theory Pract. Log. Program. 14(4-5): 493-507 (2014) - Bart Demoen, Maria Garcia de la Banda:
Redundant Sudoku rules. Theory Pract. Log. Program. 14(3): 363-377 (2014) - Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann:
On Termination, Confluence and Consistent CHR-based Type Inference. Theory Pract. Log. Program. 14(4-5): 619-632 (2014) - Daniel Gall, Thom W. Frühwirth:
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. Theory Pract. Log. Program. 14(4-5): 525-538 (2014) - Michael Gelfond, Yuanlin Zhang:
Vicious Circle Principle and Logic Programs with Aggregates. Theory Pract. Log. Program. 14(4-5): 587-601 (2014) - Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Theory Pract. Log. Program. 14(2): 239-264 (2014) - Michael Hanus, Sven Koschnicke:
An ER-based framework for declarative web programming. Theory Pract. Log. Program. 14(3): 269-291 (2014) - Holger H. Hoos, Marius Lindauer, Torsten Schaub:
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 569-585 (2014) - Ethan K. Jackson:
A Module System for Domain-Specific Languages. Theory Pract. Log. Program. 14(4-5): 771-785 (2014) - Torbjörn Lager, Jan Wielemaker:
Pengines: Web Logic Programming Made Easy. Theory Pract. Log. Program. 14(4-5): 539-552 (2014) - Michael Leuschel, Tom Schrijvers:
Introduction to the 30th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 14(4-5): 401-414 (2014) - Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Rewriting and narrowing for constructor systems with call-time choice semantics. Theory Pract. Log. Program. 14(2): 165-213 (2014) - Theofrastos Mantadelis, Ricardo Rocha, Paulo Moura:
Tabling, Rational Terms, and Coinduction Finally Together! Theory Pract. Log. Program. 14(4-5): 429-443 (2014) - Marco Maratea, Luca Pulina, Francesco Ricca:
A multi-engine approach to answer-set programming. Theory Pract. Log. Program. 14(6): 841-868 (2014) - Kyle Marple, Gopal Gupta:
Dynamic Consistency Checking in Goal-Directed Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 415-427 (2014) - Lee Naish:
Transforming floundering into success. Theory Pract. Log. Program. 14(2): 215-238 (2014)
skipping 14 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-26 21: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