Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Artur S. d'Avila Garcez
2010 – today
- 2013
[c34]Manoel V. M. França, Artur S. d'Avila Garcez, Gerson Zaverucha: Relational Knowledge Extraction from Attribute-Value Learners. ICCSW 2013: 35-42- [c33]Leo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer: Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. ICCSW 2013: 89-94
- 2012
- [j14]Vikas Agrawal, Jorge Baier, Kostas E. Bekris, Yiling Chen, Artur S. d'Avila Garcez, Pascal Hitzler, Patrik Haslum, Dietmar Jannach, Edith Law, Freddy Lécué, Luís C. Lamb, Cynthia Matuszek, Héctor Palacios, Biplav Srivastava, Lokendra Shastri, Nathan R. Sturtevant, Roni Stern, Stefanie Tellex, Stavros Vassos: Reports of the AAAI 2012 Conference Workshops. AI Magazine 33(4): 119- (2012)
- [c32]Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert van der Torre: Learning and reasoning about norms using neural-symbolic systems. AAMAS 2012: 1023-1030
- [c31]Artur S. d'Avila Garcez, Gerson Zaverucha: Multi-instance learning using recurrent neural networks. IJCNN 2012: 1-6
- 2011
- [j13]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)
- [c30]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
- [c29]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer: Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW 2011: 10-16
- [c28]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
- [c27]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
- 2010
- [j12]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)
- [c26]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
- [c25]Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez: Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. ICANN (1) 2010: 301-304
- [c24]Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez: First-order logic learning in Artificial Neural Networks. IJCNN 2010: 1-8
- [c23]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
- [c22]Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb: Integrating model verification and self-adaptation. ASE 2010: 317-320
2000 – 2009
- 2009
- [b1]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning. Cognitive Technologies, Springer 2009, ISBN 978-3-540-73245-7
- [j11]Kostas Stathis, Artur S. d'Avila Garcez, Robert Givan: Preface: Reinforcement Learning. J. Algorithms 64(4): 125-126 (2009)
- [j10]Dov M. Gabbay, Artur S. d'Avila Garcez: Logical Modes of Attack in Argumentation Networks. Studia Logica 93(2-3): 199-230 (2009)
- 2008
- [c21]Lu Ren, Artur S. d'Avila Garcez: Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. ICONIP (2) 2008: 335-343
- 2007
- [j9]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)
- [c20]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
- [c19]Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007
- [c18]
- [c17]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
- [p1]Artur S. d'Avila Garcez: Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. Perspectives of Neural-Symbolic Integration 2007: 265-282
- [e3]Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini (Eds.): Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, held at IJCAI-07, Hyderabad, India, January 8, 2007. CEUR Workshop Proceedings 230, CEUR-WS.org 2007
- 2006
- [j8]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)
- [j7]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)
- [c16]Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS 2006: 46
- [c15]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
- 2005
- [j6]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)
- [c14]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
- [c13]
- [c12]Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler: Computing First-Order Logic Programs by Fibring Artificial Neural Networks. FLAIRS Conference 2005: 314-319
- [c11]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005
- [e2]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005, ISBN 1-904987-25-7
- [e1]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, ISBN 1-904987-26-5
- 2004
- [j5]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)
- [j4]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)
- [c10]
- [c9]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988
- [c8]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
- [c7]Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
- 2003
- [j3]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)
- [c6]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
- [c5]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408
- [c4]Artur S. d'Avila Garcez, Luís C. Lamb: Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS 2003
- [c3]George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman: Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. SEKE 2003: 570-577
- 2001
- [j2]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)
- [c2]Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
1990 – 1999
- 1999
- [j1]Artur S. d'Avila Garcez, Gerson Zaverucha: The Connectionist Inductive Learning and Logic Programming System. Appl. Intell. 11(1): 59-77 (1999)
- 1998
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:28 CEST by the dblp team