Luís C. Lamb DIC, PhD
Professor, Department of Theoretical Informatics, Institute of Informatics - UFRGS
Research Interests -Logic in Computation and Artificial Intelligence. -Machine learning, neural and cognitive computation: Integration of Learning and Reasoning. Neural-Symbolic Computation. -AI and Social Computing: Complex Networks Models; Social Problem-Solving. -Formal methods in embedded systems. Computing in the Physical and Social Sciences.
Short Bio My photograph
Information about my research, including a brief CV and recent publications.
Correspondence from Professor D.E. Knuth
Some online papers – further publications are in this link:
Neural computation; cognitive reasoning; (includes a full solution to the Muddy Children Puzzle): Reasoning about time and knowledge in neural-symbolic learning systems (A.d’Avila Garcez & Luis C. Lamb, Proc. NIPS 2003, pp. 921-928; Vancouver CA, MIT Press 2004).
Cognitive computation; temporal synchronization and learning in cognitive models: A connectionist cognitive model for temporal synchronisation and learning. (L.C. Lamb; R.V Borges; A. d’Avila Garcez; Proc. AAAI-07, pp. 827-832, Vancouver CA, AAAI Press 2007)
Minority game; memory/resource use in Minority Games: An information-theoretic analysis of memory bounds in a distributed resource allocation mechanism. (R.M. Araújo; L.C. Lamb; Proc. IJCAI-07, pp. 212-217, Hyderabad IN, AAAI Press 2007)
Social computing: Memetic Networks: analyzing the effects of network properties in multi-agent performance (R.M. Araújo & L.C. Lamb, Proc. AAAI-08, pp. 3-8, Chicago, AAAI Press 2008).
Neural-symbolic Computation; cognitive computation: A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. L. de Penning; A.S. d'Avila Garcez, Luis C. Lamb and J.J. Ch. Meyer, Proc. IJCAI-11, Barcelona, July 16-22, 2011.
Social problem-solving; collaboration. 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, Nov. 6-9, 2013.
Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency. D.V. Noble; M.R. Prates, D.S. Bossle and Luis Lamb. Proc. 29th AAAI Conference on Artificial Intelligence AAAI-15, Austin, TX, Jan. 2015.
Some journal papers on AI, Machine Learning, and Logic (copyrighted material):
Rafael de Santiago, Luis Lamb. Efficient Modularity Density Heuristics for Large Graphs. European Journal of Operational Research, 258(3):844-865, 2017.
Rafael de Santiago and Luis C. Lamb. Exact Computational Solution of Modularity Density Maximization by Effective Column Generation. Computers and Operations Research, 2017.
T.R. Besold, A. d'Avila Garcez and Luis C. Lamb. Human-Like Neural-Symbolic Computing. Dagstuhl Reports 7(5):56-83, 2017.
R. da Silva, P. Valverde, Luis Lamb: Randomness and Arbitrary Coordination in the Reactive Ultimatum Game. Communications in Nonlinear Science and Numerical Simulation, 2016.
D.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), 2016.
R. da Silva, Luis Lamb, M.C. Barbosa. Universality, correlations, and rankings in the Brazilian universities national admission examinations. Physica A, 2016.
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.
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, 12(2):109-127, 2014.
Marcio Dorn, M. Barbachan e Silva, Luciana Buriol and Luis Lamb. Three-dimensional protein structure prediction: Methods and computational strategies. Computational Biology and Chemistry, Vol. 53, Part B:251–276,2014.
R. da Silva; M. Vainstein; L.C. Lamb; S. Prado. A simple non-Markovian computational model of the statistics of soccer leagues: Emergence and scaling effects. Computer Physics Communications, Vol.184(3):661-670, 2013.
Borges, d'Avila Garcez, Lamb. Learning and Representing Temporal Knowledge in Recurrent Networks. IEEE Transactions on Neural Networks and Learning Systems, vol 22(12):2409-2421, 2011.
da Silva, Zembrzurski, Correa, and Lamb: Stock Markets and Criticality in the Current Economic Crisis. Physica A: Statistical Mechanics and its Applications, v. 389, p. 5460-5467, 2010.
Araújo and Lamb: On the Use of Memory and Resources in Minority Games. ACM Transactions on Autonomous and Adaptive Systems 4(2):1-23, May 2009.
Da Silva; Kellermann; Lamb: Statistical fluctuations in population bargaining in the ultimatum game: static and evolutionary aspects. Jnl. of Theoretical Biology,258(2):208-218,2009.
Borges; d’Avila Garcez; Lamb: A neural-symbolic perspective on analogy. Behavioral and Brain Sciences 2008, 371(4):379-380,(Cambridge Univ. Press link)
d’Avila Garcez; Lamb; Gabbay: Connectionist Modal Logic: Representing Modalities in Neural Networks, Theor. Comput. Sci. 2007, 371(1-2):34-53, 2007(Elsevier link)
d’Avila Garcez; Lamb; Gabbay: Connectionist computations of intuitionistic reasoning, Theoretical Computer Science 2006, 358(1):34-55.
d’Avila Garcez and Lamb: A Connectionist Computational Model for Epistemic and Temporal Reasoning, Neural Computation 2006, 18(7):1711-1738, please click here (MIT Press link)
d’Avila Garcez; Gabbay; Lamb: Value-based argumentation frameworks as Neural-Symbolic Learning Systems, Jnl. Log. Comput.2005, 15(6):1041-1058 please click here (Oxford U.Press link)
Broda; Gabbay; Lamb; Russo: Labelled Natural deduction for conditional logics of normality. Logic Jnl. IGPL 2002 10(2):123-163 (Oxford Univ. Press link)
Book Neural-Symbolic Cognitive Reasoning by A.d’Avila Garcez, Luis Lamb and Dov Gabbay. Cognitive Technologies, Springer 2009. Click here for details.
I have (not so) recently co-authored this research monograph on non-classical logics:
Labelled Deductive Systems: A Uniform Presentation of Non-Classical
Logics (K. Broda, D. M. Gabbay, Luis C. Lamb, and A. Russo)
ISBN 0 86380 296 6
Research Studies Press , Hertfordshire, England
Institute of Physics Publishing, Philadelphia 2004
have not so recently co-edited the following volumes:
Table of contents, Vol. One
Table of contents, Vol. Two
Recent professional services:
Cognitive Technologies – Book Series – SpringerNature – Editorial Board Member (Cognitive Reasoning) Logic Journal of the IGPL(Editorial Board Member) Revista de Informática Teórica e Aplicada (RITA) Co-Editor-in-chief Journal of The Brazilian Computer Society (Editorial Board Member)
Senior Programme Committee Member:
IJCAI-ECAI 2018 - The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence – Federated AI Meeting, Stockholm, July 13-19, 2018.
Associate Track Editor:
Journal of Artificial Intelligence Research: Special Track on Deep Learning, Knowledge Representation, and Reasoning
Co-organizer: Dagstuhl Seminar 17192: Human-Like Neural-Symbolic Computing – May 7-12, 2017
Co-organizer: Dagstuhl Seminar 14381: Neural-Symbolic Learning and Reasoning,14-19 September 2014
NeSy'17: 12th International Workshop on Neural-Symbolic Learning and Reasoning
31st AAAI Conference on Artificial Intelligence AAAI-17 30th AAAI Conference on Artificial Intelligence AAAI-16 11th International Workshop on Neural-Symbolic Learning and Reasoning NeSy'16 (Co-organizer) 24th International Joint Conference on Artificial Intelligence (IJCAI-15) 10th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'15 at IJCAI-15 - Co-organizer) 2014 ASE/IEEE International Conferecence on Social Computing SocialCom 2014 IJCAI-13: 23rd International Joint Conference on Artificial Intelligence IJCAI-13 9th International Workshop on Neural-Symbolic Learning and Reasoning NeSy'13 at IJCAI-13 2013 ASE/IEEE International Conference on Social Computing - SocialCom 2013 AAAI-12 Eight International Workshop on Neural-Symbolic Learning and Reasoning NeSy'12 at AAAI-12 2012 ASE/IEEE International Conference on Social Computing SocialCom'12 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012) Eleventh International Conference on Autonomous Agents and Multiagent Systems Fourth International Conference on Agents and Artificial Intelligence IJCAI-11 Seventh International Workshop on Neural-Symbolic Learning and Reasoning NeSy'11 at IJCAI-11 The Tenth International Conference on Autonomous Agents and Multiagent Systems Third International Conference on Agents and Artificial Intelligence ICAART 2011 IJCNN2011 International Joint Conference on Neural Networks LSFA 2011: Sixth Workshop on Logical and Semantic Frameworks, with Applications SEMISH2011 at the XXXI Congress of the Brazilian Computer Society (CSBC2011) ENIA2011 VIII Encontro Brasileiro de Inteligência Artificial (Brazilian Meeting on AI) at CSBC2011 The 9th International Conference on Autonomous Agents and Multiagent Systems IJCNN 2010: IEEE International Joint Conference on Neural Networks AAAI-10 Sixth International Workshop on Neural-Symbolic Learning and Reasoning NeSy’10: (NeSy’10 at AAAI-10) MOMPES 2010: Seventh International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, at ASE 2010. LSFA2010: Fifth Workshop on Logical and Semantic Frameworks, with Applications SEMISH 2010 at the XXX Congress of the Brazilian Computer Society (CSBC2010) SBIA2010: Twientieth Brazilian Symposium on Artificial Intelligence SBRN2010: Eleventh Brazilian Symposium on Artificial Neural Networks WSRCC2010: Second International Workshop on Software Research and Climate Change, at ICSE 2010, Cape Town. 2009 International Joint Conference on Neural Networks – IJCNN2009 LAGOS 09 Fifth Latin-American Algorithms, Graphs and Optimization Symposium NeSy’09- Fifth International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI-09 MOMPES-09 Sixth International Workshop on Model-based Methodologies for Pervasive and Embedded Software at ICSE 2009 LSFA 2009 Fourth Workshop on Logical and Semantic Frameworks, with Applications SEMISH 2009 at XXIX Congress of the Brazilian Computer Society (SBC) SBMF 2009 Brazilian Symposium on Formal Methods ENIA 2009 VII Brazilian AI Meeting (Encontro Nacional de Inteligência Artificial) NeSy’08 Fourth International Workshop on Neural-Symbolic Learning and Reasoning at ECAI 2008 Dagstuhl Seminar 08041: Recurrent Neural Networks: Models, Capacities and Applications Brazilian Symposium on Artificial Intelligence SBIA 2008 Brazilian Symposium on Formal Methods SBMF 2008 NeSy'07 Third International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI 2007 10th Brazilian Symposium on Formal Methods - SBMF 2007 VI Brazilian Meeting on Artificial Intelligence - ENIA 2007 NeSy'06 Second International Workshop on Neural-Symbolic Learning and Reasoning at ECAI 2006 NeSy'05 First International Workshop on Neural-Symbolic Learning and Reasoning at IJCAI 2005
aqui para Informações se você está interessado em pesquisa
for prospective students, in Portuguese)
Responsabilidades de orientadores e orientandos.
The greatest football team in the world
Contatos (Contact details):
Dr Luís C. Lamb
Departmento de Informática Teórica e-mail: LuisLamb AT acm DOT org
Instituto de Informatica, UFRGS New Telephone: +55 (51) 3308 9464 (Direct dial)/+55(51)3308 7019
Av. Bento Gonçalves 9500 Fax: + 55(51) 3308 7308
Porto Alegre, RS, Brazil
A few interesting links (before social media sites, massive search, blogs and the like people would suggest such links, typically in their 1990s pages)
you interested in logic,
mathematics and computing (including their history)? Here you will
find useful links...
The British Library
The British Museum
The Rare Book Room (abebooks)
Philosophy resources on the internet
History of Mathematics (The MacTutor History of Mathematics Archive, St. Andrews, Scotland)
The National Gallery, London
Here is an ancient homepage... not up-to-date.