11. ICLP 1994, Workshop W3:
Logic and Reasoning with Neural Networks
- Franz Kurfess, University of Ulm, Germany
- Alessandro Sperduti, University of Pisa, Italy
Dept. of Neural Inf. Proc.,
D-89069 Ulm, Germany.
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.
- Franz Kurfess: Why neural networks?
- Marco Gori, Paolo Frasconi, Marco Maggini, Giovanni Soda:
Inductive Inference of Regular Grammars Using Recurrent Networks: A
- 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.
Last update Sat May 25 18:16:08 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- 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.