Artur S. d'Avila Garcez

2009
34		Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning Springer 2009
2007
33		Artur 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
32		Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez: A Connectionist Cognitive Model for Temporal Synchronisation and Learning. AAAI 2007: 827-832
31	EE	Rafael 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
30	EE	Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Editorial. NeSy 2007
29	EE	Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007
28	EE	Artur S. d'Avila Garcez: Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. Perspectives of Neural-Symbolic Integration 2007: 265-282
27	EE	Artur 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
26	EE	Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS 2006: 46
25	EE	Raphael 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
24	EE	Artur S. d'Avila Garcez, Luís C. Lamb: A Connectionist Computational Model for Epistemic and Temporal Reasoning. Neural Computation 18(7): 1711-1738 (2006)
23	EE	Artur 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
22		Sergei 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
21		Sergei 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
20	EE	Artur S. d'Avila Garcez: Fewer Epistemological Challenges for Connectionism. CiE 2005: 139-149
19		Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler: Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Conference 2005: 314-319
18	EE	Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005
17		Artur 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
16	EE	Artur 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
15		Artur S. d'Avila Garcez, Dov M. Gabbay: Fibring Neural Networks. AAAI 2004: 342-347
14		Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988
13	EE	Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
12	EE	Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
11	EE	Artur 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)
10	EE	Artur 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
9		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. FLAIRS Conference 2003: 271-275
8		Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408
7	EE	Artur S. d'Avila Garcez, Luís C. Lamb: Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS 2003
6		George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman: Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. SEKE 2003: 570-577
5		Artur 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
4	EE	Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
3	EE	Artur 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
2		Artur S. d'Avila Garcez, Gerson Zaverucha: The Connectionist Inductive Learning and Logic Programming System. Appl. Intell. 11(1): 59-77 (1999)
1998
1		Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avila Garcez: Inducing Relational Concepts with Neural Networks via the LINUS System. ICONIP 1998: 1507-1510

Coauthor Index

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

Colors in the list of coauthors