dblp.uni-trier.dewww.uni-trier.de

Artur S. d'Avila Garcez Vis

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

*2009
35 Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning Springer 2009
2008
34EELu Ren, Artur S. d'Avila Garcez: Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. ICONIP (2) 2008: 335-343
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
31EERafael 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
30EEArtur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Editorial. NeSy 2007
29EERafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007
28EEArtur S. d'Avila Garcez: Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. Perspectives of Neural-Symbolic Integration 2007: 265-282
27EEArtur 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
26EERafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS 2006: 46
25EERaphael 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
24EEArtur S. d'Avila Garcez, Luís C. Lamb: A Connectionist Computational Model for Epistemic and Temporal Reasoning. Neural Computation 18(7): 1711-1738 (2006)
23EEArtur 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
20EEArtur 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
18EEArtur 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
16EEArtur 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
13EEArtur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
12EEOdinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
11EEArtur 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)
10EEArtur 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
7EEArtur 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
4EEArtur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
3EEArtur 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

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]
11Pascal Hitzler [19] [30] [33]
12Steffen Hölldobler [10]
13Jeff Kramer [4] [5]
14Luí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] [35]
15Bashar Nuseibeh [4] [5]
16Hallysson Oliveira [25]
17Lu Ren [34]
18Odinaldo Rodrigues [12]
19Alessandra Russo [4] [5] [12]
20Alberto Ferreira de Souza [25]
21George Spanoudakis [6]
22Guglielmo Tamburrini [30] [33]
23John G. Taylor [10]
24John Woods [21] [22]
25Gerson Zaverucha [1] [2]
26Andrea Zisman [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)