Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Luís C. Lamb
Luís da Cunha Lamb
2010 – today
- 2013
[j19]Roberto da Silva, Mendeli H. Vainstein, Luís C. Lamb, Sandra D. Prado: A simple non-Markovian computational model of the statistics of soccer leagues: Emergence and scaling effects. Computer Physics Communications 184(3): 661-670 (2013)
[j18]Márcio Dorn, Luciana S. Buriol, Luís C. Lamb: A molecular dynamics and knowledge-based computational strategy to predict native-like structures of polypeptides. Expert Syst. Appl. 40(2): 698-706 (2013)
[j17]Rafael K. de Andrades, Márcio Dorn, Daniel S. Farenzena, Luís C. Lamb: A cluster-DEE-based strategy to empower protein design. Expert Syst. Appl. 40(13): 5210-5218 (2013)
[c41]Diego Noble, Luís C. Lamb, Ricardo M. Araujo: Investigating a Socially Inspired Heterogeneous System of Problem Solving Agents. AINA 2013: 421-428- 2012
[j16]Vikas Agrawal, Jorge Baier, Kostas E. Bekris, Yiling Chen, Artur S. d'Avila Garcez, Pascal Hitzler, Patrik Haslum, Dietmar Jannach, Edith Law, Freddy Lécué, Luís C. Lamb, Cynthia Matuszek, Héctor Palacios, Biplav Srivastava, Lokendra Shastri, Nathan R. Sturtevant, Roni Stern, Stefanie Tellex, Stavros Vassos: Reports of the AAAI 2012 Conference Workshops. AI Magazine 33(4): 119- (2012)
[c40]Diego Noble, Luís C. Lamb, Ricardo Matsumura de Araújo: Modeling Adaptative Social Behavior in Collective Problem Solving Algorithms. SASO 2012: 205-210- 2011
[j15]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)
[c39]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
[c38]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer: Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW 2011: 10-16
[c37]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
[c36]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
[c35]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
[c34]Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb: Towards Social Problem-Solving with Human Subjects. IJCAI 2011: 2798-2799
[c33]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
[c32]Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb: Collaboration Emergence in Social Networks with Informational Natural Selection. SocialCom/PASSAT 2011: 555-559- 2010
[j14]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)
[c31]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
[c30]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
[c29]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
[c28]Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb: Integrating model verification and self-adaptation. ASE 2010: 317-320
2000 – 2009
- 2009
[b1]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning. Cognitive Technologies, Springer 2009, ISBN 978-3-540-73245-7
[j13]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)
[j12]Ricardo Matsumura de Araújo, Luís C. Lamb: On the use of memory and resources in minority games. TAAS 4(2) (2009)
[c27]Eduardo Horowitz, Luís C. Lamb: A Hierarchical Model for Firewall Policy Extraction. AINA 2009: 691-698
[c26]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- 2008
[c25]Ricardo M. Araujo, Luís C. Lamb: Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. AAAI 2008: 3-8
[c24]Luís C. Lamb: The Grand Challenges and Myths of Neural-Symbolic Computation. Recurrent Neural Networks 2008
[c23]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
[c22]Ricardo M. Araujo, Luís C. Lamb: On the Role of Structured Information Exchange in Supervised Learning. ECAI 2008: 887-888
[c21]Ricardo M. Araujo, Luís C. Lamb: Distributed problem solving by memetic networks: extended abstract. GECCO 2008: 599-600
[c20]Ricardo M. Araujo, Luís C. Lamb: On the Effects of Network Structure in Population-Based Optimization. ICTAI (1) 2008: 268-271
[c19]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
[c18]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- 2007
[j11]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)
[c17]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
[c16]Ricardo M. Araujo, Luís C. Lamb: An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism. IJCAI 2007: 212-217
[c15]Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007
[c14]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
[c13]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- 2006
[j10]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)
[j9]
[j8]
[j7]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)
[c12]Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS 2006: 46- 2005
[j6]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)
[j5]
[c11]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
[c10]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
[c9]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
[c8]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005
[e2]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005, ISBN 1-904987-25-7
[e1]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (Eds.): We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, ISBN 1-904987-26-5- 2004
[j4]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)
[j3]José Palazzo M. de Oliveira, Luís C. Lamb: A Revista de Informática Teórica e Aplicada e as Tecnologias de Informação. RITA 11(2): 5-8 (2004)
[c7]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988
[c6]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
[c5]Ricardo Matsumura de Araújo, Luís C. Lamb: Neural-Evolutionary Learning in a Bounded Rationality Scenario. ICONIP 2004: 996-1001
[c4]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- 2003
[c3]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
[c2]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408
[c1]Artur S. d'Avila Garcez, Luís C. Lamb: Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS 2003- 2002
[j2]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
[j1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:22 CEST by the dblp team



