599 search results - page 29 / 120 » Integrating answer set programming and constraint logic prog... |
179
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
190
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
166
click to vote
ILP
2007
Springer
16 years 1 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
195
click to vote
PADL
2005
Springer
15 years 11 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
152
click to vote
ICLP
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....