Skip to search formSkip to main contentSkip to account menu

International Conference on Logic Programming

Known as: ICLP, ICLP (conference) 
The International Conference on Logic Programming (ICLP) is an annual academic conference on the topic of logic programming. It is sponsored by the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Association for Logic ProgrammingFederated Logic ConferenceLecture Notes in Computer ScienceList of computer science conferences

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Introduction to the 32nd International Conference on Logic Programming Special Issue
The main track of the Thirty Second International Conference on Logic Programming (ICLP) took place in New York City, USA, from… 
2014
2014
Constraint Handling Rules with Multiset Comprehension Patterns
CHR is a declarative, concurrent and committed choice rule-based constraint programming language. We extend CHR with multiset… 
2013
2013
Decentralized execution of constraint handling rules for ensembles
CHR is a declarative, concurrent and committed choice rule-based constraint programming language. In this paper, we adapt CHR to… 
2013
2013
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
Constraint Handling Rules (CHR) is a high-level committed-choice language based on multi-headed and guarded rules. Over the past… 
2010
2010
Lazy and Faithful Assertions for Functional Logic Programs
Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for… 
Review
2009
Review
2009
Logic programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings
Invited Talks.- Experiences Using Logic Programming in Bioinformatics.- A Knowledge Base System Project for FO(.).- From Plain… 
2008
2008
Knowledge Coordinating Knowledge Sharing through Peer – to – Peer Interaction
The drive to extend the Web by taking advantage of automated symbolic reasoning (the so-called Semantic Web) has been dominated… 
2007
2007
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
We generalize the Constructor-based ReWriting Logic CRWL to the setting of the simply typed ?-calculus, where theories are… 
Review
2007
Review
2007
Selection into Worst Forms of Child Labor: Child Domestics, Porters and Ragpickers in Nepal
A large literature considers why children work, but little is known about why children participate in activities that are labeled… 
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)