The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Artur S. d'Avila Garcez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Artur S. d'Avila Garcez, Dov M. Gabbay
    Fibring Neural Networks. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:342-347 [Conf]
  2. 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]
  3. Artur S. d'Avila Garcez
    Fewer Epistemological Challenges for Connectionism. [Citation Graph (0, 0)][DBLP]
    CiE, 2005, pp:139-149 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]

  27. Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. [Citation Graph (, )][DBLP]


  28. Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. [Citation Graph (, )][DBLP]


  29. Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. [Citation Graph (, )][DBLP]


  30. Towards Reasoning about the Past in Neural-symbolic Systems. [Citation Graph (, )][DBLP]


  31. Editorial. [Citation Graph (, )][DBLP]


  32. Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. [Citation Graph (, )][DBLP]


  33. Integrating model verification and self-adaptation. [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002