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 40 matches
- 2019
- Tiantian Gao:
KALM: A Rule-based Approach for Knowledge Authoring and Question Answering. ICLP Technical Communications 2019: 389-395 - Paul Tarau, Jan Wielemaker, Tom Schrijvers:
Lazy Stream Programming in Prolog. ICLP Technical Communications 2019: 224-237 - José Luis Vilchis Medina, Pierre Siegel, Vincent Risch, Andrei Doncescu:
An Implementation of a Non-monotonic Logic in an Embedded Computer for a Motor-glider. ICLP Technical Communications 2019: 323-329 - Carmen Leticia García-Mata, Pedro Rafael Márquez-Gutiérrez:
Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations. ICLP Technical Communications 2019: 347-353 - Falco Nogatz, Philipp Körner, Sebastian Krings:
Prolog Coding Guidelines: Status and Tool Support. ICLP Technical Communications 2019: 8-21 - Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl, Gerhard Friedrich:
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP. ICLP Technical Communications 2019: 22-35 - João Barbosa, Mário Florido, Vítor Santos Costa:
A Three-Valued Semantics for Typed Logic Programming. ICLP Technical Communications 2019: 36-51 - Michael Morak:
Epistemic Logic Programs: A Different World View. ICLP Technical Communications 2019: 52-64 - Sarthak Ghosh, C. R. Ramakrishnan:
Value of Information in Probabilistic Logic Programs. ICLP Technical Communications 2019: 71-84 - Craig Olson, Yuliya Lierler:
Information Extraction Tool Text2ALM: From Narratives to Action Language System Descriptions. ICLP Technical Communications 2019: 87-100 - Adrien Husson, Jean Krivine:
A Tractable Logic for Molecular Biology. ICLP Technical Communications 2019: 101-113 - Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang:
On the Strong Equivalences of LPMLN Programs. ICLP Technical Communications 2019: 114-125 - Daniela Inclezan:
RestKB: A Library of Commonsense Knowledge about Dining at a Restaurant. ICLP Technical Communications 2019: 126-139 - David Spies, Jia-Huai You, Ryan Hayward:
Mutex Graphs and Multicliques: Reducing Grounding Size for Planning. ICLP Technical Communications 2019: 140-153 - Santiago Escobar, Julia Sapiña:
Most General Variant Unifiers. ICLP Technical Communications 2019: 154-167 - Mateusz Slazynski, Salvador Abreu, Grzegorz J. Nalepa:
Generating Local Search Neighborhood with Synthesized Logic Programs. ICLP Technical Communications 2019: 168-181 - Vincent Barichard, Igor Stéphan:
Quantified Constraint Handling Rules. ICLP Technical Communications 2019: 210-223 - K. Tuncay Tekle, Yanhong A. Liu:
Extended Magic for Negation: Efficient Demand-Driven Evaluation of Stratified Datalog with Precise Complexity Guarantees. ICLP Technical Communications 2019: 241-254 - Giacomo Da Col, Erich Teppan:
Google vs IBM: A Constraint Solving Challenge on the Job-Shop Scheduling Problem. ICLP Technical Communications 2019: 259-265 - Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez:
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. ICLP Technical Communications 2019: 266-272 - Ariyam Das, Youfu Li, Jin Wang, Mingda Li, Carlo Zaniolo:
BigData Applications from Graph Analytics to Machine Learning by Aggregates in Recursion. ICLP Technical Communications 2019: 273-279 - Van Duc Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation for Non-Expert Users. ICLP Technical Communications 2019: 280-294 - Tarek Khaled, Belaïd Benhamou:
An ASP-based Approach for Attractor Enumeration in Synchronous and Asynchronous Boolean Networks. ICLP Technical Communications 2019: 295-301 - Liu Liu, Miroslaw Truszczynski:
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP. ICLP Technical Communications 2019: 302-308 - Nicos Angelopoulos, Jan Wielemaker:
Advances in Big Data Bio Analytics. ICLP Technical Communications 2019: 309-322 - Abeer Dyoub, Stefania Costantini, Francesca A. Lisi:
Towards Ethical Machines Via Logic Programming. ICLP Technical Communications 2019: 333-339 - Valentina Pitoni, Stefania Costantini:
A Temporal Module for Logical Frameworks. ICLP Technical Communications 2019: 340-346 - Yusuf Izmirlioglu:
Reasoning about Qualitative Direction and Distance between Extended Objects using Answer Set Programming. ICLP Technical Communications 2019: 371-378 - Kinjal Basu:
Conversational AI : Open Domain Question Answering and Commonsense Reasoning. ICLP Technical Communications 2019: 396-402 - Francesco Fabiano:
Design of a Solver for Multi-Agent Epistemic Planning. ICLP Technical Communications 2019: 403-412
skipping 10 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-24 01:43 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