Artur S. d'Avila Garcez

	2011
47		Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert van der Torre: Neural symbolic architecture for normative agents. AAMAS 2011: 1203-1204
46		Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh: Learning to adapt requirements specifications of evolving systems. ICSE 2011: 856-859
45		Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer: A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. IJCAI 2011: 1653-1658
44		Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb: Learning and Representing Temporal Knowledge in Recurrent Networks. IEEE Transactions on Neural Networks 22(12): 2409-2421 (2011)
	2010
43		Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb: Integrating model verification and self-adaptation. ASE 2010: 317-320
42		Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez: Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) 2010: 301-304
41		Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb: Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. ICANN (2) 2010: 104-113
40		Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez: First-order logic learning in Artificial Neural Networks. IJCNN 2010: 1-8
39		Nick F. Ryman-Tubb, Artur S. d'Avila Garcez: SOAR - Sparse Oracle-based Adaptive Rule extraction: Knowledge extraction from large-scale datasets to detect credit card fraud. IJCNN 2010: 1-9
38		David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan: Reports of the AAAI 2010 Conference Workshops. AI Magazine 31(4): 95-108 (2010)
	2009
37		Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning Springer 2009
36		Kostas Stathis, Artur S. d'Avila Garcez, Robert Givan: Preface: Reinforcement Learning. J. Algorithms 64(4): 125-126 (2009)
35		Dov M. Gabbay, Artur S. d'Avila Garcez: Logical Modes of Attack in Argumentation Networks. Studia Logica 93(2-3): 199-230 (2009)
	2008
34		Lu 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
31		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		Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini: Editorial. NeSy 2007
29		Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007
28		Artur S. d'Avila Garcez: Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. Perspectives of Neural-Symbolic Integration 2007: 265-282
27		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		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		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		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		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		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		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		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		Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
12		Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
11		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		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		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		Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
3		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	David W. Aha	[38]
2	Sergei N. Artëmov	[21] [22]
3	Sebastian Bader	[19]
4	Howard Barringer	[21] [22]
5	Rodrigo Basilio	[1]
6	Mark S. Boddy	[38]
7	Guido Boella	[47]
8	Rafael V. Borges	[26] [29] [31] [32] [41] [43] [44] [46]
9	Krysia Broda	[3] [9] [11] [40] [42]
10	Vadim Bulitko	[38]
11	Raphael V. Carneiro	[25]
12	Stiven Schwanz Dias	[25]
13	Prashant Doshi	[38]
14	Stefan Edelkamp	[38]
15	Dijalma Fardin	[25]
16	Dov M. Gabbay	[3] [8] [9] [10] [11] [13] [14] [15] [16] [18] [23] [27] [35] [37]
17	Christopher W. Geib	[38]
18	Valerio Genovese	[47]
19	Robert Givan (Bob Givan)	[36]
20	Piotr J. Gmytrasiewicz	[38]
21	Robert P. Goldman	[38]
22	Mathieu Guillame-Bert	[40]
23	Alon Y. Halevy (Alon Y. Levy)	[38]
24	Pascal Hitzler	[19] [30] [33] [38]
25	Steffen Hölldobler	[10]
26	Dino Ienco	[47]
27	Charles Lee Isbell Jr. (Charles L. Isbell)	[38]
28	Darsana P. Josyula	[38]
29	Leslie Pack Kaelbling	[38]
30	Kristian Kersting	[38]
31	Ekaterina Komendantskaya	[42]
32	Jeff Kramer (Jeffrey Kramer)	[4] [5]
33	Maithilee Kunda	[38]
34	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] [37] [38] [41] [43] [44] [45] [46]
35	Bhaskara Marthi	[38]
36	Keith McGreggor	[38]
37	Ron van der Meyden	[38]
38	John-Jules Ch. Meyer	[45]
39	Lilyana Mihalkova	[38]
40	Vivi Nastase	[38]
41	Sriraam Natarajan	[38]
42	Bashar Nuseibeh	[4] [5] [46]
43	Hallysson Oliveira	[25]
44	Leo de Penning	[45]
45	Gregory Provan	[38]
46	Anita Raja	[38]
47	Ashwin Ram	[38]
48	Lu Ren	[34]
49	Mark O. Riedl (Mark Riedl)	[38]
50	Odinaldo Rodrigues	[12]
51	Stuart J. Russell	[38]
52	Alessandra Russo	[4] [5] [12]
53	Nick F. Ryman-Tubb	[39]
54	Ashish Sabharwal	[38]
55	Jan-Georg Smaus	[38]
56	Alberto Ferreira de Souza	[25]
57	George Spanoudakis	[6]
58	Kostas Stathis	[36]
59	Gita Reese Sukthankar (Gita Sukthankar)	[38]
60	Guglielmo Tamburrini	[30] [33]
61	John G. Taylor	[10]
62	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[47]
63	Silvano Colombo Tosatto	[47]
64	Karl Tuyls	[38]
65	John Woods	[21] [22]
66	Gerson Zaverucha	[1] [2]
67	Andrea Zisman	[6]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page