4513 search results - page 81 / 903 » Logic programming with satisfiability |
134
click to vote
ICANN
2010
Springer
15 years 2 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...
119
click to vote
EPIA
2005
Springer
15 years 7 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
102
click to vote
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
143
click to vote
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
114
click to vote
AOSD
2009
ACM
15 years 4 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...