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

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A computational framework for conceptual blending
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
Embedding Defeasible Logic Programs into Generalized Logic Programs
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
From logic programming towards multi‐agent systems
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
Ordered linear logic and applications
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
Answer Set Planning (Abstract)
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
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
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
Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 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
First order abduction via tableau and sequent calculi
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
Abstract Interpretation and Application to Logic Programs
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
6th International Conference on Logic Programming
Reverse engineering complex biological systems requires the integration of multiple different databases using detailed background… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE