default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuís C. Lamb
Luís da Cunha Lamb
Refine list
refinements active!
zoomed in on 152 of 152 records
view refined list in
export refined list as
showing all 152 records
refine by search term
refine by type
- |
- no options
- temporarily not available
refine by coauthor
- no options
- temporarily not available
refine by orcid
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by access 
- no options
- temporarily not available
2020 – today
- 2025
[i31]Breno W. Carvalho, Artur S. d'Avila Garcez, Luís C. Lamb, Emilio Vital Brazil:
Grokking Explained: A Statistical Phenomenon. CoRR abs/2502.01774 (2025)- 2024
- [j35]Pedro Foletto Pimenta, Pedro H. C. Avelar, Luís C. Lamb:
Solving the kidney exchange problem via graph neural networks with no supervision. Neural Comput. Appl. 36(25): 15373-15388 (2024) - [j34]Tiago Andres Vaz, José Miguel Silva Dora, Luís da Cunha Lamb, Suzi Alves Camey:
Ontology for Healthcare AI Privacy in Brazil. RITA 31(2): 100-109 (2024) - 2023
- [j33]Artur d'Avila Garcez, Luís C. Lamb
:
Neurosymbolic AI: the 3rd wave. Artif. Intell. Rev. 56(11): 12387-12406 (2023) - [j32]Rafael Baldasso Audibert, Henrique Lemos, Pedro H. C. Avelar, Anderson R. Tavares, Luís C. Lamb:
On the Evolution of AI and Machine Learning: Towards a Meta-level Measuring and understanding Impact, Influence and Leadership at Premier AI Conferences. FLAP 10(5): 693-817 (2023) - [c76]Pedro Foletto Pimenta, Pedro H. C. Avelar, Luís C. Lamb:
Graph Neural Networks with No Supervision and Heuristics for the Kidney-Exchange Problem. ICTAI 2023: 258-262 - [p2]Ana L. C. Bazzan, Anderson R. Tavares, André G. Pereira, Cláudio R. Jung, Jacob Scharcanski, Joel Luís Carbonera, Luís C. Lamb, Mariana Recamonde Mendoza, Thiago L. T. da Silveira, Viviane P. Moreira:
"A Nova Eletricidade": Aplicações, Riscos e Tendências da IA Moderna. Escola de Computação PPGC/UFRGS 50 Anos 2023: 167-209 - [e6]Marianna Bergamaschi Ganapini, Lior Horesh, Luís C. Lamb, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, Kristen Brent Venable:
Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, a AAAI 2022 Fall Symposium, Westin Arlington Gateway in Arlington, Virginia, November 17-19, 2022. CEUR Workshop Proceedings 3332, CEUR-WS.org 2023 [contents] - [i30]Tiago Andres Vaz, José Miguel Silva Dora, Luís da Cunha Lamb, Suzi Alves Camey:
Ontology for Healthcare Artificial Intelligence Privacy in Brazil. CoRR abs/2304.07889 (2023) - [i29]João M. Flach, Luís C. Lamb:
A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming. CoRR abs/2304.09276 (2023) - [i28]Pedro Foletto Pimenta, Pedro H. C. Avelar, Luís C. Lamb:
Solving the Kidney-Exchange Problem via Graph Neural Networks with No Supervision. CoRR abs/2304.09975 (2023) - [i27]Ana L. C. Bazzan, Anderson R. Tavares, André G. Pereira, Cláudio R. Jung, Jacob Scharcanski, Joel Luis Carbonera, Luís C. Lamb, Mariana Recamonde Mendoza, Thiago L. T. da Silveira, Viviane P. Moreira:
"A Nova Eletricidade: Aplicações, Riscos e Tendências da IA Moderna - "The New Electricity": Applications, Risks, and Trends in Current AI. CoRR abs/2310.18324 (2023) - 2022
- [c75]Pedro H. C. Avelar, Rafael Baldasso Audibert, Luís C. Lamb:
Measuring Ethics in AI with AI: A Methodology and Dataset Construction. BRACIS (1) 2022: 370-384 - [i26]Rafael Baldasso Audibert, Henrique Lemos dos Santos, Pedro H. C. Avelar, Anderson R. Tavares, Luís C. Lamb:
On the Evolution of A.I. and Machine Learning: Towards Measuring and Understanding Impact, Influence, and Leadership at Premier A.I. Conferences. CoRR abs/2205.13131 (2022) - [i25]Breno W. Carvalho, Artur d'Avila Garcez, Luís C. Lamb:
Graph-based Neural Modules to Inspect Attention-based Architectures: A Position Paper. CoRR abs/2210.07117 (2022) - 2021
- [c74]Breno W. Carvalho, Artur S. d'Avila Garcez, Luís C. Lamb:
Graph-Based Neural Modules to Inspect Attention-Based Architectures, A Position Paper. TFSOCTAI@AAAI Fall Symposium 2021 - [c73]Pedro H. C. Avelar, Anderson R. Tavares, Marco Gori, Luís C. Lamb:
Discrete and Continuous Deep Residual Learning over Graphs. ICAART (2) 2021: 119-131 - [c72]Luís C. Lamb:
Keynote: Neurosymbolic AI: An Overview. MLSMKG@PKDD/ECML 2021 - [p1]Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha:
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. Neuro-Symbolic Artificial Intelligence 2021: 1-51 - [i24]Pedro H. C. Avelar, Rafael Baldasso Audibert, Anderson R. Tavares, Luís C. Lamb:
Measuring Ethics in AI with AI: A Methodology and Dataset Construction. CoRR abs/2107.11913 (2021) - 2020
- [j31]Rafael de Santiago, Luís C. Lamb:
A ground truth contest between modularity maximization and modularity density maximization. Artif. Intell. Rev. 53(6): 4575-4599 (2020) - [j30]Roberto da Silva, Pablo Valverde, Luís C. Lamb:
A Reactive-Darwinian Model for the ultimatum game: On the dominance of moderation in high diffusion. Commun. Nonlinear Sci. Numer. Simul. 80: 104956 (2020) - [j29]Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb:
Assessing gender bias in machine translation: a case study with Google Translate. Neural Comput. Appl. 32(10): 6363-6381 (2020) - [c71]Rafael de Santiago, Luís C. Lamb:
Exact Signed Modularity Density Maximization Solutions and Their Real Meaning*. CEC 2020: 1-7 - [c70]Henrique Lemos, Pedro H. C. Avelar, Marcelo O. R. Prates, Artur S. d'Avila Garcez, Luís C. Lamb:
Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases. ICANN (1) 2020: 647-659 - [c69]Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. IJCAI 2020: 4877-4884 - [c68]Pedro H. C. Avelar, Anderson R. Tavares, Thiago L. T. da Silveira, Cláudio R. Jung, Luís C. Lamb:
Superpixel Image Classification with Graph Attention Networks. SIBGRAPI 2020: 203-209 - [i23]Pedro H. C. Avelar, Anderson R. Tavares, Thiago L. T. da Silveira, Cláudio R. Jung, Luís C. Lamb:
Superpixel Image Classification with Graph Attention Networks. CoRR abs/2002.05544 (2020) - [i22]Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi:
Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. CoRR abs/2003.00330 (2020) - [i21]Henrique Lemos, Pedro H. C. Avelar, Marcelo O. R. Prates, Luís C. Lamb, Artur S. d'Avila Garcez:
Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases. CoRR abs/2005.02525 (2020) - [i20]Anderson R. Tavares, Pedro H. C. Avelar, João M. Flach, Márcio Nicolau, Luís C. Lamb, Moshe Y. Vardi:
Understanding Boolean Function Learnability on Deep Neural Networks. CoRR abs/2009.05908 (2020) - [i19]Artur S. d'Avila Garcez, Luís C. Lamb:
Neurosymbolic AI: The 3rd Wave. CoRR abs/2012.05876 (2020) - no results
2010 – 2019
- 2019
- [j28]Felipe Grando, Lisandro Zambenedetti Granville, Luís C. Lamb:
Machine Learning in Network Centrality Measures: Tutorial and Outlook. ACM Comput. Surv. 51(5): 102:1-102:32 (2019) - [j27]Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran:
Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. FLAP 6(4): 611-632 (2019) - [c67]Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi:
Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP. AAAI 2019: 4731-4738 - [c66]Rafael de Santiago, Fernando Concatto, Luís C. Lamb:
On the Role of Central Individuals in Influence Propagation. ICAART (2) 2019: 103-111 - [c65]Pedro H. C. Avelar, Henrique Lemos, Marcelo O. R. Prates, Luís da Cunha Lamb:
Multitask Learning on Graph Neural Networks: Learning Multiple Graph Centrality Measures with a Unified Network. ICANN (Workshop) 2019: 701-715 - [c64]Henrique Lemos, Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb:
Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems. ICTAI 2019: 879-885 - [i18]Pedro H. C. Avelar, Henrique Lemos, Marcelo O. R. Prates, Marco Gori, Luís C. Lamb:
Typed Graph Networks. CoRR abs/1901.07984 (2019) - [i17]Henrique Lemos, Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb:
Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems. CoRR abs/1903.04598 (2019) - [i16]Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran:
Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. CoRR abs/1905.06088 (2019) - [i15]Pedro H. C. Avelar, Anderson R. Tavares, Marco Gori, Luís C. Lamb:
Discrete and Continuous Deep Residual Learning Over Graphs. CoRR abs/1911.09554 (2019) - 2018
- [c63]Rudson Francisco Da Silva Mendes, Rafael de Santiago, Luís C. Lamb:
Novel Parallel Anytime A* for Graph and Network Clustering. CEC 2018: 1-6 - [c62]Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb:
On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals. GCAI 2018: 188-201 - [c61]Felipe Zilio, Marcelo O. R. Prates, Luís C. Lamb:
Neural Networks Models for Analyzing Magic: The Gathering Cards. ICONIP (2) 2018: 227-239 - [c60]Willian Heitor Martins, Lucia Helena Souza Alves de Santiago, Rafael de Santiago, Luís C. Lamb:
Effective Ant Colony Optimization Solution for the Brazilian Family Health Team Scheduling Problem. ICTAI 2018: 493-497 - [c59]Marcelo O. R. Prates, Luís C. Lamb:
Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition. ICTAI 2018: 686-693 - [c58]Felipe Grando, Luís C. Lamb:
Computing Vertex Centrality Measures in Massive Real Networks with a Neural Learning Model. IJCNN 2018: 1-8 - [c57]Felipe Grando, Luís C. Lamb:
On the Effectiveness of the Block Two-Level Erdős-Rényi Generative Network Model. ISCC 2018: 360-365 - [i14]Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb:
Assessing Gender Bias in Machine Translation - A Case Study with Google Translate. CoRR abs/1809.02208 (2018) - [i13]Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi:
Learning to Solve NP-Complete Problems - A Graph Neural Network for the Decision TSP. CoRR abs/1809.02721 (2018) - [i12]Pedro H. C. Avelar, Henrique Lemos, Marcelo O. R. Prates, Luís C. Lamb:
Multitask Learning on Graph Neural Networks - Learning Multiple Graph Centrality Measures with a Unified Network. CoRR abs/1809.07695 (2018) - [i11]Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb:
On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals. CoRR abs/1809.08328 (2018) - [i10]Marcelo O. R. Prates, Luís C. Lamb:
Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition. CoRR abs/1810.03742 (2018) - [i9]Felipe Zilio, Marcelo O. R. Prates, Luís C. Lamb:
Neural Networks Models for Analyzing Magic: the Gathering Cards. CoRR abs/1810.03744 (2018) - [i8]Felipe Grando, Lisandro Zambenedetti Granville, Luís C. Lamb:
Machine Learning in Network Centrality Measures: Tutorial and Outlook. CoRR abs/1810.11760 (2018) - [i7]Felipe Grando, Diego Noble, Luís C. Lamb:
An Analysis of Centrality Measures for Complex and Social Networks. CoRR abs/1811.01317 (2018) - [i6]Felipe Grando, Luís C. Lamb:
Computing Vertex Centrality Measures in Massive Real Networks with a Neural Learning Model. CoRR abs/1811.12809 (2018) - 2017
- [j26]Rafael de Santiago, Luís C. Lamb:
Exact computational solution of Modularity Density Maximization by effective column generation. Comput. Oper. Res. 86: 18-29 (2017) - [j25]Rafael de Santiago, Luís C. Lamb:
Efficient modularity density heuristics for large graphs. Eur. J. Oper. Res. 258(3): 844-865 (2017) - [c56]Rafael Schmitt, Pedro Ramos, Rafael de Santiago, Luís C. Lamb:
Novel Clique enumeration heuristic for detecting overlapping clusters. CEC 2017: 1390-1397 - [c55]Rafael de Santiago, Luís C. Lamb:
Efficient quantitative heuristics for graph clustering. GECCO (Companion) 2017: 117-118 - [c54]Fernando Concatto, Wellington Zunino, Luigi A. Giancoli, Rafael de Santiago, Luís C. Lamb:
Genetic algorithm for epidemic mitigation by removing relationships. GECCO 2017: 761-768 - [i5]Fernando Concatto, Wellington Zunino, Luigi A. Giancoli, Rafael de Santiago, Luís C. Lamb:
Genetic Algorithm for Epidemic Mitigation by Removing Relationships. CoRR abs/1707.05377 (2017) - [i4]Tarek R. Besold, Artur S. d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro M. Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luís C. Lamb, Daniel Lowd, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha:
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR abs/1711.03902 (2017) - [i3]Tarek R. Besold, Artur S. d'Avila Garcez, Luís C. Lamb:
Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192). Dagstuhl Reports 7(5): 56-83 (2017) - 2016
- [j24]Roberto da Silva, Pablo Valverde, Luís C. Lamb:
Randomness and arbitrary coordination in the reactive ultimatum game. Commun. Nonlinear Sci. Numer. Simul. 36: 419-430 (2016) - [j23]Daniel Scain Farenzena, Luís da Cunha Lamb, Ricardo Matsumura de Araújo:
The cost of search and evaluation in online problem-solving social networks with financial and non-financial incentives. First Monday 21(8) (2016) - [c53]Rafael de Santiago, Luís C. Lamb:
On the role of degree influence in suboptimal modularity maximization. CEC 2016: 4618-4625 - [c52]Rafael de Santiago, Luís C. Lamb:
Efficient Stochastic Local Search for Modularity Maximization. GECCO (Companion) 2016: 51-52 - [c51]Felipe Grando, Diego Noble, Luís C. Lamb:
An Analysis of Centrality Measures for Complex and Social Networks. GLOBECOM 2016: 1-6 - [c50]Rafael de Santiago, Wellington Zunino, Fernando Concatto, Luís C. Lamb:
A New Model and Heuristic for Infection Minimization by Cutting Relationships. ICONIP (2) 2016: 500-508 - [c49]Felipe Grando, Luís C. Lamb:
On approximating networks centrality measures via neural learning algorithms. IJCNN 2016: 551-557 - [e5]Tarek R. Besold, Luís C. Lamb, Luciano Serafini, Whitney Tabor:
Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), New York City, NY, USA, July 16-17, 2016. CEUR Workshop Proceedings 1768, CEUR-WS.org 2016 [contents] - 2015
- [c48]Diego Noble, Marcelo O. R. Prates, Daniel Bossle, Luís C. Lamb:
Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency. AAAI 2015: 1277-1283 - [c47]Artur S. d'Avila Garcez, Tarek R. Besold, Luc De Raedt, Peter Földiák, Pascal Hitzler, Thomas Icard, Kai-Uwe Kühnberger, Luís C. Lamb, Risto Miikkulainen, Daniel L. Silver:
Neural-Symbolic Learning and Reasoning: Contributions and Challenges. AAAI Spring Symposia 2015 - [c46]Diego Vrague Noble, Felipe Grando, Ricardo Matsumura de Araújo, Luís da Cunha Lamb:
The Impact of Centrality on Individual and Collective Performance in Social Problem-Solving Systems. GECCO 2015: 73-80 - [c45]Felipe Grando, Luís C. Lamb:
Estimating complex networks centrality via neural networks and machine learning. IJCNN 2015: 1-8 - 2014
- [j22]Márcio Dorn, Mariel Barbachan e Silva, Luciana S. Buriol, Luís C. Lamb:
Three-dimensional protein structure prediction: Methods and computational strategies. Comput. Biol. Chem. 53: 251-276 (2014) - [j21]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. 12(2): 109-127 (2014) - [j20]Márcio Dorn, Luciana S. Buriol, Luís C. Lamb:
MOIRAE: A computational strategy to extract and represent structural information from experimental protein templates. Soft Comput. 18(4): 773-795 (2014) - [c44]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
Neural-symbolic cognitive agents: architecture, theory and application. AAMAS 2014: 1621-1622 - [c43]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer:
Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. IJCNN 2014: 55-62 - [i2]Artur 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 (2014) - 2013
- [j19]Roberto da Silva, Mendeli H. Vainstein, Luís C. Lamb, Sandra D. Prado:
A simple non-Markovian computational model of the statistics of soccer leagues: Emergence and scaling effects. Comput. Phys. Commun. 184(3): 661-670 (2013) - [j18]Márcio Dorn, Luciana S. Buriol, Luís C. Lamb:
A molecular dynamics and knowledge-based computational strategy to predict native-like structures of polypeptides. Expert Syst. Appl. 40(2): 698-706 (2013) - [j17]Rafael K. de Andrades, Márcio Dorn, Daniel S. Farenzena, Luís C. Lamb:
A cluster-DEE-based strategy to empower protein design. Expert Syst. Appl. 40(13): 5210-5218 (2013) - [c42]Diego Noble, Luís C. Lamb, Ricardo M. Araujo:
Investigating a Socially Inspired Heterogeneous System of Problem Solving Agents. AINA 2013: 421-428 - [c41]Lucas M. Tabajara, Marcelo O. R. Prates, Diego Noble, Luís C. Lamb:
Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems. HCOMP 2013: 174-181 - 2012
- [j16]Vikas Agrawal, Jorge A. Baier, Kostas E. Bekris, Yiling Chen, Artur S. d'Avila Garcez, Pascal Hitzler, Patrik Haslum, Dietmar Jannach, Edith Law, Freddy Lécué, Luís C. Lamb, Cynthia Matuszek, Héctor Palacios, Biplav Srivastava, Lokendra Shastri, Nathan R. Sturtevant, Roni Stern, Stefanie Tellex, Stavros Vassos:
Reports of the AAAI 2012 Conference Workshops. AI Mag. 33(4): 119- (2012) - [c40]Diego Noble, Luís C. Lamb, Ricardo Matsumura de Araújo:
Modeling Adaptative Social Behavior in Collective Problem Solving Algorithms. SASO 2012: 205-210 - [e4]Artur d'Avila Garcez, Pascal Hitzler, Luís C. Lamb:
Neural-Symbolic Learning and Reasoning (NeSy 2012), Papers from the 2012 AAAI Workshop, Toronto, ON, Canada, July 23, 2012. AAAI Technical Report WS-12-11, AAAI Press 2012 [contents] - 2011
- [j15]Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb:
Learning and Representing Temporal Knowledge in Recurrent Networks. IEEE Trans. Neural Networks 22(12): 2409-2421 (2011) - [c39]Márcio Dorn, Luciana S. Buriol, Luís C. Lamb:
A hybrid genetic algorithm for the 3-D protein structure prediction problem using a path-relinking strategy. IEEE Congress on Evolutionary Computation 2011: 2709-2716 - [c38]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW 2011: 10-16 - [c37]Luís C. Lamb, Waraporn Jirapanthong, Andrea Zisman:
Formalizing traceability relations for product lines. EFSE@ICSE 2011: 42-45 - [c36]Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh:
Learning to adapt requirements specifications of evolving systems. ICSE 2011: 856-859 - [c35]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. IJCAI 2011: 1653-1658 - [c34]Márcio Dorn, Luciana S. Buriol, Luís C. Lamb:
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides. IJCAI 2011: 2794-2795 - [c33]Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb:
Towards Social Problem-Solving with Human Subjects. IJCAI 2011: 2798-2799 - [c32]Diego Noble, Marcelo Schiavon Porto, Luciano Volcan Agostini, Ricardo Matsumura de Araújo, Luís C. Lamb:
Two Novel Algorithms for High Quality Motion Estimation in High Definition Video Sequences. SIBGRAPI 2011: 197-204 - [c31]Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb:
Collaboration Emergence in Social Networks with Informational Natural Selection. SocialCom/PASSAT 2011: 555-559 - [e3]Artur S. d'Avila Garcez, Pascal Hitzler, Luís C. Lamb:
Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, Barcelona, Spain, July 17, 2011. CEUR Workshop Proceedings 764, CEUR-WS.org 2011 [contents] - 2010
- [j14]David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan:
Reports of the AAAI 2010 Conference Workshops. AI Mag. 31(4): 95-108 (2010) - [c30]Ulisses Brisolara Corrêa, Luís C. Lamb, Luigi Carro, Lisane B. de Brisolara, Júlio C. B. de Mattos:
Towards Estimating Physical Properties of Embedded Systems using Software Quality Metrics. CIT 2010: 2381-2386 - [c29]Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo:
Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. AAAI 2010: 1929-1930 - [c28]Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb:
Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. ICANN (2) 2010: 104-113 - [c27]Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb:
Integrating model verification and self-adaptation. ASE 2010: 317-320 - no results
2000 – 2009
- 2009
- [b2]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Neural-Symbolic Cognitive Reasoning. Cognitive Technologies, Springer 2009, ISBN 978-3-540-73245-7 [contents] - [j13]João M. Fernandes, Luís C. Lamb, Ricardo Jorge Machado, Flávio Rech Wagner:
Recent advances in model-based methodologies for pervasive and embedded software. ACM SIGSOFT Softw. Eng. Notes 34(5): 37-39 (2009) - [j12]Ricardo Matsumura de Araújo, Luís C. Lamb:
On the use of memory and resources in minority games. ACM Trans. Auton. Adapt. Syst. 4(2): 11:1-11:23 (2009) - [c26]Eduardo Horowitz, Luís C. Lamb:
A Hierarchical Model for Firewall Policy Extraction. AINA 2009: 691-698 - [c25]João M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner:
Model-based Methodologies for Pervasive and Embedded Software. ICSE Companion 2009: 443-444 - 2008
- [c24]Ricardo M. Araujo, Luís C. Lamb:
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. AAAI 2008: 3-8 - [c23]Lisane B. de Brisolara, Marcio Ferreira da Silva Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner:
Using UML as Front-end for Heterogeneous Software Code Generation Strategies. DATE 2008: 504-509 - [c22]Ricardo M. Araujo, Luís C. Lamb:
On the Role of Structured Information Exchange in Supervised Learning. ECAI 2008: 887-888 - [c21]Ricardo M. Araujo, Luís C. Lamb:
Distributed problem solving by memetic networks: extended abstract. GECCO 2008: 599-600 - [c20]Ricardo M. Araujo, Luís C. Lamb:
On the Effects of Network Structure in Population-Based Optimization. ICTAI (1) 2008: 268-271 - [c19]Ricardo Miotto Redin, Marcio Ferreira da Silva Oliveira, Lisane B. de Brisolara, Júlio C. B. de Mattos, Luís C. Lamb, Flávio Rech Wagner, Luigi Carro:
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. DIPES 2008: 101-110 - [c18]Marcio Ferreira da Silva Oliveira, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Flávio Rech Wagner:
Software Quality Metrics and their Impact on Embedded Software. MOMPES 2008: 68-77 - [i1]Luís C. Lamb:
The Grand Challenges and Myths of Neural-Symbolic Computation. Recurrent Neural Networks 2008 - 2007
- [j11]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Connectionist modal logic: Representing modalities in neural networks. Theor. Comput. Sci. 371(1-2): 34-53 (2007) - [c17]Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez:
A Connectionist Cognitive Model for Temporal Synchronisation and Learning. AAAI 2007: 827-832 - [c16]Ricardo M. Araujo, Luís C. Lamb:
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism. IJCAI 2007: 212-217 - [c15]Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez:
Towards Reasoning about the Past in Neural-symbolic Systems. NeSy 2007 - [c14]Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez:
Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. IJCNN 2007: 1488-1493 - [c13]Emilena Specht, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Érika F. Cota, Flávio Rech Wagner:
Analysis of the use of declarative languages for enhanced embedded system software development. SBCCI 2007: 324-329 - 2006
- [j10]Artur S. d'Avila Garcez, Luís C. Lamb:
A Connectionist Computational Model for Epistemic and Temporal Reasoning. Neural Comput. 18(7): 1711-1738 (2006) - [j9]Luís C. Lamb, José Palazzo M. de Oliveira:
Editorial. RITA 13(1): 5-6 (2006) - [j8]Luís C. Lamb, José Palazzo M. de Oliveira:
Editorial. RITA 13(2): 5 (2006) - [j7]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Connectionist computations of intuitionistic reasoning. Theor. Comput. Sci. 358(1): 34-55 (2006) - [c12]Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez:
Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS 2006: 46 - 2005
- [j6]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. J. Log. Comput. 15(6): 1041-1058 (2005) - [j5]Luís C. Lamb, José Palazzo Moreira de Oliveira:
Editorial. RITA 12(1): 5-6 (2005) - [c11]Artur S. d'Avila Garcez, Luís C. Lamb:
Neural-Symbolic Systems and the Case for Non-Classical Reasoning. We Will Show Them! (1) 2005: 469-488 - [c10]Laura S. Mastella, Mara Abel, Luís C. Lamb, Luis Fernando De Ros:
Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains. IJCAI 2005: 528-533 - [c9]Ricardo Matsumura de Araújo, Luís C. Lamb:
On the Evolution of Memory Size in the Minority Game (extended abstract). IJCAI 2005: 1651-1652 - [c8]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
A Connectionist Model for Constructive Modal Reasoning. NIPS 2005: 403-410 - [e2]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005, ISBN 1-904987-25-7 [contents] - [e1]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, ISBN 1-904987-26-5 [contents] - 2004
- [j4]Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay:
Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools 13(1): 115-139 (2004) - [j3]José Palazzo M. de Oliveira, Luís C. Lamb:
A Revista de Informática Teórica e Aplicada e as Tecnologias de Informação. RITA 11(2): 5-8 (2004) - [c7]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988 - [c6]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Argumentation Neural Networks. ICONIP 2004: 606-612 - [c5]Ricardo Matsumura de Araújo, Luís C. Lamb:
Neural-Evolutionary Learning in a Bounded Rationality Scenario. ICONIP 2004: 996-1001 - [c4]Ricardo Matsumura de Araújo, Luís C. Lamb:
Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game. ICTAI 2004: 727-731 - 2003
- [c3]Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay:
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS 2003: 271-275 - [c2]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408 - [c1]Artur S. d'Avila Garcez, Luís C. Lamb:
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS 2003: 921-928 - 2002
- [j2]Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo:
Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL 10(2): 123-163 (2002) - 2001
- [j1]Luís C. Lamb:
Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. J. Log. Comput. 11(1): 193-194 (2001) - 2000
- [b1]Luís da Cunha Lamb:
Labelled proof theory for conditional logic. Imperial College London, UK, 2000 - no results
Coauthor Index
Ricardo Matsumura de Araújo
aka: Ricardo M. Araujo
aka: Ricardo M. Araujo
Artur S. d'Avila Garcez
aka: Artur d'Avila Garcez
aka: Artur d'Avila Garcez
no results
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-05 21:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
