Luís da Cunha Lamb
List of publications from the DBLP Bibliography Server - FAQ
![]() | 2009 | |
---|---|---|
42 | ![]() ![]() ![]() ![]() ![]() ![]() | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning Springer 2009 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Eduardo Horowitz, Luís C. Lamb: A Hierarchical Model for Firewall Policy Extraction. AINA 2009: 691-698 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | João M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner: Model-based Methodologies for Pervasive and Embedded Software. ICSE Companion 2009: 443-444 |
39 | ![]() ![]() ![]() ![]() ![]() ![]() | João M. Fernandes, Luís C. Lamb, Ricardo Jorge Machado, Flávio Rech Wagner: Recent advances in model-based methodologies for pervasive and embedded software. ACM SIGSOFT Software Engineering Notes 34(5): 37-39 (2009) |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Ricardo Matsumura de Araújo, Luís C. Lamb: On the use of memory and resources in minority games. TAAS 4(2): (2009) |
2008 | ||
37 | ![]() ![]() ![]() ![]() ![]() ![]() | Ricardo M. Araujo, Luís C. Lamb: Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. AAAI 2008: 3-8 |
36 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
35 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
34 | ![]() ![]() ![]() ![]() ![]() ![]() | Ricardo M. Araujo, Luís C. Lamb: On the Role of Structured Information Exchange in Supervised Learning. ECAI 2008: 887-888 |
33 | ![]() ![]() ![]() ![]() ![]() ![]() | Ricardo M. Araujo, Luís C. Lamb: Distributed problem solving by memetic networks: extended abstract. GECCO 2008: 599-600 |
32 | ![]() ![]() ![]() ![]() ![]() ![]() | Ricardo M. Araujo, Luís C. Lamb: On the Effects of Network Structure in Population-Based Optimization. ICTAI (1) 2008: 268-271 |
31 | ![]() ![]() ![]() ![]() ![]() ![]() | Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Flávio Rech Wagner: Software Quality Metrics and their Impact on Embedded Software. MOMPES 2008: 68-77 |
30 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007 |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612 |
8 | ![]() ![]() ![]() ![]() ![]() ![]() | Ricardo Matsumura de Araújo, Luís C. Lamb: Neural-Evolutionary Learning in a Bounded Rationality Scenario. ICONIP 2004: 996-1001 |
7 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Artur S. d'Avila Garcez, Luís C. Lamb: Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS 2003 |
2002 | ||
2 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Luís C. Lamb: Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. J. Log. Comput. 11(1): 193-194 (2001) |
1 | Mara Abel | [15] |
2 | Ricardo Matsumura de Araújo (Ricardo M. Araujo) | [7] [8] [16] [28] [32] [33] [34] [37] [38] |
3 | Sergei N. Artëmov | [17] [18] |
4 | Howard Barringer | [17] [18] |
5 | Rafael V. Borges | [23] [26] [27] [29] |
6 | Lisane B. de Brisolara | [35] [36] |
7 | Krysia Broda | [2] [5] [6] |
8 | Luigi Carro | [25] [31] [35] [36] |
9 | Érika F. Cota | [25] |
10 | João M. Fernandes | [39] [40] |
11 | Dov M. Gabbay | [2] [4] [5] [6] [9] [10] [12] [14] [19] [24] [42] |
12 | Artur S. d'Avila Garcez | [3] [4] [5] [6] [9] [10] [12] [13] [14] [17] [18] [19] [22] [23] [24] [26] [27] [29] [42] |
13 | Eduardo Horowitz | [41] |
14 | Ricardo Jorge Machado | [39] [40] |
15 | Laura S. Mastella | [15] |
16 | Júlio C. B. de Mattos | [35] |
17 | José Palazzo Moreira de Oliveira (José Palazzo M. de Oliveira) | [11] [20] [21] |
18 | Marcio F. da S. Oliveira | [31] [35] [36] |
19 | Ricardo Miotto Redin | [25] [31] [35] [36] |
20 | Luis Fernando De Ros | [15] |
21 | Alessandra Russo | [2] |
22 | Emilena Specht | [25] |
23 | Flávio Rech Wagner | [25] [31] [35] [36] [39] [40] |
24 | John Woods | [17] [18] |