Luís C. Lamb

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)

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)

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)

Diego Noble, Luís C. Lamb, Ricardo Matsumura de Araújo: Modeling Adaptative Social Behavior in Collective Problem Solving Algorithms. SASO 2012: 205-210

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)

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

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

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

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

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

Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb: Towards Social Problem-Solving with Human Subjects. IJCAI 2011: 2798-2799

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

Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb: Collaboration Emergence in Social Networks with Informational Natural Selection. SocialCom/PASSAT 2011: 555-559

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)

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

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

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

Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb: Integrating model verification and self-adaptation. ASE 2010: 317-320

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

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)

Ricardo Matsumura de Araújo, Luís C. Lamb: On the use of memory and resources in minority games. TAAS 4(2) (2009)

Eduardo Horowitz, Luís C. Lamb: A Hierarchical Model for Firewall Policy Extraction. AINA 2009: 691-698

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

Ricardo M. Araujo, Luís C. Lamb: Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. AAAI 2008: 3-8

Luís C. Lamb: The Grand Challenges and Myths of Neural-Symbolic Computation. Recurrent Neural Networks 2008

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

Ricardo M. Araujo, Luís C. Lamb: On the Role of Structured Information Exchange in Supervised Learning. ECAI 2008: 887-888

Ricardo M. Araujo, Luís C. Lamb: Distributed problem solving by memetic networks: extended abstract. GECCO 2008: 599-600

Ricardo M. Araujo, Luís C. Lamb: On the Effects of Network Structure in Population-Based Optimization. ICTAI (1) 2008: 268-271

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

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

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)

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

Ricardo M. Araujo, Luís C. Lamb: An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism. IJCAI 2007: 212-217

Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007

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

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

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)

Luís C. Lamb, José Palazzo M. de Oliveira: Editorial. RITA 13(1): 5-6 (2006)

Luís C. Lamb, José Palazzo M. de Oliveira: Editorial. RITA 13(2): 5 (2006)

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)

Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez: Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS 2006: 46

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)

Luís C. Lamb, José Palazzo Moreira de Oliveira: Editorial. RITA 12(1): 5-6 (2005)

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

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

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

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005

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

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

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)

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)

Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988

Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612

Ricardo Matsumura de Araújo, Luís C. Lamb: Neural-Evolutionary Learning in a Bounded Rationality Scenario. ICONIP 2004: 996-1001

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

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

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408

Artur S. d'Avila Garcez, Luís C. Lamb: Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS 2003

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)

Luís C. Lamb: Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. J. Log. Comput. 11(1): 193-194 (2001)