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) |