Luís C. Lamb DIC, PhD
Provisional Homepage
Department of Theoretical Informatics - Institute
of Informatics - UFRGS
Research Interests
-Logic in Computation and Artificial Intelligence
Logics in
Computer Science and AI. Knowledge Representation and
Reasoning; Non-Classical Computation/Logics; Labelled
Deductive Systems (LDS).
-Neural
and Cognitive Computation: Cognitive/Neural Learning and Reasoning. Machine
Learning. Neural-Symbolic Computation. Connectionist Non-Classical Logics.
-Artificial Intelligence and Social Computing: Social Networks Models and Algorithms.
-Formal methods in embedded systems.
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).
Some papers on logics, neural/cognitive computation,
and AI (copyrighted material):
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,
Borges; d’Avila
Garcez; Lamb: A
neural-symbolic perspective on analogy. Behavioral
and Brain Sciences 2008, 371(4):379-380, please click here (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 ,
please click here (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)
Click
here for additional information about my research, including a brief CV and recent
publications. A photograph
Correspondence from
Professor D.E. Knuth
New book: Neural-Symbolic
Cognitive Reasoning by A.d’
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:
Journal
of Algorithms in Cognition, Informatics and Logics
Revista de Informática
Teórica e Aplicada (RITA)
The 9th
International Conference on Autonomous Agents and Multiagent
Systems AAMAS 2010
SEMISH 2010 at the
XXX Congress of the Brazilian Computer Society (CSBC2010)
2009 International
Joint Conference on Neural Networks – IJCNN2009
LAGOS 09 5th Latin-American Algorithms, Graphs
and Optimization Symposium
NeSy’09-
5th International Workshop on Neural-Symbolic Learning and Reasoning
at IJCAI-09
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
4th 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
3rd 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
