| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh |
Learning to adapt requirements specifications of evolving systems. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb |
Integrating model verification and self-adaptation. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya, Krysia Broda, Artur S. d'Avila Garcez |
Neuro-symbolic Representation of Logic Programs Defining Infinite Sets. |
ICANN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Guillame-Bert, Krysia Broda, Artur S. d'Avila Garcez |
First-order logic learning in Artificial Neural Networks. |
IJCNN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay, Artur S. d'Avila Garcez |
Logical Modes of Attack in Argumentation Networks. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
modes of attack, defeasible consequence, argumentation |
| 1 | Kostas Stathis, Artur S. d'Avila Garcez, Robert Givan |
Preface: Reinforcement Learning. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Neural-Symbolic Cognitive Reasoning |
|
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Ren, Artur S. d'Avila Garcez |
Symbolic Knowledge Extraction from Support Vector Machines: A Geometric Approach. |
ICONIP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Connectionist modal logic: Representing modalities in neural networks. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez |
Advances in Neural-Symbolic Learning Systems: Modal and Temporal Reasoning. |
Perspectives of Neural-Symbolic Integration |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
NeSy |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez |
Towards Reasoning about the Past in Neural-symbolic Systems. |
NeSy |
2007 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini |
Editorial. |
NeSy |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez |
Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez |
A Connectionist Cognitive Model for Temporal Synchronisation and Learning. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Connectionist computations of intuitionistic reasoning. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb |
A Connectionist Computational Model for Epistemic and Temporal Reasoning. |
Neural Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez |
Combining Architectures for Temporal Learning in Neural-Symbolic Systems. |
HIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb |
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb |
Neural-Symbolic Systems and the Case for Non-Classical Reasoning. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler |
Computing First-Order Logic Programs by Fibring Artificial Neural Networks. |
FLAIRS Conference |
2005 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
A Connectionist Model for Constructive Modal Reasoning. |
NIPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez |
Fewer Epistemological Challenges for Connectionism. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb |
Towards a Connectionist Argumentation Framework. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo |
Reasoning About Requirements Evolution Using Clustered Belief Revision. |
SBIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb |
Argumentation Neural Networks. |
ICONIP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Dov M. Gabbay |
Fibring Neural Networks. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
Combining abductive reasoning and inductive learning to evolve requirements specifications. |
IEE Proceedings - Software |
2003 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Neural-Symbolic Intuitionistic Reasoning. |
HIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | George Spanoudakis, Artur S. d'Avila Garcez, Andrea Zisman |
Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb |
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. |
NIPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay |
Symbolic knowledge extraction from trained neural networks: A sound approach. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer |
An Analysis-Revision Cycle to Evolve Requirements Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Gerson Zaverucha |
The Connectionist Inductive Learning and Logic Programming System. |
Appl. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Basilio, Gerson Zaverucha, Artur S. d'Avila Garcez |
Inducing Relational Concepts with Neural Networks via the LINUS System. |
ICONIP |
1998 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")