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… 
2015
2015
Introduction to the 31st International Conference on Logic Programming special issue
The 31st edition of the International Conference of Logic Programming (ICLP 2015) took place in Cork, Ireland, from 31 August… 
Review
2011
Review
2011
Proof of soundness and completeness
We provide here a brief introduction and proof of soundness and completeness of the ILP system ASPAL. This document is in support… 
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… 
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… 
2002
2002
DISJUNCTIVE LOGIC PROGRAMS
Nested logic programs have recently been introduced in orde r to allow for arbitrarily nested formulas in the heads and the… 
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… 
Review
1986
Review
1986
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel… 
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)