Artur S. d'Avila Garcez Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning Springer 2009
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKostas Stathis, Artur S. d'Avila Garcez, Robert Givan: Preface: Reinforcement Learning. J. Algorithms 64(4): 125-126 (2009)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Artur S. d'Avila Garcez: Logical Modes of Attack in Argumentation Networks. Studia Logica 93(2-3): 199-230 (2009)
2008
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Ren, Artur S. d'Avila Garcez: Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. ICONIP (2) 2008: 335-343
2007
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January 8, 2007 CEUR-WS.org 2007
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez: A Connectionist Cognitive Model for Temporal Synchronisation and Learning. AAAI 2007: 827-832
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. IJCNN 2007: 1488-1493
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Editorial. NeSy 2007
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez: Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. Perspectives of Neural-Symbolic Integration 2007: 265-282
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Connectionist modal logic: Representing modalities in neural networks. Theor. Comput. Sci. 371(1-2): 34-53 (2007)
2006
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS 2006: 46
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael V. Carneiro, Stiven Schwanz Dias, Dijalma Fardin, Hallysson Oliveira, Artur S. d'Avila Garcez, Alberto Ferreira de Souza: Improving VG-RAM Neural Networks Performance Using Knowledge Correlation. ICONIP (1) 2006: 427-436
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb: A Connectionist Computational Model for Epistemic and Temporal Reasoning. Neural Computation 18(7): 1711-1738 (2006)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Connectionist computations of intuitionistic reasoning. Theor. Comput. Sci. 358(1): 34-55 (2006)
2005
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods: We Will Show Them! Essays in Honour of Dov Gabbay, Volume One College Publications 2005
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods: We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two College Publications 2005
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez: Fewer Epistemological Challenges for Connectionism. CiE 2005: 139-149
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler: Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Conference 2005: 314-319
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb: Neural-Symbolic Systems and the Case for Non-Classical Reasoning. We Will Show Them! (1) 2005: 469-488
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. J. Log. Comput. 15(6): 1041-1058 (2005)
2004
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Dov M. Gabbay: Fibring Neural Networks. AAAI 2004: 342-347
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOdinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay: Applying connectionist modal logics to distributed knowledge representation problems. International Journal on Artificial Intelligence Tools 13(1): 115-139 (2004)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor: Journal of Applied Logic Special Volume on Neural-Symbolic Systems. J. Applied Logic 2(3): 241-243 (2004)
2003
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay: Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS Conference 2003: 271-275
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Luís C. Lamb: Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS 2003
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman: Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. SEKE 2003: 570-577
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings - Software 150(1): 25-38 (2003)
2001
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay: Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. 125(1-2): 155-207 (2001)
1999
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArtur S. d'Avila Garcez, Gerson Zaverucha: The Connectionist Inductive Learning and Logic Programming System. Appl. Intell. 11(1): 59-77 (1999)
1998
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRodrigo Basilio, Gerson Zaverucha, Artur S. d'Avila Garcez: Inducing Relational Concepts with Neural Networks via the LINUS System. ICONIP 1998: 1507-1510

Coauthor Index

1Sergei N. Artëmov [21] [22]
2Sebastian Bader [19]
3Howard Barringer [21] [22]
4Rodrigo Basilio [1]
5Rafael V. Borges [26] [29] [31] [32]
6Krysia Broda [3] [9] [11]
7Raphael V. Carneiro [25]
8Stiven Schwanz Dias [25]
9Dijalma Fardin [25]
10Dov M. Gabbay [3] [8] [9] [10] [11] [13] [14] [15] [16] [18] [23] [27] [35] [37]
11Robert Givan [36]
12Pascal Hitzler [19] [30] [33]
13Steffen Hölldobler [10]
14Jeff Kramer [4] [5]
15Luís C. Lamb (Luís da Cunha Lamb) [7] [8] [9] [11] [13] [14] [16] [17] [18] [21] [22] [23] [24] [26] [27] [29] [31] [32] [37]
16Bashar Nuseibeh [4] [5]
17Hallysson Oliveira [25]
18Lu Ren [34]
19Odinaldo Rodrigues [12]
20Alessandra Russo [4] [5] [12]
21Alberto Ferreira de Souza [25]
22George Spanoudakis [6]
23Kostas Stathis [36]
24Guglielmo Tamburrini [30] [33]
25John G. Taylor [10]
26John Woods [21] [22]
27Gerson Zaverucha [1] [2]
28Andrea Zisman [6]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)