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