Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,166,951 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
2018
2018
Top-down and Bottom-up Evaluation Procedurally Integrated
D. Warren
Theory and Practice of Logic Programming
2018
Corpus ID: 5041358
Abstract This paper describes how the Logic Programming System XSB combines top-down and bottom-up computation through the…
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
Deriving conclusions from non-monotonic cause-effect relations*
Jorge Fandinno
Theory and Practice of Logic Programming
2016
Corpus ID: 9541127
Abstract We present an extension of Logic Programming (under stable models semantics) that, not only allows concluding whether a…
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
2013
2013
Under consideration for publication in Theory and Practice of Logic Programming 1 Towards Inverse Execution of Constraint Handling Rules
A. Zaki
,
Thom W. Frühwirth
,
Slim Abdennadher
2013
Corpus ID: 18569489
Inverse execution is a non-deterministic process of discovering the inputs to a program starting from its output. This paper…
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
A Sound and Complete Algorithm for Simple Conceptual Logic Programs
C. Feier
,
S. Heymans
2008
Corpus ID: 14705579
Open Answer Set Programming (OASP) is a knowledge representation paradigm that allows for a tight integration of Logic…
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