Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,198,327 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.
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
2017
2017
Under consideration for publication in Theory and Practice of Logic Programming 1 Hybrid Conditional Planning using Answer Set Programming
Ibrahim Faruk Yalciner
,
Ahmed Nouman
,
V. Patoglu
,
E. Erdem
2017
Corpus ID: 43653883
We introduce a parallel offline algorithm for computing hybrid conditional plans, called HCP-ASP, oriented towards robotics…
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
2011
2011
A Sound Semantics for Bousi ∼ Prolog
Pascual Julián-Iranzo
,
C. Rubio-Manzano
2011
Corpus ID: 10042173
Bousi∼Prolog is an extension of the standard Prolog language aiming at to make more flexible the query answering process and to…
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
2009
2009
Multi-valued Action Languages in CLP(FD)
A. Dovier
,
A. Formisano
,
Enrico Pontelli
arXiv.org
2009
Corpus ID: 44875271
Action description languages, such as A and B, are expressive instruments introduced for formalizing planning domains and…
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
2002
2002
3 Constraint Propagation and Arc-consistency 2 Constraints and Concurrent Constraint Programming Analysis of a Global Contiguity Constraint
J. Schimpf
,
M. Wallace
2002
Corpus ID: 12665000
Logic programming in the context of multiparadigm programming: the Oz experience, Theory and Practice of Logic Programming, to…
Expand