Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,380,129 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
International Conference on Logic Programming
Logic programming
Prolog
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
Arash Karimi
,
Heng Zhang
,
Jia-Huai You
Theory and Practice of Logic Programming
2020
Corpus ID: 218595721
Abstract The chase procedure for existential rules is an indispensable tool for several database applications, where its…
Expand
2017
2017
CASP for Robot Control in Hybrid Domains
Ryan Young
,
M. Balduccini
,
Ankush Israney
ASPOCP@LPNMR
2017
Corpus ID: 6136460
The task of planning in hybrid domains has recently attracted considerable attention, motivated by the potential for useful…
Expand
2016
2016
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)
M. Carro
,
Andy King
arXiv.org
2016
Corpus ID: 10575149
This is the list of the full papers accepted for presentation at the 32nd International Conference on Logic Programming, New York…
Expand
2014
2014
Under consideration for publication in Theory and Practice of Logic Programming 1 Clingo = ASP + Control : Extended Report
M. Gebser
,
Roland Kaminski
,
B. Kaufmann
,
Torsten Schaub
2014
Corpus ID: 4531060
We present the new ASP system clingo 4. Unlike its predecessors, being mere monolithic combinations of the grounder gringo with…
Expand
2014
2014
A Well-Founded Semantics for FOL-Programs
Yi Bi
,
Jia-Huai You
,
Zhiyong Feng
arXiv.org
2014
Corpus ID: 6182843
An FOL-program consists of a background theory in a decidable fragment of first-order logic and a collection of rules possibly…
Expand
2013
2013
Online appendix for the paper Failure Tabled Constraint Logic Programming by Interpolation published in Theory and Practice of Logic Programming
G. Gange
,
J. Navas
,
P. Schachte
,
H. Søndergaard
,
Peter James Stuckey
2013
Corpus ID: 17002515
The problem of verifying safety properties consists of proving that an unsafe configuration or error is not reachable from an…
Expand
2011
2011
Autonomous agents coordination: Action languages meet CLP($\mathcal {FD}$) and Linda*
A. Dovier
,
A. Formisano
,
Enrico Pontelli
Theory and Practice of Logic Programming
2011
Corpus ID: 1071336
Abstract The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL…
Expand
2009
2009
Wlp 2008
Sibylle Schwarz
Künstliche Intell.
2009
Corpus ID: 263885688
Die Gesellschaft für Logische Program-mierung e.V. [1], die deutschsprachige Abteilung (für Deutschland, Österreich und die…
Expand
2008
2008
Towards Term Rewriting Systems in Constraint Handling Rules Coming to terms with jungles
F. Raiser
,
Thom W. Frühwirth
2008
Corpus ID: 16532397
Term rewriting systems are a formalism in widespread use, often implemented by means of term graph rewriting. In this work we…
Expand
2007
2007
Introduction Special Issue on Multiparadigm Languages and Constraint Programming
M. Falaschi
,
Michael J. Maher
Theory and Practice of Logic Programming
2007
Corpus ID: 43426331
In recent years much research and implementation effort has been devoted both to multiparadigm languages and constraint…
Expand
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)
ACCEPT & CONTINUE