|
Search the dblp DataBase
Artur S. d'Avila Garcez:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Artur S. d'Avila Garcez, Dov M. Gabbay
Fibring Neural Networks. [Citation Graph (0, 0)][DBLP] AAAI, 2004, pp:342-347 [Conf]
- Artur S. d'Avila Garcez, Luís C. Lamb
Neural-Symbolic Systems and the Case for Non-Classical Reasoning. [Citation Graph (0, 0)][DBLP] We Will Show Them! (1), 2005, pp:469-488 [Conf]
- Artur S. d'Avila Garcez
Fewer Epistemological Challenges for Connectionism. [Citation Graph (0, 0)][DBLP] CiE, 2005, pp:139-149 [Conf]
- Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
Towards a Connectionist Argumentation Framework. [Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:987-988 [Conf]
- Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
Computing First-Order Logic Programs by Fibring Artificial Neural Networks. [Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2005, pp:314-319 [Conf]
- Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. [Citation Graph (0, 0)][DBLP] FLAIRS Conference, 2003, pp:271-275 [Conf]
- Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
Neural-Symbolic Intuitionistic Reasoning. [Citation Graph (0, 0)][DBLP] HIS, 2003, pp:399-408 [Conf]
- Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez
Combining Architectures for Temporal Learning in Neural-Symbolic Systems. [Citation Graph (0, 0)][DBLP] HIS, 2006, pp:46- [Conf]
- Raphael V. Carneiro, Stiven S. Dias, Dijalma Fardin, Hallysson Oliveira, Artur S. d'Avila Garcez, Alberto F. De Souza
Improving VG-RAM Neural Networks Performance Using Knowledge Correlation. [Citation Graph (0, 0)][DBLP] ICONIP (1), 2006, pp:427-436 [Conf]
- Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avila Garcez
Inducing Relational Concepts with Neural Networks via the LINUS System. [Citation Graph (0, 0)][DBLP] ICONIP, 1998, pp:1507-1510 [Conf]
- Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
Argumentation Neural Networks. [Citation Graph (0, 0)][DBLP] ICONIP, 2004, pp:606-612 [Conf]
- Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
An Analysis-Revision Cycle to Evolve Requirements Specifications. [Citation Graph (0, 0)][DBLP] ASE, 2001, pp:354-358 [Conf]
- Artur S. d'Avila Garcez, Luís C. Lamb
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. [Citation Graph (0, 0)][DBLP] NIPS, 2003, pp:- [Conf]
- Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
A Connectionist Model for Constructive Modal Reasoning. [Citation Graph (0, 0)][DBLP] NIPS, 2005, pp:- [Conf]
- Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo
Reasoning About Requirements Evolution Using Clustered Belief Revision. [Citation Graph (0, 0)][DBLP] SBIA, 2004, pp:41-51 [Conf]
- George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. [Citation Graph (0, 0)][DBLP] SEKE, 2003, pp:570-577 [Conf]
- Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
Symbolic knowledge extraction from trained neural networks: A sound approach. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2001, v:125, n:1-2, pp:155-207 [Journal]
- Artur S. d'Avila Garcez, Gerson Zaverucha
The Connectionist Inductive Learning and Logic Programming System. [Citation Graph (0, 0)][DBLP] Appl. Intell., 1999, v:11, n:1, pp:59-77 [Journal]
- Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
Combining abductive reasoning and inductive learning to evolve requirements specifications. [Citation Graph (0, 0)][DBLP] IEE Proceedings - Software, 2003, v:150, n:1, pp:25-38 [Journal]
- Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
Applying connectionist modal logics to distributed knowledge representation problems. [Citation Graph (0, 0)][DBLP] International Journal on Artificial Intelligence Tools, 2004, v:13, n:1, pp:115-139 [Journal]
- Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor
Journal of Applied Logic Special Volume on Neural-Symbolic Systems. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2004, v:2, n:3, pp:241-243 [Journal]
- Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2005, v:15, n:6, pp:1041-1058 [Journal]
- Artur S. d'Avila Garcez, Luís C. Lamb
A Connectionist Computational Model for Epistemic and Temporal Reasoning. [Citation Graph (0, 0)][DBLP] Neural Computation, 2006, v:18, n:7, pp:1711-1738 [Journal]
- Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
Connectionist computations of intuitionistic reasoning. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:358, n:1, pp:34-55 [Journal]
- Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
Connectionist modal logic: Representing modalities in neural networks. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:371, n:1-2, pp:34-53 [Journal]
- Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez
A Connectionist Cognitive Model for Temporal Synchronisation and Learning. [Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:827-832 [Conf]
Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. [Citation Graph (, )][DBLP]
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. [Citation Graph (, )][DBLP]
Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. [Citation Graph (, )][DBLP]
Towards Reasoning about the Past in Neural-symbolic Systems. [Citation Graph (, )][DBLP]
Editorial. [Citation Graph (, )][DBLP]
Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. [Citation Graph (, )][DBLP]
Integrating model verification and self-adaptation. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.306secs
|