Artur S. d'Avila Garcez, Gerson Zaverucha, et al.  Home/Search
Context Related
| soi.city.ac.uk/~aag/pape...icnn1997.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: soi.city.ac.uk/~aag/?cont=3 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks that perform massively parallel Logic Programming and inductive learning from examples and background knowledge. This work presents an extension of C-IL 2 P that allows the implementation of Extended Logic Programs in Neural Networks. This extension makes C-IL 2 P applicable to problems where the background... (Update)
Context of citations to this paper: More
.... in the literature many approaches for using NN in a theory revision process using propositional rules, such as KBANN [20] and CIL 2 P [21]. However, due to the existence of function symbols in our analysis algorithm (such as lists) that could not be expressed through...
.... in the literature many approaches for using NN in a theory revision process using propositional rules, such as KBANN [24] and CIL 2 P [11]. However, due to the existence of function symbols in our analysis algorithm (such as lists) that could not be expressed through...
Cited by: More
Symbolic knowledge extraction from trained neural.. - Garcez, Broda, Gabbay (2001) (Correct)
A Theory Refinement Approach to the Design of.. - Baiao, Mattoso.. (1999) (Correct)
Towards an Inductive Design of Distributed Object.. - Baiao, Mattoso, Zaverucha (1998) (Correct)
Active bibliography (related documents): More All
0.7: Inducing Relational Concepts with Neural Networks via.. - Basilio, Zaverucha.. (1998) (Correct)
0.5: Designing a Counter: Another Case Study of Dynamics.. - Hölldobler, Kalinke.. (1997) (Correct)
0.5: Optimal Mapping of Neighbourhood-Constrained Systems - Franca, Faria (1995) (Correct)
Similar documents based on text: More All
0.2: Fibring Neural Networks - Artur Avila Garcez (2004) (Correct)
0.2: Reasoning about Time and Knowledge in - Neural-Symbolic Learning Systems (2003) (Correct)
0.2: Computing First-Order Logic Programs by Fibring Artificial.. - Bader, Garcez, al. (2005) (Correct)
Related documents from co-citation: More All
3: Inductive Logic Programming: Techniques and Applications (context) - Lavrac, Dzeroski - 1994
3: Knowledge-based artificial neural networks - Towell, Shavlik - 1994
2: Fragmentation Techniques for Distributed ObjectOriented Databases (context) - Malinowski - 1996
BibTeX entry: (Update)
Garcez, A., Zaverucha, G. and Silva, V. N., 1997, "Applying the Connectionist Inductive Learning and Logic Programming System to Power System Diagnosis," In: Proceedings of the IEEE International Conference on Neural Networks (ICNN-97), Houston, Texas, USA, Vol.1, pp.121-126. http://citeseer.ist.psu.edu/garcez97applying.html More
@misc{ garcez97applying,
author = "A. Garcez and G. Zaverucha and V. Silva",
title = "Applying the Connectionist Inductive Learning and Logic Programming System
to Power System Diagnosis",
text = "Garcez, A., Zaverucha, G. and Silva, V. N., 1997, Applying the Connectionist
Inductive Learning and Logic Programming System to Power System Diagnosis,
In: Proceedings of the IEEE International Conference on Neural Networks
(ICNN-97), Houston, Texas, USA, Vol.1, pp.121-126.",
year = "1997",
url = "citeseer.ist.psu.edu/garcez97applying.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
1491 Learning Internal Representations by Error Propagation (context) - Rumelhart, Hinton et al. - 1986
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
313 Inductive Logic Programming: Theory and Methods - Muggleton, Raedt - 1994
212 Inductive Logic Programming: Techniques and Applications (context) - Lavrac, Dzeroski - 1994
126 A Survey and Critique of Techniques for Extracting Rules fro.. (context) - Andrews, Diederich et al. - 1995
100 Theorist: A Logical Reasoning System for Defaults and Diagno.. (context) - Poole, Goebel et al. - 1987
97 Knowledge-Based Artificial Neural Networks - Towell, Shavlik - 1994
89 Nonmonotonic Logic: Context Dependent Reasoning (context) - Marek, Truszczynski - 1993
50 Metric Methods - Three Examples and a Theorem - Fitting - 1993
26 Compiling a Default Reasoning System into Prolog - Poole - 1991
23 An Overview of Strategies for Neurosymbolic Integration - Hilario - 1995
9 Logic Programming and Inductive Learning in Artificial Neura.. (context) - Garcez, Zaverucha et al. - 1996
7 Toward a New Massively Parallel Computational Model for Logi.. - Holldobler, Kalinke - 1994
4 A Prioritized Contextual Default Logic: Curing Anomalous Ext.. (context) - Zaverucha - 1994
4 Logical Inference and Inductive Learning in Artificial Neura.. (context) - Garcez, Zaverucha et al. - 1996
4 Learning Strategies and Automated Knowledge Acquisition - Michalski - 1987
2 Logical versus Analogical, Symbolic versus Connectionist, Ne.. (context) - Minsky - 1991
2 Automated Inferencing and Connectionist Models (context) - Holldobler - 1993
2 In Defense of Logic (context) - Hayes - 1977
2 On Cumulative Default Logic with Filters (context) - Zaverucha - 1996
2 Massively Parallel Models of Computation (context) - Barbosa - 1993
1 An Integration of Neural Networks and Fuzzy Logic for Power .. (context) - Silva, Zebulum - 1996
1 An Integration of Neural Networks and Nonmonotonic Logic for.. (context) - Silva, Zaverucha et al. - 1995
1 Reasoning, Nonmonotonicity and Learning in Connectionist Net.. (context) - Pinkas - 1995
1 Neural Networks Connections to Expert Systems (context) - Medsker - 1994
Documents on the same site (http://www.soi.city.ac.uk/~aag/?cont=3): More
A Connectionist Inductive Learning System For - Garcez, Gabbay (2002) (Correct)
Revising Rules to Capture Requirements Traceability.. - Machine Learning Approach (2003) (Correct)
Inducing Relational Concepts with Neural Networks via.. - Basilio, Zaverucha.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC