Volume 2,
Number 1,
March 2004
The Sixth International Workshop on Deontic Logic in Computer Science
Volume 2,
Number 2,
June 2004
Variants of Logics:
from HOL to the calculus of constructions to teaching mathematical proofs on computers
Volume 2,
Number 3,
September 2004
Neural-symbolic Systems
- Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor:
Journal of Applied Logic Special Volume on Neural-Symbolic Systems.
241-243
Electronic Edition (link) BibTeX
- Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda:
Logic programs and connectionist networks.
245-272
Electronic Edition (link) BibTeX
- Sebastian Bader, Pascal Hitzler:
Logic programs, iterated function systems, and recurrent radial basis function networks.
273-300
Electronic Edition (link) BibTeX
- Jesús Medina, Enrique Mérida Casermeiro, Manuel Ojeda-Aciego:
A neural implementation of multi-adjoint logic programming.
301-324
Electronic Edition (link) BibTeX
- Guido Bologna:
Is it worth generating rules from neural network ensembles?
325-348
Electronic Edition (link) BibTeX
- Athanasios Tsakonas, Vasilis Aggelis, Ioannis Karkazis, Georgios Dounias:
An evolutionary system for neural logic networks using genetic programming and indirect encoding.
349-379
Electronic Edition (link) BibTeX
Volume 2,
Number 4,
December 2004
CMSRA
Copyright © Sun May 17 00:06:19 2009
by Michael Ley (ley@uni-trier.de)
