11. ICLP 1994, Workshop W3: Logic and Reasoning with Neural Networks

Organizers

• Franz Kurfess, University of Ulm, Germany
• Alessandro Sperduti, University of Pisa, Italy

Contacts

Franz Kurfess
Dept. of Neural Inf. Proc.,
D-89069 Ulm, Germany.
kurfess@neuro.informatik.uni-ulm.de

The goal of the workshop is to initiate discussions and foster interaction between researchers interested in the use of neural networks and connectionist models for various aspects of logic and reasoning. There are a number of domains where thecombination of neural networks and logic opens up interesting perspectives: methods for reasoning, know-ledge representation, integration of symbolic and neural components, implementation techniques.

Inference

• Franz Kurfess: Why neural networks?
• Marco Gori, Paolo Frasconi, Marco Maggini, Giovanni Soda: Inductive Inference of Regular Grammars Using Recurrent Networks: A Critical Analysis.
• Laura Martignon, Hermann von Hasseln: Complexity and Consistency in Probabilistic Reasoning.
• Armando Blanco, M. Delgado, W. Fajardo, I. Requena: Inference in a Fuzzy System Using the Consistence Level of the Rules.

Reasoning

• Erich Prem: Symbol Grounding and Transcendental Logic.
• Nam Seog Park, Dave Robertson, Keith Stenning: Reasoning with Limited Unification in a Connectionist Rule-Based System.
• Priscila Machado Vieira Lima: Resolution-Based Inference with Artificial Neural Networks.