A. Paccanaro
Learning distributed representations of high-arity
relational data with Non-Linear Relational Embedding
Lecture Notes in Computer Science series, vol. 2714,
Artificial Neural Networks and Neural Information
Processing - ICANN/ICONIP 2003 ,
O. Kaynak, E. Alpaydin, E. Oja, L.
Xu Eds., Springer-Verlag, 2003.
A. Paccanaro
Adapting Distributed Representations to incorporate
new Concepts and Relations with Linear Relational Embedding
ICNPSC 2002 --- Second International Conference on
Neural Parallel and Scientific Computations, M.Sambandham, ed.,
7-12.
A. Paccanaro
Learning Distributed Representations of Concepts
from
Relational Data [pdf]
ICML 2002, Workshop on Development of
Representations,
E.
de Jong and T. Oates, eds.
A. Paccanaro, G. E. Hinton
Learning Hierarchical Structures with Linear
Relational
Embedding [pdf]
NIPS 14, Advances in Neural Information Processing
Systems 14, T. G. Dietterich and S. Becker and Z. Ghahramani eds.,
2001
A. Paccanaro, G. E. Hinton
Learning Distributed Representations of Relational
data using Linear Relational Embedding [pdf]
Proceedings of the 12-th Italian Workshop on Neural
Nets, WIRN VIETRI, 2001
A. Paccanaro, G. E. Hinton
Learning Distributed Representation of Concepts
using
Linear Relational Embedding [pdf]
IEEE Trans. on Knowledge and Data Engineering -
special
issue on 'Connectionists Models for Learning in Structured Domains'
Vol. 13, N.2, March/April 2001, 232-245
A. Paccanaro, G. E. Hinton
Learning Distributed Representation of Concepts
using
Linear Relational Embedding
Gatsby Computational Neuroscience Unit - Technical
Report 2000-002
A. Paccanaro, G. E. Hinton
Learning Distributed Representations by Mapping
Concepts
and Relations into a Linear Space [pdf]
ICML2000, Proceedings of the Seventeenth
International
Conference on Machine Learning, Langley P. (Ed.), 711-718,
Stanford
University, Morgan Kaufmann Publishers, San Francisco
A. Paccanaro, G. E. Hinton
Extracting Distributed Representations of Concepts
and Relations from Positive and Negative Propositions [pdf]
IJCNN 2000, Proceedings of the International Joint
Conference on Neural Networks
Neural
Networks
& Automated Theorem Proving
C. Mareco, A. Paccanaro
Using Neural Networks to improve the performance of
Automated Theorem Provers.
in Computational Methods and Neural Networks,
M.P.Bekakos, M.Sambandham Eds., 379-404, 1998, Dynamic Publishers, Inc.
C. Mareco, A. Paccanaro
Using the Tree Representation of Terms to Recognize
Matching with Neural Networks
Nonlinear Analysis, vol. 30, n. 5, 2925 - 2936,
1997
A. Paccanaro
Development of Neural Networks for speeding up
Automated
Theorem Proving. Results for the Group Theory (in Russian)
Izvestija Rossijskoj Academii nauk. Teorija i
sistemy
upravlenija (Proceedings of the Russian Academy of Science), n.5,
1997
(English translation: Soviet Journal of Computer
and
Computer System Sciences, n.5, 1997)
A. Paccanaro
Guiding Term Reduction through a Neural Network:
Some
Preliminary Results for the Group Theory
RTA 95 - J. Hsiang ed., Springer-Verlag LNCS
series,
n. 914, 444 - 450, 1995
A. Paccanaro
Guiding Term Simplification using Neural Networks:
some results for the Groups Theory
in Neural, Parallel and Scientific Computations
- S.Aityan, L.Grujic et al. eds., 377 - 382
Dynamic Publishers, Inc. - 1995
C. Mareco, A. Paccanaro
Using Neural Networks for Recognizing Matching among
terms
Proceedings of ICPA'95 - International Conference
on Parallel Algorithms - Wuhan, China, 1995
Gordon and Breach - Computer Mathematics Series, 1995
C. Mareco, A. Paccanaro
Recognizing Matching Among Terms: A Neural Network
Approach
Proceedings of the XXII Latin American Conference
on Computer Science (CLEI'96), 1012 - 1020, Santafe de Bogota,
Colombia
C. Mareco, A. Paccanaro
Recognizing Matching among Terms with a Neural
Network:
a Preliminary Study
Proc. of the XXI Latin American Conference on
Computer
Science (CLEI'95), 839 - 850, Canela, Brasil, 1995
A. Paccanaro, C. Willigs
Using Neural Networks for guiding Term
Simplification
in a Rewriting Based Automated Theorem Prover: some preliminary results
Proc. of the XX Latin American Conference on
Computer
Science (CLEI'94), 559 - 565, Ciudad de Mexico, Mexico, 1994
A. Paccanaro, C. Willigs
Guiding Term Simplification in a Rewriting Based
Automated
Theorem Prover through a Neural Network
Proc. of the XIV International Conference of the
Chilean
Computer Science Society, 315 - 322, Concepcion, Chile, 1994
A. Paccanaro, C. Willigs
Towards the use of Neural Networks for guiding the
search of a Rewriting Based Automated Theorem Prover
Proc. of the International Congress on Technology
and Applications in Computer Science, Asuncion, Paraguay, 1993
M. Alarcon, A. Grijalba, A. Paccanaro
Res4FOL: a fast Resolution Based Automated Theorem
Prover for First Order Logic
Proc. of the International Congress on Technology
and Applications in Computer Science Asuncion, Paraguay, 1995
M. Kreitmair, C. Mareco, A. Paccanaro
KBTeach: a Rewriting Based Automated Theorem Prover
for Didactic Purposes
Proc. of the XX Latin American Conference on
Computer
Science (CLEI'94), 669 - 680, Ciudad de Mexico, Mexico, 1994
G. Degli Antoni, A. Paccanaro, R.Virga
Report on KBLab: a laboratory for rewriting
techniques
Proc. of GULP 92 Conference, 209-222, Pisa,
Italy,
1992
G. Degli Antoni, A. Paccanaro, R. Virga
KBLab: a system for research and didactic of
Rewriting
Systems (in Italian)
Proc. of the 8a Conferenza Italiana di Didamatica,
225 - 234 Associazione Italiana Calcolo Automatico, Campobasso, Italy,
1992
A. Paccanaro
KBLab 1.7 - User Manual
Project Report No. 93/92, 1992 Computer Science
Department - University of Milan
A. Paccanaro, A. Provetti
Revised Report on KBLab Menu
Project Report No. 18/91, 1991 Computer Science
Department - University of Milan
G. Degli Antoni, A. Paccanaro
KBLab: a laboratory for experimenting rewriting
techniques
(in
Italian)
in Bruno Fadini ed., Sistemi Informatici e Calcolo
Parallelo, 339 - 344,
Franco Angeli Scientific Series, Rome, Italy, 1991
Term
Rewriting
Systems & Petri Nets
C. Jansen, A. Paccanaro
Studying the Behaviour of Place/Transition and
Coloured
Petri Nets - an Implementation Using LP
Technical Report 314/98, Department of Computer
Science,
University of Toronto, 1998
A. Paccanaro
Studying the behaviour of Petri Nets through a
formalization
as Term Rewriting Systems
in Computer Science 2: Research and Applications,
Ed. Ricardo Baeza-Yates, 455 - 466
Plenum Publishing Corporation, 1994
A. Paccanaro
Using Modified Term Rewriting Systems for studying
the behaviour of Stochastic Petri Nets
Proc. of the XIV International Conference of the
Chilean
Computer Science Society, 305 - 314, Concepcion, Chile, 1994
A. Paccanaro
Using rewriting techniques for studying the
behaviour
of Petri Nets
Proc. of the XIX Latin American Conference on
Computer
Science (CLEI '93), 16.57 - 16.70, Buenos Aires, Argentina, 1993
Miscellanea
A. Paccanaro
Digital Processing of Signals obtained through
Measurements
of the Magnetic Fields induced by Cerebral Currents
Laurea Degree Thesis - University of Milan -
1990
(in Italian)
G. Crosta, A. Paccanaro
Wavelets-based matched filtering applied to
Neuromagnetic
Signals
Note di Software, N. 50, December 1990, 38 - 47,
Milan
H. Matiauda, A.Paccanaro, H. Soley
Design and Implementation of an Interface for a
function
optimization tool based on Genetic Search techniques
Proc. of the XX Latin American Conference on
Computer
Science (CLEI'94), 947 - 956, Ciudad de Mexico, Mexico, 1994
G. Bellassai, L. Cernuzzi, A. Paccanaro
Monitoring meeting evolution in CSCW: the Conviction
and Agreement coefficients
Proc. of the XV International Conference of the
Chilean
Computer Science Society, Arica, Chile, 1995
J. Herrero, A. Paccanaro
A Distributed Application for the Simplex Method
Proceedings of the XXII Latin American Conference
on Computer Science (CLEI'96), 1069 - 1079, Santafe de Bogota,
Colombia