Research Information - Luís C. Lamb
(permanently provisional)

Professor Associado (US Associate Professor) and Dean (Director) of the Institute of Informatics, UFRGS

Currently at the 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.
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 Application of a Functional Programming Language to Interval Mathematics, supervised by D.M. Claudio & 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 - NIPS-03, AAAI-07, AAAI-08, Dagstuhl08041 papers are available for download below.

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; SC: Social and Human Computing; SE: Software engineering; TCS: Theoretical Computer Science;

Books authored (research monographs on a single research 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, TCS, KR.

Books Edited

(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, TCS.  

• 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, TCS.

• 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

Book Chapters

• 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, AI

• A. d'Avila Garcez and Luis C. Lamb. Neural-Symbolic Systems and the Case for Non-Classical Reasoning. 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, College Publications, London, UK, 2005, ISBN 1-904987-25-7. LC, AI, NCC.

Recent Journal and Conference Publications (XXI Century papers)

• 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, NCC

• 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. LC, TCS, AI, SE

• Roberto da Silva, Luis Lamb, Eder Lima and Jairton Dupont. A simple combinatorial method to describe particle retention time in random media with applications in chromatography, Physica A, 391(1-2):1-7, 2012, CM.

• Collaboration Emergence in Social Networks with Informational Natural Selection. Daniel Farenzena, Ricardo M. Araujo and Luis C. Lamb. 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

• 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. SE, ML, AI, LC

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

• Formalizing Traceability Relations for Product Lines. Luis Lamb, Waraporn Jirapanthong, Andrea Zisman. In 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

• 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 24^th 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

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

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

• David W. Aha, Mark Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher Geib, Piotr Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles Isbell, Darsana Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luis C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Halevy, Lilyana Mihalkova, Sriraam Natarajan.Reports of the AAAI 2010 Conference Workshops. AI Magazine, 31(4):94-104, 2010. AI

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

• Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. D.S. Farenzena, Luis C. Lamb and Ricardo M. Araújo. 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 10^th IEEE International Conference on Computer and Information Technology CIT 2010: pp. 2381-2386. http://doi.ieeecomputersociety.org/10.1109/CIT.2010.409 SE, ES

• 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.

• 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. 23^rd 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.

• Memetic Networks: Analyzing the effects of network properties in multi-agent performance. Ricardo M. Araújo and Luís C. Lamb. 23^rd 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.

• 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, CC, NCC.

• On the effects of network structure in population-based optimization. Ricardo M. Araújo and Luis C. Lamb. Proc. 20^th 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.

• 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, CC, NCC. A version of the paper is HERE.

• 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, AI, NCC, TC

• 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.

• 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. AI, ML,TC. A version of the paper is here.

• 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, 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, NCC, 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, NCC

• 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, 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, 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

• 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, AI

• 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

• 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, 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.

• 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, NCC

• K. Broda, Dov Gabbay. Luís C. Lamb Labelled Natural Deduction for First-order Conditional Logic. Bulletin of Symbolic Logic, 8(1),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, Monica Py, L. Toscani & T.A. Diverio). Proc. of the 13th Symposium on Computer Architecture and High Performance Computing (SBAC2001), 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).

Some of my Friends and Research Collaborators
Dov M Gabbay (King's College, London)  Artur d'Avila Garcez (City University, London)  Krysia Broda (Imperial College London) Rafael Bordini (UFRGS) Luigi Carro (UFRGS)  F.R. Wagner (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-).
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 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, etc.

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 London, Oct 2002; Mar/Apr 2003; Sept. 2003, Feb/March 2004, August 2004, Oct. 2006, Jan.’07; Jan-Feb’08; Jan-Feb.’09; Feb'10.
King's College London, 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 London, 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