Luís C. Lamb

Luís da Cunha Lamb

	2011
55		Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh: Learning to adapt requirements specifications of evolving systems. ICSE 2011: 856-859
54		Márcio Dorn, Luciana S. Buriol, Luís C. Lamb: A hybrid genetic algorithm for the 3-D protein structure prediction problem using a path-relinking strategy. IEEE Congress on Evolutionary Computation 2011: 2709-2716
53		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: 1653-1658
52		Márcio Dorn, Luciana S. Buriol, Luís C. Lamb: Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides. IJCAI 2011: 2794-2795
51		Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb: Towards Social Problem-Solving with Human Subjects. IJCAI 2011: 2798-2799
50		Diego Noble, Marcelo Schiavon Porto, Luciano Volcan Agostini, Ricardo Matsumura de Araújo, Luís C. Lamb: Two Novel Algorithms for High Quality Motion Estimation in High Definition Video Sequences. SIBGRAPI 2011: 197-204
49		Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb: Collaboration Emergence in Social Networks with Informational Natural Selection. SocialCom/PASSAT 2011: 555-559
48		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 22(12): 2409-2421 (2011)
	2010
47		Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo: Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. AAAI 2010
46		Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb: Integrating model verification and self-adaptation. ASE 2010: 317-320
45		Ulisses Brisolara Correa, Luís C. Lamb, Luigi Carro, Lisane B. de Brisolara, Júlio C. B. de Mattos: Towards Estimating Physical Properties of Embedded Systems using Software Quality Metrics. CIT 2010: 2381-2386
44		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 (2) 2010: 104-113
43		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 31(4): 95-108 (2010)
	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)

Coauthor Index

1	Mara Abel	[15]
2	Luciano Volcan Agostini	[50]
3	David W. Aha	[43]
4	Ricardo Matsumura de Araújo (Ricardo M. Araujo)	[7] [8] [16] [28] [32] [33] [34] [37] [38] [47] [49] [50] [51]
5	Sergei N. Artëmov	[17] [18]
6	Howard Barringer	[17] [18]
7	Mark S. Boddy	[43]
8	Rafael V. Borges	[23] [26] [27] [29] [44] [46] [48] [55]
9	Lisane B. de Brisolara	[35] [36] [45]
10	Krysia Broda	[2] [5] [6]
11	Vadim Bulitko	[43]
12	Luciana S. Buriol	[52] [54]
13	Luigi Carro	[25] [31] [35] [36] [45]
14	Ulisses Brisolara Correa	[45]
15	Érika F. Cota	[25]
16	Márcio Dorn	[52] [54]
17	Prashant Doshi	[43]
18	Stefan Edelkamp	[43]
19	Daniel S. Farenzena	[47] [49] [51]
20	João M. Fernandes	[39] [40]
21	Dov M. Gabbay	[2] [4] [5] [6] [9] [10] [12] [14] [19] [24] [42]
22	Artur S. d'Avila Garcez	[3] [4] [5] [6] [9] [10] [12] [13] [14] [17] [18] [19] [22] [23] [24] [26] [27] [29] [42] [43] [44] [46] [48] [53] [55]
23	Christopher W. Geib	[43]
24	Piotr J. Gmytrasiewicz	[43]
25	Robert P. Goldman	[43]
26	Alon Y. Halevy (Alon Y. Levy)	[43]
27	Pascal Hitzler	[43]
28	Eduardo Horowitz	[41]
29	Charles Lee Isbell Jr. (Charles L. Isbell)	[43]
30	Darsana P. Josyula	[43]
31	Leslie Pack Kaelbling	[43]
32	Kristian Kersting	[43]
33	Maithilee Kunda	[43]
34	Ricardo Jorge Machado	[39] [40]
35	Bhaskara Marthi	[43]
36	Laura S. Mastella	[15]
37	Júlio C. B. de Mattos	[35] [45]
38	Keith McGreggor	[43]
39	Ron van der Meyden	[43]
40	John-Jules Ch. Meyer	[53]
41	Lilyana Mihalkova	[43]
42	Vivi Nastase	[43]
43	Sriraam Natarajan	[43]
44	Diego Noble	[50]
45	Bashar Nuseibeh	[55]
46	José Palazzo Moreira de Oliveira (José Palazzo M. de Oliveira)	[11] [20] [21]
47	Marcio F. da S. Oliveira	[31] [35] [36]
48	Leo de Penning	[53]
49	Marcelo Schiavon Porto	[50]
50	Gregory Provan	[43]
51	Anita Raja	[43]
52	Ashwin Ram	[43]
53	Ricardo Miotto Redin	[25] [31] [35] [36]
54	Mark O. Riedl	[43]
55	Luis Fernando De Ros	[15]
56	Stuart J. Russell	[43]
57	Alessandra Russo	[2]
58	Ashish Sabharwal	[43]
59	Jan-Georg Smaus	[43]
60	Emilena Specht	[25]
61	Gita Reese Sukthankar (Gita Sukthankar)	[43]
62	Karl Tuyls	[43]
63	Flávio Rech Wagner	[25] [31] [35] [36] [39] [40]
64	John Woods	[17] [18]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page