Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Abstract We present a computational framework for conceptual blending, a concept invention method that is advocated in cognitive… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2014
2014
A novel argumentation semantics of defeasible logic programs (DeLP) is presented. Our goal is to build a semantics, which… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a… Expand
Is this relevant?
2001
2001
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… Expand
  • figure 5.1
  • figure 8.1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In “answer set programming”[5,7] solutions to a problem are represented by answer sets (known also as stable models), and not by… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
diagnosis searches for incorrectness and incompleteness errors as de ned in Section 3.2, using the su cient conditions given in… Expand
  • table V
Is this relevant?
1997
1997
8-12 July 1997, Leuven, Belgium The International Conference on Logic Programming is the main annual conference sponsored by the… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
interpretation is a theory of semantics approximation that is used for the construction of semantic-based program analysis… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1989
1989
Reverse engineering complex biological systems requires the integration of multiple different databases using detailed background… Expand
Is this relevant?