Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

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.
2020
2020
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation
Abstract The chase procedure for existential rules is an indispensable tool for several database applications, where its… 
2017
2017
CASP for Robot Control in Hybrid Domains
The task of planning in hybrid domains has recently attracted considerable attention, motivated by the potential for useful… 
2015
2015
On Argumentation with Purely Defeasible Rules
aspic \(^{+}\) is one of the most widely used systems for structured arguments and includes the use of both strict and defeasible… 
2014
2014
Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control : Extended Report
We present the new ASP system clingo 4. Unlike its predecessors, being mere monolithic combinations of the grounder gringo with… 
2011
2011
Autonomous agents coordination: Action languages meet CLP($\mathcal {FD}$) and Linda*
Abstract The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL… 
2011
2011
A Sound Semantics for Bousi ∼ Prolog
Bousi∼Prolog is an extension of the standard Prolog language aiming at to make more flexible the query answering process and to… 
2009
2009
Multi-valued Action Languages in CLP(FD)
Action description languages, such as A and B, are expressive instruments introduced for formalizing planning domains and… 
2008
2008
A Sound and Complete Algorithm for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) is a knowledge representation paradigm that allows for a tight integration of Logic… 
2007
2007
Introduction Special Issue on Multiparadigm Languages and Constraint Programming
In recent years much research and implementation effort has been devoted both to multiparadigm languages and constraint… 
Review
1999
Review
1999
Logic programming : proceedings of the 1999 International Conference on Logic Programming
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)