Sciweavers

5506 search results - page 65 / 1102
» Minimal Logic Programs
Sort
View
ICANN
2010
Springer
15 years 1 months ago
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets
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...
Ekaterina Komendantskaya, Krysia Broda, Artur S. d...
CPAIOR
2006
Springer
15 years 4 months ago
The Timetable Constrained Distance Minimization Problem
We define the timetable constrained distance minimization problem (TCDMP) which is a sports scheduling problem applicable for tournaments where the total travel distance must be mi...
Rasmus V. Rasmussen, Michael A. Trick
EPIA
2005
Springer
15 years 6 months ago
Operational Semantics for DyLPs
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 ...
Federico Banti, José Júlio Alferes, ...
93
Voted
ICLP
2007
Springer
15 years 7 months ago
Logic Programming for Knowledge Representation
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
Miroslaw Truszczynski
135
Voted
ICFP
1999
ACM
15 years 5 months ago
Specialization of Inductively Sequential Functional Logic Programs
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
María Alpuente, Michael Hanus, Salvador Luc...