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

Related topics

Related topics

3 relations
International Conference on Logic ProgrammingLogic programmingProlog

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Transaction Logic with (Complex) Events
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
SUNNY: a Lazy Portfolio Approach for Constraint Solving
*** 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
Incremental Tabling for Query-Driven Propagation of Logic Program Updates
We foster a novel implementation technique for logic program updates, which exploits incremental tabling in logic programming… (More)
Is this relevant?
2012
2012
ECLiPSe - from LP to CLP
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
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP
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
Automated Termination Analysis for Logic Programs with Cut
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
Linking Data to Ontologies
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
Achieving compositionality of the stable model semantics for Smodels programs
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
Logic programming with satisfiability
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
Simplifying Logic Programs Under Uniform and Strong Equivalence
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?