Luís C. Lamb DIC, PhD
Professor, Department of Theoretical Informatics, Institute of Informatics - UFRGS
Research Interests -Logic in Computation and Artificial Intelligence. -AI and Social Computing: Complex Networks Models; Social Problem-Solving. -Neural and Cognitive Computation: Learning and Reasoning. Neural-Symbolic Computation. -Computing in the Physical and Social Sciences. -Formal methods in embedded systems.
Short Bio My photograph
Information about my research, including a brief CV and recent publications.
Correspondence from Professor D.E. Knuth
Some online papers:
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)
Some papers on logics, neural/cognitive computation, and AI (copyrighted material):
Broges, 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)
New 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:
Logic Journal of the IGPL(Editorial Board Member) Revista de Informática Teórica e Aplicada (RITA): Co-Editor-in-chief 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 Internationa 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 AAMAS 2011 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 AAMAS 2010 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...
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.
empires of the future
the empires of the
"It is a good thing for an uneducated man to read books of quotations."
Winston S. Churchill