599 search results - page 29 / 120 » Integrating answer set programming and constraint logic prog... |
153
Voted
ICANN
2010
Springer
15 years 4 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...
151
Voted
PADL
2004
Springer
15 years 8 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...
133
Voted
ILP
2007
Springer
15 years 9 months 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 ...
151
click to vote
PADL
2005
Springer
15 years 9 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...
121
click to vote
ICLP
2007
Springer
15 years 9 months 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....