Association for Logic Programming

Known as: Association of Logic Programming, Theory and Practice of Logic Programming 
The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
This work deals with the problem of combining reactive features, such as the ability to respond to events and define complex… (More)
Is this relevant?
2014
2014
*** To appear in Theory and Practice of Logic Programming (TPLP) *** Within the context of constraint solving, a portfolio… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 5
Is this relevant?
2013
2013
We foster a novel implementation technique for logic program updates, which exploits incremental tabling in logic programming… (More)
Is this relevant?
2012
2012
ECLPS is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 2
  • figure 4
Is this relevant?
2010
2010
One day, you will discover a new adventure and knowledge by spending more money. But when? Do you think that you need to obtain… (More)
Is this relevant?
2010
2010
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Many organizations nowadays face the problem of accessing existing data sources by means of flexible mechanisms that are both… (More)
Is this relevant?
2008
2008
In this paper, a Gaifman-Shapiro-style module architecture is tailored to the case of Smodels programs under the stable model… (More)
Is this relevant?
2008
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the… (More)
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and… (More)
  • figure 1
  • table 1
  • table 2
  • table 4
Is this relevant?