Research
Information - Luís C. Lamb
(permanently provisional)
Professor
Adjunto (US Associate
Professor), Deputy Dean of the
Currently
at the Department of Theoretical Informatics,
Honorary Visiting Fellow, City University,
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.
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 The Application of a Functional Programming Language to Interval
Mathematics, co-supervised by D.M. Claudio e V.M. Rodrigues)
Recent publications
I will be happy in sending you a copy of the items
listed below. Please email me: LuisLamb AT acm DOT org - NIPS-03, AAAI-07, AAAI-08, Dagstuhl08041
papers are available for download below.
Publication Areas: AI:
Artificial Intelligence; LC: Logic
and Computation; ML: Machine
learning; SE: Software engineering; ES: Embedded Systems; KR: Knowledge Representation; CC: Cognitive Computation; NCC: Non-Classical Computation; TC: Theoretical Computer Science.
Books authored
(research monographs on a single 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, TC, KR.
Books edited (This 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,
·
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,
Book chapter
·
Neural-Symbolic Systems and the
Case for Non-Classical Reasoning. (by
A. d'Avila Garcez and Luis
C. Lamb). 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,
Recent Selected Journal and Conference Papers (XXI
Century papers)
·
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
·
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. 23rd
IEEE International Conference on Advanced Information Networking and
Applications (AINA-09).
·
Memetic Networks:
Analyzing the effects of network properties in multi-agent performance.
Ricardo M. Araújo and Luís
C. Lamb. 23rd AAAI
Conference on Artificial Intelligence AAAI-08.
·
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. 20th IEEE
International Conference on Tools with Artificial Intelligence (ICTAI 2008).
Vol 1, pp.268-271,
·
Distributed
problem solving by memetic networks (extended
abstract). R.M. Araújo and Luis C.
Lamb. GECCO 2008: Genetic and
Evolutionary Computation Conference,
·
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,
·
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,
·
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,
·
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.,
·
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.
·
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.
·
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.
·
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,
·
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.,
·
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.
·
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,
·
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,
·
Argumentation Neural Networks. Proc. of 11th International
Conference on Neural Information Processing, ICONIP 2004,
·
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, 7(2),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, with Monica Py, Laira V. Toscani & Tiaraju A. Diverio). Proc. of
the 13th Symposium on Computer Architecture and
High Performance Computing, pp.
134-139, 2001. TC
Some Recent Papers in Portuguese
·
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).
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, 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,
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, Oct 2002; Mar/Apr 2003; Sept. 2003, Feb/March 2004, August 2004, Oct. 2006, Jan.’07; Jan-Feb’08;
Jan-Feb.’09.
King's College, Jan/Feb2002; Oct. 2002; Mar/Apr 2003; Sept. 2003, Feb/March 2004, August 2004, 2005-2006; Jan-Feb 2007; Feb.’08; Feb’09.
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