Luís C. Lamb: Research Information

Professor of Foundations of Computer Science and AI.

Secretary of Innovation, Science and Technology, State of Rio Grande do Sul (01/2019-01/2022).

Formerly University Vice President for Research (Pro-Rector for Research) 2016-2018.

Formerly Dean and Deputy Dean of the Institute of Informatics, UFRGS.

Department of Theoretical Informatics, Institute of Informatics, Federal University of Rio Grande do Sul (UFRGS)
Honorary Visiting Fellow, City University, London
CNPq
(The Brazilian National Research Council) Advanced Research Fellow

Education
PhD in Computer Science, Imperial College London, 2000
DIC (Diploma of the Imperial College), 2000

PhD thesis:
Labelled Proof Theory for Conditional Logic, supervised by Prof Dov M. Gabbay & Dr. Krysia Broda.

MIT Executive Certificate in Strategy and Innovation, Massachusetts Institute of Technology, Sloan School of Management, 2010; MIT Executive Certificate in Management and Leadership, 2014.
MSc in Computer Science (by research) UFRGS, 1995:
A Categorical Approach to Sequential Machines Theory, supervised by Prof. D.M. Claudio.
BSc in Computer Science, UFRGS, 1992 (BSc projects: Parallel Sorting Algorithms: Applications, Complexity Analysis and Design Methodologies, supervised by Dr. T.A. Diverio and The Application of a Functional Programming Language to Interval Mathematics, co-supervised by D.M. Claudio e V.M. Rodrigues)

Recent publications
I will be happy in sending you a copy of the items listed below. Please email me: LuisLamb @ acm.org

Twitter @luislamb

ResearchGate profile. DBLP entry. Mathematics Genealogy Profile. Erdös Number: 3

Publication Areas: AI: Artificial Intelligence; CC: Cognitive Computation; CM: Computational Modelling; ES: Embedded Systems; KR: Knowledge Representation; LC: Logic and Computation; ML: Machine learning; NCC: Non-Classical Computation; NSC: Neuro-symbolic Computing/AI; SC: Social and Human Computing; SE: Software engineering; TCS: Theoretical Computer Science;

Books authored (research monographs on a single subject):

·Neural-Symbolic Cognitive Reasoning (A.S. d’Avila Garcez, Luis C. Lamb and Dov M. Gabbay). Springer-Verlag, ISBN 978-3-540-73245-7, 2009. Electronic book also available at Springer site. AI, CC, LC, ML, NCC.

·Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (K. Broda, D. M. Gabbay, Luis C. Lamb, and A. Russo)  ISBN 0863802966 (Research Studies Press, Institute of Physics Publishing,Hertfordshire, England; Philadelphia,PA), 2004. 343+xx pp. LC, AI, TC, KR.

Books edited (including edited conference/workshop proceedings)

(The following two volume set is a Festschrift in honour of D.M. Gabbay's 60th birthday)

·       Sergei Artemov, Howard Barringer, A. S. d'Avila Garcez, Luis C. Lamb and John Woods (Editors). We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. International Federation for Computational Logic, College Publications, London, UK, 2005, 774p., ISBN 1-904987-25-7. LC, AI, NCC, TC.  

·       Sergei Artemov, Howard Barringer, A. S. d'Avila Garcez, Luis C. Lamb and John Woods (Editors). We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. International Federation for Computational Logic, College Publications, London, UK, 2005, 783p., ISBN 1-904987-26-5. LC, AI, NCC, TC.

Edited conference and workshop proceedings

·       Fernandes, João M (Ed.) ; Lamb, Luís C. (Ed.) ; Machado, Ricardo J. (Ed.) ; Wagner, F. R. (Ed.) . Proceedings of the 6th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2009) at ICSE-2009. 1. ed. Los Alamitos, CA: IEEE Computer Society, 2009. v. 1. 71 p. SE, ES.

·       Botterweck, G. (Ed.) ; Fernandes, João M (Ed.) ; Lamb, Luís C. (Ed.) . Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software: MOMPES '10 held at ASE2010 (25th International Conference on Automated Software Engineering). 1. ed. New York: ACM Press, 2010. v. 1. 68 p. SE, ES.

·       A.S. D'Avila Garcez, Pascal Hitzler and Luis Lamb (Editors). Proceedings of the 7th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'11), held at IJCAI-11, Barcelona, Spain, July 17, 2011. CEUR Workshop Proceedings vol. 764. ISSN 1613-0073. http://CEUR-WS.org/Vol-764/ AI, CC, LC, ML

·       A.S. d'Avila Garcez; P. Hitzler, Luís C. Lamb (Editors) . Proceedings of NeSy'12: 8th AAAI International Workshop on Neural-Symbolic Learning and Reasoning: Papers from the 2012 AAAI Workshop held in Toronto, Canada. 1. ed. Menlo Park, CA: AAAI Press (Association for the Advancement of Artificial Intelligence Press), 2012. v. 1. 54p, AI, CC, LC, ML

·       A. S. d'Avila Garcez, Luis C. Lamb and Pascal Hitzler (Editors). Proceedings of the 9th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'13), held at IJCAI-13, Beijing, China, August 2013. AI, CC, LC, ML

·       Tarek R. Besold, Thomas Icard, Luis C. Lamb and Risto Miikkulainen (Editors). Proceedings of the 10th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'15), held at IJCAI-15, Buenos Aires, July 2015. AI, CC, LC, ML

·       Tarek R. Besold, Luis Lamb, Luciano Serafini and Whitney Tabor. Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16). New York City NY, 16-17 July 2016. CEUR Workshop Proceedings – vol. 1778, ISSN 1613-0072, 2016 AI, CC, ML

Book chapters

·       Celina M.H. Figueiredo and Luís C. Lamb. Teoria da Computação: Uma Introdução à Complexidade e à Lógica Computacional. In: XXIV Jornada de Atualização em Informática – JAI, Congresso da Sociedade Brasileira de Computação, pp. 10-67, Sociedade Brasileira de Computação, 2015. TCS, LC

·       L.C. Lamb and Artur d'Avila Garcez. Learning and Argumentation in Neural-Symbolic Computation. In: Norbert M. Seel. (Editor). Encyclopedia of the Sciences of Learning. New York: Springer, 2012, p. 1769-1771. NSC, LC, CC, AI

·       A. S. d'Avila Garcez and L. C. Lamb. Cognitive Reasoning and Knowledge Representation. In V. Cutsuridis, A. Hussain and J. G. Taylor (eds.) Perception-Action Cycle: Models, Algorithms and Hardware, Springer, 2011. LC, CC, NSC, AI

·       Neural-Symbolic Systems and the Case for Non-Classical Reasoning. (by A. d'Avila Garcez and Luis C. Lamb). In Sergei Artemov, H. Barringer, A. d'Avila Garcez, Luis C. Lamb and John Woods (Editors). We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. pp. 469-488, International Federation for Computational Logic, London, UK, 2005, ISBN 1-904987-25-7. LC, AI, NSC.

Selected Journal and Conference Papers (XXI Century papers)

·       Pedro H. C. Avelar, Rafael B. Audibert, Anderson R. Tavares, Luís C. Lamb:
Measuring Ethics in AI with AI: A Methodology and Dataset Construction. CoRR abs/2107.11913 (2021), submitted.

·      Pedro H. C. Avelar, Anderson R. Tavares, Marco Gori, Luís C. Lamb:
Discrete and Continuous Deep Residual Learning over Graphs. ICAART (2) 2021: 119-131

·      Luís C. Lamb, Artur d'Avila Garcez, Marco Gori, Marcelo Prates, Pedro Avelar, Moshe Y. Vardi (2020). Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. IJCAI 2020: 29th International Joint Conference on Artificial Intelligence - preprint arXiv:2003.00330 NSC

·       A ground truth contest between modularity maximization and modularity density maximization. Rafael de Santiago and Luis C. Lamb. Artificial Intelligence Review, 2020, pp. 1-25, to appear. CM

·       Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP. Marcelo Prates, Pedro Avelar, Henrique Lemos, Luis C. Lamb and Moshe Y. Vardi. Proc. of AAAI-19 - 33rd AAAI Conference on Artificial Intelligence, Honolulu, Jan 27 – Feb 1, 2019. AI, ML, LC

·       Felipe Grando, Lisandro Granville and Luis C. Lamb. Machine Learning in Network Centrality Measures: Tutorial and Outlook. ACM Computing Surveys, 51(5), article 102, 2019. AI, ML

·       Marcelo Prates, Pedro Avelar and Luis Lamb: Assessing Gender Bias in Machine Translation -- A Case Study with Google Translate, Neural Computing and Applications, 2019. AI, ML, SC https://arxiv.org/abs/1809.02208 See media comments here: https://www.theregister.co.uk/2018/09/10/boffins_bash_google_translate_for_sexist_language/

·       A.S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran: Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. IFCoLog Journal of Logics and their Applications FLAP 6(4): 611-632 (2019).

·       Henrique Lemos, Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb: Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems. IEEE ICTAI 2019, CoRR abs/1903.04598. NSC, AI

·       Pedro H. C. Avelar, Henrique Lemos, Marcelo O. R. Prates, Luís Lamb: Multitask Learning on Graph Neural Networks: Learning Multiple Graph Centrality Measures with a Unified Network. ICANN – Intl. Conf. On Artificial Neural Networks, 2019: 701-715. NSC, AI

·       Roberto da Silva, Pablo Valverde and Luis Lamb. A Reactive-Darwinian Model for the Ultimatum Game: On the Dominance of Moderation in High Diffusion. Communications in Nonlinear Science and Numerical Simulation, 2020. https://doi.org/10.1016/j.cnsns.2019.104956 CM

·       Marcelo Prates, Pedro Avelar and Luis Lamb. On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals. 4th Global Conference on Artificial Intelligence, GCAI 2018. AI, ML – This work was widely used in the 2019 AI Index report.

·       Rafael de Santiago, Fernando Concatto, Luís C. Lamb: On the Role of Central Individuals in Influence Propagation. ICAART (2) 2019: 103-111. SC

·       Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition. Marcelo Prates; Luis Lamb. IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018). TCS, AI

·       On the Effectiveness of the Block Two-Level Erdős-Rényi Generative Network Model. Felipe Grando & Luís C. Lamb. IEEE Symposium on Computers and Communications (ISCC 2018). SC

·       Felipe Grando and Luis C. Lamb. Computing Vertex Centrality Measures in Massive Real Networks with a Neural Learning Model. 2018 IEEE International Joint Conference on Neural Networks (IJCNN) 2018. AI, ML, SC

·       Effective Ant Colony Optimization Solution for the Brazilian Family Health Team Scheduling Problem. Willian Heitor Martins; Lucia Helena Souza Alves de Santiago; Rafael de Santiago; Luís Lamb. IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018). AI

·       Rudson Mendes, Rafael de Santiago, Luis Lamb. Novel Parallel Anytime A* for Graph and Network Clustering. IEEE Congress on Evolutionary Computation, 2018. AI

·       Felipe Zilio, Marcelo O. R. Prates, Luís C. Lamb: Neural Networks Models for Analyzing Magic: The Gathering Cards. Neural Information Processing - 25th International Conference, ICONIP (2) 2018: 227-239. ML, AI

·       R. de Santiago and Luis C. Lamb. Efficient Modularity Density for Large Graphs. European Journal of Operational Research, 258(3):844-865, 2017. TCS

·       Rafael de Santiago and Luis C. Lamb. Exact Computational Solution of Modularity Density Maximization by Effective Column Generation., Computers & OR, 86:18-29, 2017. TCS, CM, AI

·       Tarek. R. Besold, Artur d'Avila Garcez, Luís C. Lamb. Human-Like Neural-Symbolic Computing. (Dagstuhl Seminar 17192). Dagstuhl Reports 7(5):56-83, 2017. AI, NSC, ML, KR

·       F. Concatto, W. Zunino, L. Giancoli, R. de Santiago, Luís C. Lamb Genetic Algorithm for Epidemic Mitigation by Removing Relationships. GECCO 2017, ACM GECCO Genetic and Evolutionary Computation Conference, Berlin, July 2017. CM

·       Rafael de Santiago and Luís C. Lamb. Efficient Quantitative Heuristics for Graph Clustering. GECCO 2017, ACM GECCO Genetic and Evolutionary Computation Conference, Berlin, July 2017. CM

·       Rafael Schmitt, Pedro Ramos, Rafael de Santiago and Luis C. Lamb. Novel Clique Enumeration Heuristic for Detecting Overlapping Clusters. IEEE Congress on Evolutionary Computation 2017, San Sebastian, Spain, June 2017. CM

·       Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha:
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR abs/1711.03902 (2017) – technical report. NSC, AI

·       R. da Silva, P. Valverde, Luis Lamb. Randomness and Arbitrary Coordination in the Reactive Ultimatum Game. Communications in Nonlinear Science and Numerical Simulation, 36:419-430, 2016. CM, AI

·       Daniel S. Farenzena, Luis Lamb, Ricardo Araujo. The cost of search and evaluation in online problem-solving social networks with financial and non-financial incentives. First Monday, 21(8), Aug. 2016. SC, AI, CC

·       Roberto da Silva, Luis Lamb, Marcia Barbosa. Universality, correlations, and rankings in the Brazilian universities national admission examinations. Physica A, 457:295-306, 2016. CM.

·       Felipe Grando, Diego Noble, Luis C. Lamb. An Analysis of Centrality Measures for Complex and Social Networks. IEEE Global Communications Conference GLOBECOM 2016, pp. 1-6, 2016. SC, CM

·       Felipe Grando and Luis Lamb. On Approximating Networks Centrality Measures via Neural Learning Algorithms. In IEEE-IJCNN-2016, IEEE International Joint Conference on Neural Networks. IEEE World Congress on Computational Intelligence WCCI-2016, Vancouver. ML

·       Rafael de Santiago and Luis Lamb. On the Role of Degree Influence in Suboptimal Modularity Maximization. In IEEE-CEC-2016 IEEE Congress on Evolutionary Computation. IEEE World Congress on Computational Intelligence WCCI-2016, Vancouver. CM, AI

·       Rafael de Santiago, Wellington Zunino, Fernando Concatto, Luís C. Lamb. A New Model and Heuristic for Infection Minimization by Cutting Relationships. 23rd International Conference on Neural Information Processing, ICONIP 2016: 500-508. AI

·       Diego V. Noble; Marcelo R. Prates, Daniel S. Bossle and Luis C. Lamb. Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency. Proceedings of the 29th AAAI Conference on Artificial Intelligence - AAAI-15. Austin, Texas, Jan. 2015, pp. 1277-1283. SC, AI

·       A. S. d'Avila Garcez, L. de Raedt, Luis. C. Lamb, R. Miikkulainen, P. Hitzler, T. Icard, T. Besold, P. Foldiak, D. Silver and K.U. Kuehnberger. Neural-Symbolic Learning and Reasoning: Contributions and Challenges, Proceedings of the AAAI Spring Symposium on Knowledge Representation and Reasoning: Integrating Symbolic and Neural Approaches, Stanford Univ., CA, March 2015, pp. 18-21, AAAI Press, 2015. AI, NSC, ML

·       Diego Noble, Felipe Grando, Ricardo Araujo, Luis C. Lamb. The Impact of Centrality on Individual and Collective Performance in Social Problem-Solving Systems. ACM SIGEVO .Genetic and Evolutionary Computation Conference (GECCO-2015) ACM Press, NY, 2015.pp. 73-80 (Nominated for best paper award, Ant Colony Optimization and Swarm Intelligence track). Link to paper. AI, CM, SC

·       Felipe Grando and Luis C. Lamb. Estimating Complex Networks Centrality via Neural Networks and Machine Learning. INNS/IEEE International Joint Conference on Neural Networks (IJCNN 2015). IEEE CS Press, pp. 1-8, 2015. AI, SC, ML

·       A. S. d'Avila Garcez, Marco Gori, Pascal Hitzler, Luís C. Lamb: Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381). Dagstuhl Reports 4(9): 50-84, 2015. AI, CC, NCC, NSC.

·       Marcio Dorn, M. Barbachan e Silva, Luciana Buriol and Luis C. Lamb. Three-dimensional protein structure prediction: Methods and computational strategies. Computational Biology and Chemistry, Volume 53, Part B, December 2014, Pages 251–276. http://dx.doi.org/10.1016/j.compbiolchem.2014.10.001 CM, AI

·       A. d'Avila Garcez, D.M. Gabbay, Luis C. Lamb: A neural cognitive model of argumentation with application to legal inference and decision making. Journal of Applied Logic, 2014. NSC, LC, AI, CC.

·       Marcio Dorn, Luciana Buriol, and Luis C. Lamb. MOIRAE: A computational strategy to extract and represent structural information from experimental protein templates. Soft Computing, 2014. AI, CM http://dx.doi.org/10.1007/s00500-013-1087-6

·       L. de Penning, A. S. d'Avila Garcez, Luis C. Lamb, A. Stuiver and J. J. Ch. Meyer, Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. The 2014 International Joint Conference on Neural Networks (IJCNN 2014), IEEE WCCI, Beijing, China, July 2014. AI, NSC, CC, ML

·       L. de Penning, A. S. d'Avila Garcez, Luis C. Lamb and J. J. Meyer. Neural-Symbolic Cognitive Agents: Theory, Architecture and Application. In Proc. 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS'14, Paris, France, 2014. NSC, ML, CC, KR

·       Lucas M. Tabajara, Marcelo Prates, Diego Noble and Luis C. Lamb. Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems. HCOMP 2013: AAAI Conference on Human Computation and Crowdsourcing. Palm Springs, CA, November, 2013. SC, AI

·       Roberto da Silva; Mendeli Vainstein; Luis C. Lamb; Sandra Prado. A simple non-Markovian computational model of the statistics of soccer leagues: Emergence and scaling effects. Computer Physics Communications, Volume 184, Issue 3, March 2013, Pages 661–670. http://dx.doi.org/10.1016/j.cpc.2012.10.030 CM.

·       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) AI

·       Diego Noble, Luís C. Lamb, Ricardo M. Araujo: Investigating a Socially Inspired Heterogeneous System of Problem Solving Agents. IEEE AINA 2013: 421-428, SC

·       Marcio Dorn, Luciana Buriol, and Luis C. Lamb. A molecular dynamics and knowledge-based computational strategy to predict native-like structures of polypeptides. Expert Systems with Applications, v. 40, p. 698-706, 2013. http://dx.doi.org/10.1016/j.eswa.2012.08.003 AI, CM

·       Roberto da Silva; Luis C. Lamb; E.C. Lima; Jairton Dupont. A Simple Combinatorial Method to Describe Particle Retention Time in Random Media with Applications in Chromatography. Physica. A (Print), v. 391, p. 1-7, 2012.  http://dx.doi.org/10.1016/j.physa.2011.08.006 CM

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

·       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) AI, NSC,

·       L. de Penning; A.S. d'Avila Garcez, Luis C. Lamb and J.J. Ch. Meyer. A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. Proc. 22nd International Joint Conference on Artificial Intelligente IJCAI-11, Barcelona, July 16-22, 2011. LC, AI, CC, NSC

·       R. V. Borges, Artur d'Avila Garcez, Luis C. Lamb. Learning and Representing Temporal Knowledge in Recurrent Networks. IEEE Transactions on Neural Networks and Learning Systems 22(12):2409-2421, 2011. NSC, LC, TCS, AI, SE

·       R. V. Borges, Artur S. d'Avila Garcez, Luis C. Lamb and Bashar Nuseibeh. Learning to Adapt Requirements Specifications of Evolving Systems. In 33rd ACM/IEEE International Conference on Software Engineering ICSE'11, New Ideas and Emerging Results track, Waikiki, Honolulu, Hawaii, May 2011, pp. 856-859. NSC, SE, ML, AI, LC

·       Roberto da Silva, Luis C. Lamb and Gilson Wirth. Collective Poisson Process with Periodic Rates: Applications in physics from micro to nanodevices. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 395(1935):307-321, 2011. CM.

·       Luis Lamb, Waraporn Jirapanthong, Andrea Zisman. Formalizing Traceability Relations for Product Lines. TEFSE'11 6th International Workshop on Traceability in Emerging Forms of Software Engineering, held at ICSE2011 (33rd ACM/IEEE International Conference on Software Engineering). Honolulu, Hawaii, 23 May 2011. SE

·       D.S. Farenzena, R.M. Araujo and Luis C. Lamb. Collaboration Emergence in Social Networks with Informational Natural Selection. Proceedings of the Third IEEE International Conference on Social Computing (IEEE SocialCom 2011). Cambridge, MA, MIT MediaLab, 9-11 October 2011, SC, AI, LC

·       Marcio Dorn, Luciana Buriol and Luis C. Lamb. A Hybrid Genetic Algorithm for the 3-D Protein Structure Prediction Problem using a Path-Relinking Strategy. Proc. IEEE Congress on Evolutionary Computation CEC 2011. New Orleans, June, 2011. CM

·       Noble, D.V.; Porto, M.S.; Agostini, L.V.; Araújo, R.M.; Lamb, Luis. C. Two Novel Algorithms for High Quality Motion Estimation in High Definition Video Sequences. Proc. of the 24th Conference on Graphics, Patterns and Images, SIBGRAPI 2011, Maceió. Los Alamitos: IEEE Computer Society Conference Publishing Services, 2011. DVD, On-line. Available from: <http://urlib.net/8JMKD3MGPBW34M/3A3EFJB> CM

·       W. Gonçalves; Marcio Dorn, Luciana Buriol, and Luis C. Lamb. A Structured-Population Genetic Algorithm for the 3-D Protein Structure Prediction Problem. Brazilian Symposium on Bioinformatics (BSB 2011). Brasília, Aug. 7-12, 2011. CM

·       R.V. Borges; A.S. d’Avila Garcez and Luis Lamb. Integrating Model Verification and Self-Adaptation. Proc. 25th IEEE/ACM International Conference on Automated Software Engineering ASE2010; pp. 317-320, ACM Press: New York, 2010. SE, NSC, ML, AI

·       R.V. Borges; A.S. d’Avila Garcez and Luis Lamb. Representing, Learning and Extracting Temporal Knowledge Models in Neural Networks: A Case Study. Proc. 20th International Conference on Artificial Neural Networks (ICANN 2010). Lecture Notes in Computer Science, Springer: Berlin-Heidelberg.pp.104-113, 2010.  AI, CC, NSC, LC, SE.

·       Roberto da Silva, M. Zembzurski, F. Correa and Luis C. Lamb. Stock Markets and Criticality in the Current Economic Crisis. Physica A: Statistical Mechanics and its Applications, v. 389, p. 5460-5467, 2010. CM

·       D.S. Farenzena, Luis C. Lamb and Ricardo M. Araújo. Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. Proc. 24th AAAI Conference on Artificial Intelligence (AAAI-10), student session, pp.1-2, AAAI Press, Menlo Park, CA, 2010. AI, CC, LC, SC, TCS.

·       Ulisses B. 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. In: ESA-2010: International Symposium on Advanced Topics on Embedded Systems and Applications held at the 10th IEEE International Conference on Computer and Information Technology CIT 2010: pp. 2381-2386. http://doi.ieeecomputersociety.org/10.1109/CIT.2010.409

·       On the Use of Memory and Resources in Minority Games. Ricardo M. Araujo and Luis C. Lamb. ACM Transactions on Autonomous and Adaptive Systems, 4(2):1-23, 2009. http://doi.acm.org/10.1145/1516533.1516535 AI, ML

·       Statistical fluctuations in population bargaining in the ultimatum game: static and evolutionary aspects. Roberto da Silva, G.A. Kellermann, Luis C. Lamb. Journal of Theoretical Biology, Volume 258, Issue 2, 2009, pages 208-218  doi:10.1016/j.jtbi.2009.01.017  AI, CM.

·       Memetic Networks: Analyzing the effects of network properties in multi-agent performance. Ricardo M. Araújo and Luís C. Lamb. 23rd AAAI Conference on Artificial Intelligence AAAI-08. Chicago, IL, July 12-17, 2008, pp. 3-8, AAAI Press, 2008. AI: a version of the paper is HERE.

·       Recent advances in model-based methodologies for pervasive and embedded software. Joao M. Fernandes, Luis C. Lamb, Ricardo J. Machado and Flavio R. Wagner. ACM SIGSOFT Software Engineering Notes 34(5):37-39,  2009. http://doi.acm.org/10.1145/1598732.1598758 SE, ES

·       A Hierarchical Model for Firewall Policy Extraction·. Eduardo Horowitz and Luis C. Lamb. 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA-09). Bradford, UK, May 2009. http://doi.ieeecomputersociety.org/10.1109/AINA.2009.116 TCS.

·       A neural-symbolic perspective on analogy. R.V. Borges, A.S.d’Avila Garcez and Luis C. Lamb. Behavioral and Brain Sciences 31(4):379-380. 2008. doi:10.1017/S0140525X08004482. AI, NSC, CC, NCC.

·       Using UML as Front-end for Heterogeneous Software Code Generation Strategies. Brisolara, L.; Oliveira, M.F.; Redin, R.M.; LAMB, Luís C. ; Carro, Luigi ; Wagner, Flávio R. . Proc. DATE'08 - Design, Automation and Test in Europe, 2008, Munich, Germany. Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2008, ACM Press, 2008. v. 1. Pages 504-509  ES, SE

·       On the use of software quality metrics to improve physical properties of embedded systems. R.M. Redin, M.F.S. Oliveira, L.B. Brisolara, J.C.B. Mattos, Luis C. Lamb, Flávio R. Wagner, Luigi Carro. Proc. DIPES 2008 – IFIP Working Conference on Distributed and Parallel Embedded Systems, Milan, IT, Sep. 7-10, 2008, v.1. pp. 101-110, Springer. ES, SE.

·       Software Quality Metrics and Their Impact on Embedded Software. Oliveira, M.F.S. ; Redin, R.M. ; Carro, Luigi; LAMB, Luís C. ; Wagner, Flávio R. Proc. MOMPES'08 - 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2008) at ETAPS 2008, Budapest, Hungary, 2008. v. 1. pp. 68-77 http://doi.ieeecomputersociety.org/10.1109/MOMPES.2008.11 ES, SE 

·       The grand challenges and myths of neural-symbolic computation. Luis C. Lamb. Proc. Dagstuhl Seminar 08041: Recurrent Neural Networks: Models, Capacities and Applications: Luc De Raedt, B. Hammer,  P. Hitzler and W. Maass,eds.: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, ISSN 1862-4405. AI, NSC, CC, NCC. A version of the paper is HERE.

·       On the effects of network structure in population-based optimization. Ricardo M. Araújo and Luis C. Lamb. Proc. 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008). Vol 1, pp.268-271,Dayton, Ohio, Nov.3-5, 2008. IEEE Press. http://doi.ieeecomputersociety.org/10.1109/ICTAI.2008.74 AI, SC.

·       Distributed problem solving by memetic networks (extended abstract). R.M. Araújo and Luis C. Lamb. GECCO 2008: Genetic and Evolutionary Computation Conference, Atlanta, Georgia, Jul. 12-16, ACM Press, pp.599-600. http://doi.acm.org/10.1145/1389095.1389211 AI, SC.

·       On the Role of Structured Information Exchange in Supervised Learning. Ricardo M. Araújo and Luís C. Lamb. Proc. ECAI 2008 - 18th European Conference on Artificial Intelligence, pp. 887-888.
Edited by M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris. ISBN 978-1-58603-891-5. Series:Frontiers in Artificial Intelligence and Applications Volume 178, IOS Press, 2008,
AI, SC.

·       Connectionist Modal Logics: Representing Modalities in Neural Networks. Artur d'Avila Garcez, Luís C. Lamb, and Dov Gabbay. Theoretical Computer Science, 371(1-2):34-53, 2007. Elsevier B.V., Amsterdam and London. ISSN: 0304-3975. LC, NSC, AI, NCC, TC

·       A connectionist cognitive model for temporal synchronisation and learning. Luis C. Lamb, Rafael Borges and Artur Garcez. Proc. of the 22nd AAAI Conference on Artificial Intelligence, AAAI-07. Vancouver, Canada, July 22-27,2007, AAAI Press, p. 827-832. NSC, AI, ML,TC. A version of the paper is here.

·       An information-theoretic analysis of memory bounds in a distributed resource allocation mechanism. Ricardo M. Araújo and Luís C. Lamb. Proceedings of the 20th International Joint Conference on Artificial Intelligence - IJCAI-07. Hyderabad, India, Jan. 6-12, 2007.p. 212-217. American Association for Artificial Intelligence Press (AAAI Press), Menlo Park, CA. AI, ML.

·       Reasoning and learning about past temporal knowledge in connectionist models. R.V. Borges, Luis C. Lamb and A. S. d'Avila Garcez. Proceedings of the 20th IEEE International Joint Conference on Neural Networks (IJCNN 2007).Orlando, FL, Aug. 12-17, 2007, IEEE Press, pp. 1488-1493. AI, ML, KR, NCC.

·       Towards reasoning about the past in neural-symbolic systems. Rafael V. Borges, Luis C. Lamb and A. d'Avila Garcez. Proc. of the Third International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07 at IJCAI-07. Hyderabad, India, Jan. 6-12, 2007. AI, ML, NCC

·       Analysis of the Use of Declarative Languages for Enhanced Embedded System Software Development. Emilena Specht, Ricardo Redin, Luigi Carro, Luís C. Lamb, Flávio Wagner and Erika Cota. Proc. 20th Symposium on Integrated Circuits and System Design (SBCCI 2007), Sep 2007, ACM Press, pp. 324-329. SE, ES

·       A Connectionist Computational Model for Epistemic and Temporal Reasoning (A. d'Avila Garcez and Luis C. Lamb), Neural Computation, 18(7):1711-1738, 2006. MIT Press, Cambridge, MA and London,  ISSN 0899-7667. CC,NSC, ML, NCC

·       Connectionist Computations of Intuitionistic Reasoning (A. d'Avila Garcez, Luis C. Lamb and Dov Gabbay). Theoretical Computer Science, 358(1):34-55, 2006. Elsevier B.V., Amsterdam and London. ISSN: 0304-3975. LC, AI, NSC, TC

·       Combining architectures for temporal learning in neural-symbolic systems. Rafael V. Borges, Luís C. Lamb and A. d'Avila Garcez. Proc. of the Sixth International Conference on Hybrid Intelligent Systems, HIS-06. Auckland, New Zealand, Dec 2006, IEEE Computer Society Press. DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HIS.2006.17 ML, NSC.

·       Reinforcement learning based control of traffic lights in non-stationary environments: a case study in a microscopic simulator. Oliveira, D. and Bazzan, A. L. C. and Silva, B. C. and Basso, E. W. and Nunes, L. and Rossetti, R. J. F. and Oliveira, E. C. and Silva, R. and Lamb, L. C., 2006. Proceedings of the 4th European Workshop on Multi-Agent Systems, (EUMAS-06). December, pages 31-42. AI, ML

·       Value-based argumentation frameworks as neural-symbolic learning systems.  A. d'Avila Garcez, D. M. Gabbay and Luis C. Lamb. Journal of Logic and Computation, 15(6):1041-1058, Print ISSN 0955-792X, Online ISSN 1465-363X , Dec. 2005. LC, NSC, AI

·       A Connectionist Model for Constructive Modal Reasoning. (A.d'Avila Garcez. Luis C. Lamb and Dov Gabbay). NIPS 2005. In Advances in Neural Information Processing Systems 18, Proceedings of the NIPS 2005 Conference, Edited by Yair Weiss, Bernhard Schölkopf and John Platt,Vancouver, Canada, December 5-10, MIT Press 2006, pp.403-410.  ML, LC, NSC, NCC

·       Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains (L.Mastella, M. Abel, Luis C. Lamb and Luiz F. De Ros).  Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI-05, Edinburgh, UK, July 30 to August 5. Professional Book Center, Denver, CO, pp. 528-533, ISBN 0-938075-93-4, 2005. AI, KR

·       On the evolution of memory size in the minority game (Ricardo M. Araújo and Luís C. Lamb). Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI -05, Edinburgh, UK, July 30 to August 5, Professional Book Center, Denver, CO, pp. 1651-1652, ISBN 0-938075-93-4, 2005. ML, AI, CC

·       Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game. Proc. of 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), Boca Raton, FL, Nov 15-17, pp 727-731, IEEE CS Press  2004. (by Ricardo Matsumura de Araújo and Luís C. Lamb). ML, AI

·       Neural-Evolutionary Learning in a Bounded Rationality Scenario. Proc. of 11th International Conference on Neural Information Processing, ICONIP 2004, Calcutta, India, Nov. 22-25, 2004. Lecture Notes in Computer Science, vol. 3316, pp. 996-1001, ISBN: 3-540-23931-6. (by Ricardo M. Araújo and Luís C. Lamb).  ML, AI

·       Argumentation Neural Networks. Proc. of 11th International Conference on Neural Information Processing, ICONIP 2004, Calcutta, India, Nov. 22-25, 2004. Lecture Notes in Computer Science, vol. 3316, pp. 606-612, ISBN: 3-540-23931-6. (by A. d'Avila Garcez,  Dov M. Gabbay and Luís C. Lamb). LC, NSC, AI

·       Towards a Connectionist Argumentation Framework. Proc. of 16th European Conference on Artificial Intelligence (ECAI'04), Valencia, Spain, August 22-27, 2004, pp. 987-988, IOS Press 2004, ISBN 1-58603-452-9 (by Artur S. d'Avila Garcez, Dov M. Gabbay and Luís C. Lamb). LC, NSC, AI

·       Luís C. Lamb. Review of Logics for Emerging Applications of Databases, by J. Chomicki, R. van der Meyden and G. Saake, eds. The Computer Journal, 47(4):505-506, July 2004. LC

·       A.S.d'Avila Garcez, Luis C. Lamb, K. Broda, D. M. Gabbay. Applying Connectionist Modal Logics to Distributed Knowledge Representation Problems. International Journal on Artificial Intelligence Tools (IJAIT), 13(1):115-139, March 2004. LC, AI, NCC, NSC

·       Artur S. d'Avila Garcez and Luis C. Lamb. Reasoning about time and knowledge in neural-symbolic learning systems. NIPS 2003. In Advances in Neural Information Processing Systems 16, Proceedings of the NIPS 2003 Conference, pp. 921-928, Vancouver, Canada, December  8-13.  S. Thrun, L. Saul and B. Schoelkopf (eds.), ISBN 0-262-20152-6 MIT Press,  2004.  ML, NCC, KR. A version of the paper is HERE.

·       A. S. d'Avila Garcez, Luis C. Lamb and D. M. Gabbay. Neural-Symbolic Intuitionistic Reasoning, In Frontiers in Artificial Intelligence and Applications, A. Abraham, M. Koppen and K. Franke (eds.), Proceedings of the Third International Conference on Hybrid Intelligent Systems (HIS'03), Melbourne, Australia,  Dec.2003, pp. 399-408, IOS Press, ISBN 1-58603-3948. NCC, LC, AI

·       Artur d'Avila Garcez, Luis C. Lamb, Krysia Broda and Dov Gabbay. Distributed Knowledge Representation in Neural-Symbolic Learning Systems: a Case Study. Proc. of the 16th International FLAIRS Conference, p. 271-275.  St. Augustine, FL.  Edited by  I. Russell and S. Haller. The American Association for Artificial Intelligence (AAAI) Press, 2003. AI, KR, ML, NCC

·       A. d'Avila Garcez, Luis C. Lamb and Dov M. Gabbay. A Connectionist Inductive Learning System for Modal Logic Programming (Extended Abstract). Proc. of the 9th International Conference on Neural Information Processing (ICONIP'2002), pp. 1992-1997, IEEE Catalog Number 02EX575, ISBN 981-04-7524-1. Singapore, Nov. 18-22, 2002. AI, ML, NCC

·       Krysia Broda, Dov M. Gabbay, Luís C. Lamb and Alessandra Russo. Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL, 10(2):123-163, Oxford University Press, March 2002(this is a summary of part one of my PhD thesis. A large paper, containing results of the second half of my thesis shall be submitted soon). LC, KR, NCC

·       A. d'Avila Garcez, Luís C. Lamb and Dov M. Gabbay. A Connectionist Inductive Learning System for Modal Logic Programming. Technical Report 2002/6, Department of Computing, Imperial College London, 2002, 18 pages.  ISSN (Print) 1469-4166, (Online) 1469-4174. AI, NSC,NCC

·       K. Broda, Dov Gabbay. Luís C. Lamb Labelled Natural Deduction for First-order Conditional Logic. Bulletin of Symbolic Logic, 7(2),167-168, Association for Symbolic Logic, March 2002 (Proc. Logic Colloquim 2001, Vienna, August 6-11) LC

·       Luís C. Lamb. A Review of Elementary Logics, a Procedural Perspective by D. M. Gabbay. Journal of Logic and Computation, 11(1), Oxford University Press, Feb. 2001. LC

·       Learning Parallel Computing Concepts via a Turing Machine Simulator (Luís Lamb, with Monica Py, Laira V. Toscani & Tiaraju A. Diverio). Proc. of the 13th Symposium on Computer Architecture and High Performance Computing, pp. 134-139, 2001. TC

Some Recent Papers in Portuguese (not up-to-date)

Extração de Conhecimento e Análise Visual de Redes Sociais. Carla MDS. Freitas, Luciana P. Nedel, Renata Galante, Luís C. Lamb, André S. Spritzer, Sérgio Fujii, José Palazzo M. de Oliveira, Ricardo M. Araújo, Mirella M. Moro. In: SEMISH 2008 - Seminário Integrado de Software e Hardware. XXVIII Congresso da Sociedade Brasileira de Computação. 12-18 Julho, 2008 Belém do Pará, Brasil. AI, ML.

Modelagem de sistemas computacionais complexos: em direção a uma fundamentação científica e aplicações tecnológicas. Luis C. Lamb, Aline Villavicencio, Roberto da Silva, Leila Ribeiro, Luciana Buriol, Marco Idiart. Proc. SEMISH 2007, Seminário Integrado de Software e Hardware, Congresso Nacional da Sociedade Brasileira de Computação, Junho de 2007. TC, NCC, CC

Aprendizado de máquina em sistemas complexos multiagentes: estudo de caso em um ambiente sob racionalidade limitada.  Ricardo M. Araujo e Luis C. Lamb (supervisor). Concurso de Teses e Dissertações em Inteligência Artificial, V Best MSc dissertation/ PhD thesis contest - CTDIA'2006, at XVIII Brazilian Artificial Intelligence Symposium/X Ibero-American Artificial Intelligence Conference, SBIA 2006/IBERAMIA 2006, Ribeirão Preto, Oct. 2006. ML, AI

Sobre tamanhos de memória no Minority Game (About memory sizes in the Minority Game) by Ricardo M. Araújo and Luís C. Lamb. V Encontro Nacional de Inteligência Artificial (ENIA 2005) - "Fifth Brazilian National Meeting on Artificial Intelligence 2005". São Leopoldo, Sociedade Brasileira de Computação, 25-29 July 2005, 10 pages (in Portuguese). ML, AI

Uma Ontologia Temporal para Modelagem de Conhecimento sobre Ordenação de Eventos (A Temporal Ontology for Modelling Event Ordering Knowledge) by Laura Mastella, Mara Abel, Luís C. Lamb, and Luiz F. De Ros. V Encontro Nacional de Inteligência Artificial (ENIA 2005) - "Fifth Brazilian National Meeting on Artificial Intelligence 2005". São Leopoldo, Sociedade Brasileira de Computação, 25-29 July 2005, 10 pages (in Portuguese). AI, KR

José Palazzo M. de Oliveira and Luís C. Lamb. A Revista de Informática Teórica e Aplicada e as Tecnologias de Informação. Revista de Informática Teórica e Aplicada, 11(2):5-8, Dec. 2004. SE

Daltro J. Nunes e Luís C. Lamb. As distorções do Estágio Curricular Obrigatório. Revista T & C Amazônia, vol. II, pp 49-53, 2003 (também publicado no Jornal da Ciência, SPBC, Rio de Janeiro, Parte I: vol. 2326, 23 Jul. 2003. Parte II: vol. 2327, 24 Jul. 2003).

Research Collaborators
Dov M Gabbay (King's College, London) Artur d'Avila Garcez (City University, London) Ricardo Araujo (UFPel) Krysia Broda (Imperial College London) Luciana Buriol(UFRGS) Luigi Carro (UFRGS) Flávio R. Wagner (UFRGS) Marcio Dorn (UFRGS) Leo de Penning (TNO Research, Netherlands) Roberto da Silva (Institute of Physics, UFRGS)

Professional Services
Co-Editor-in-Chief (as of 2004), Revista de Informática Teórica e Aplicada. Editorial board member: Journal of Algorithms in Cognition, Informatics and Logic (Elsevier, 2008-2010). Editorial Board Member, Logic Journal of the IGPL (Algorithms and Neural Networks, 2010--). Editorial Board Member of the Journal of the Brazilian Computer Society (JSBC, 2014--).

Acted as a referee for: Journal of Logic and Computation (Oxford Univ. Press), ACM Transactions on Computational Logic, Science of Computer Programming, Journal of Applied Logic (Elsevier), Logic Journal of the IGPL, Journal of Algorithms in Cognition, Informatics and Logic; Journal of the Brazilian Computer Society, Information Sciences (Elsevier),IEEE Transactions on Knowledge and Data Engineering, IEEE Transactions on Evolutionary Computation, Revista de Informática Teórica e Aplicada, and a large number of international conferences on Logic, Formal Methods, Artificial Intelligence, Software Engineering, and Neural Computation.
Referee of a large number of research proposals: Brazilian National Research Council (CNPq), Several Brazilian Universities, FAPERJ, CAPES - Brazilian Government's Post-Graduate Foundation, and others.

Professional memberships

AAAI (Association for the Advancement of Artificial Intelligence), Menlo Park, CA
ASL (Association for Symbolic Logic), Poughkeepsie NY 
ACM (Association for Computing Machinery), New York NY
City & Guilds College Association, London, UK
American Mathematical Society, Providence RI, USA
IEEE Computer Society
SBC (Brazilian Computing Society), Porto Alegre, RS

Recent Invited Research Visits
City University, Oct 2002; Mar/Apr 2003; Sept. 2003, Feb/March 2004, August 2004, Oct. 2006, Jan.’07; Jan-Feb’08; Jan-Feb.’09; Feb'10, Oct'11, Nov'12.
King's College, Jan/Feb2002; Oct. 2002; Mar/Apr 2003; Sept. 2003, Feb/March 2004, August 2004, 2005-2006; Jan-Feb 2007; Feb.’08; Feb’09.
Imperial College, Jan/Feb 2002; Mar/Apr 2003; Sept. 2003, Feb/March 2004
.

Erdös Number: 3 (Paul Erdös(0) - Saharon Shelah(1) - Dov Gabbay(2) – Luis Lamb (3))
Mathematics genealogy project entry
AI genealogy project entry
DBLP entry

Back to my so-called homepage