| 2009 |
| 37 | | Artur S. d'Avila Garcez,
Luís C. Lamb,
Dov M. Gabbay:
Neural-Symbolic Cognitive Reasoning
Springer 2009 |
| 2008 |
| 36 | | Ricardo M. Araujo,
Luís C. Lamb:
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance.
AAAI 2008: 3-8 |
| 35 | EE | Lisane B. de Brisolara,
Marcio F. da S. Oliveira,
Ricardo Miotto Redin,
Luís C. Lamb,
Luigi Carro,
Flávio Rech Wagner:
Using UML as Front-end for Heterogeneous Software Code Generation Strategies.
DATE 2008: 504-509 |
| 34 | EE | Ricardo Miotto Redin,
Marcio F. da S. Oliveira,
Lisane B. de Brisolara,
Júlio C. B. de Mattos,
Luís C. Lamb,
Flávio Rech Wagner,
Luigi Carro:
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems.
DIPES 2008: 101-110 |
| 33 | EE | Ricardo M. Araujo,
Luís C. Lamb:
On the Role of Structured Information Exchange in Supervised Learning.
ECAI 2008: 887-888 |
| 32 | EE | Ricardo M. Araujo,
Luís C. Lamb:
Distributed problem solving by memetic networks: extended abstract.
GECCO 2008: 599-600 |
| 31 | EE | Ricardo M. Araujo,
Luís C. Lamb:
On the Effects of Network Structure in Population-Based Optimization.
ICTAI (1) 2008: 268-271 |
| 30 | EE | Luís C. Lamb:
The Grand Challenges and Myths of Neural-Symbolic Computation.
Recurrent Neural Networks 2008 |
| 2007 |
| 29 | | 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 |
| 28 | EE | Ricardo M. Araujo,
Luís C. Lamb:
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism.
IJCAI 2007: 212-217 |
| 27 | 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 |
| 26 | EE | Rafael V. Borges,
Luís C. Lamb,
Artur S. d'Avila Garcez:
Towards Reasoning about the Past in Neural-symbolic Systems.
NeSy 2007 |
| 25 | EE | Emilena Specht,
Ricardo Miotto Redin,
Luigi Carro,
Luís da Cunha Lamb,
Érika F. Cota,
Flávio Rech Wagner:
Analysis of the use of declarative languages for enhanced embedded system software development.
SBCCI 2007: 324-329 |
| 24 | 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 |
| 23 | 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 |
| 22 | 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) |
| 21 | | Luís C. Lamb,
José Palazzo M. de Oliveira:
Editorial.
RITA 13(1): 5-6 (2006) |
| 20 | | Luís C. Lamb,
José Palazzo M. de Oliveira:
Editorial.
RITA 13(2): 5 (2006) |
| 19 | 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 |
| 18 | | 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 |
| 17 | | 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 |
| 16 | EE | Ricardo Matsumura de Araújo,
Luís C. Lamb:
On the Evolution of Memory Size in the Minority Game (extended abstract).
IJCAI 2005: 1651-1652 |
| 15 | EE | Laura S. Mastella,
Mara Abel,
Luís C. Lamb,
Luis Fernando De Ros:
Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains.
IJCAI 2005: 528-533 |
| 14 | EE | Artur S. d'Avila Garcez,
Luís C. Lamb,
Dov M. Gabbay:
A Connectionist Model for Constructive Modal Reasoning.
NIPS 2005 |
| 13 | | 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 |
| 12 | 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) |
| 11 | | Luís C. Lamb,
José Palazzo Moreira de Oliveira:
Editorial.
RITA 12(1): 5-6 (2005) |
| 2004 |
| 10 | | Artur S. d'Avila Garcez,
Dov M. Gabbay,
Luís C. Lamb:
Towards a Connectionist Argumentation Framework.
ECAI 2004: 987-988 |
| 9 | EE | Artur S. d'Avila Garcez,
Dov M. Gabbay,
Luís C. Lamb:
Argumentation Neural Networks.
ICONIP 2004: 606-612 |
| 8 | EE | Ricardo Matsumura de Araújo,
Luís C. Lamb:
Neural-Evolutionary Learning in a Bounded Rationality Scenario.
ICONIP 2004: 996-1001 |
| 7 | EE | Ricardo Matsumura de Araújo,
Luís C. Lamb:
Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game.
ICTAI 2004: 727-731 |
| 6 | 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) |
| 2003 |
| 5 | | 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 |
| 4 | | Artur S. d'Avila Garcez,
Luís C. Lamb,
Dov M. Gabbay:
Neural-Symbolic Intuitionistic Reasoning.
HIS 2003: 399-408 |
| 3 | EE | Artur S. d'Avila Garcez,
Luís C. Lamb:
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems.
NIPS 2003 |
| 2002 |
| 2 | EE | Krysia Broda,
Dov M. Gabbay,
Luís C. Lamb,
Alessandra Russo:
Labelled Natural Deduction for Conditional Logics of Normality.
Logic Journal of the IGPL 10(2): 123-163 (2002) |
| 2001 |
| 1 | EE | Luís C. Lamb:
Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay.
J. Log. Comput. 11(1): 193-194 (2001) |