Department of Theoretical Informatics - Institute of Informatics - UFRGS
Luís C. Lamb DIC, PhD
Department
of Theoretical Informatics - Institute
of Informatics - UFRGS
Research Interests -Artificial Intelligence and Social Computing: Social Networks Models; Social Problem-Solving. -Neural and Cognitive Computation: Learning and Reasoning. Neural-Symbolic Computation. -Logic in Computation and Artificial Intelligence. -Computing in the Physical and Social Sciences. -Formal methods in embedded systems.
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:
Compiled
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
I
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 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012) Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) Fourth International Conference on Agents and Artificial Intelligence ICAART 2012 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: 20th Brazilian Symposium on Artificial Intelligence SBRN2010: 11th 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
Orientação (Supervision)
Clique
aqui para Informações se você está interessado em pesquisa
conjunta/orientação(information
for prospective students, in Portuguese)
Responsabilidades
de orientadores e orientandos.
Administração (Administration)
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
91501-970
Porto
Alegre, RS, Brazil
A few interesting links...
Are
you interested in logic,
mathematics and computing (including their history)? Here you will
find useful links...
The British
Library
The
British Museum
Musée
d'Orsay
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.
"The
empires of the future
are
the empires of the
mind".
"It
is a good thing for an uneducated man to read books of
quotations."
Winston
S. Churchill
