Luís C. Lamb - RankMe

147 papers A* 14A 6B 22C 7Misc 1Journal 63Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Grokking Explained: A Statistical Phenomenon. CoRR Breno W. Carvalho, Artur S. d'Avila Garcez, Luís C. Lamb, Emilio Vital Brazil
2025	B	`conf`	Inducing Grokking with Distribution Shifts. ICTAI Breno W. Carvalho, Artur d'Avila Garcez, Luís C. Lamb, Emilio Vital Brazil
2025	C	`conf`	Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models. NeSy Márcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, João Marcos Flach, Luís C. Lamb, Moshe Y. Vardi
2025	J	`jnl`	UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification. CoRR Yiannis Charalambous, Claudionor N. Coelho Jr., Luís C. Lamb, Lucas C. Cordeiro
2024	J	`jnl`	Solving the kidney exchange problem via graph neural networks with no supervision. Neural Comput. Appl. Pedro Foletto Pimenta, Pedro H. C. Avelar, Luís C. Lamb
2023	—	`ch.`	"A Nova Eletricidade": Aplicações, Riscos e Tendências da IA Moderna. Escola de Computação PPGC/UFRGS 50 Anos Ana L. C. Bazzan, Anderson R. Tavares, André Grahl 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
2023	J	`jnl`	"A Nova Eletricidade: Aplicações, Riscos e Tendências da IA Moderna - "The New Electricity": Applications, Risks, and Trends in Current AI. CoRR Ana L. C. Bazzan, Anderson R. Tavares, André Grahl 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
2023	J	`jnl`	A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming. CoRR João M. Flach, Luís C. Lamb
2023	B	`conf`	Graph Neural Networks with No Supervision and Heuristics for the Kidney-Exchange Problem. ICTAI Pedro Foletto Pimenta, Pedro H. C. Avelar, Luís C. Lamb
2023	J	`jnl`	Neurosymbolic AI: the 3rd wave. Artif. Intell. Rev. Artur d'Avila Garcez, Luís C. Lamb
2023	J	`jnl`	On the Evolution of AI and Machine Learning: Towards a Meta-level Measuring and understanding Impact, Influence and Leadership at Premier AI Conferences. FLAP Rafael Baldasso Audibert, Henrique Lemos, Pedro H. C. Avelar, Anderson R. Tavares, Luís C. Lamb
2023	—	`ed.`	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. TFSOCTAI@AAAI Fall Symposium Marianna Bergamaschi Ganapini, Lior Horesh, Luís C. Lamb, Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Biplav Srivastava, K. Brent Venable
2023	J	`jnl`	Solving the Kidney-Exchange Problem via Graph Neural Networks with No Supervision. CoRR Pedro Foletto Pimenta, Pedro H. C. Avelar, Luís C. Lamb
2022	J	`jnl`	Graph-based Neural Modules to Inspect Attention-based Architectures: A Position Paper. CoRR Breno W. Carvalho, Artur d'Avila Garcez, Luís C. Lamb
2022	—	`conf`	Measuring Ethics in AI with AI: A Methodology and Dataset Construction. BRACIS (1) Pedro H. C. Avelar, Rafael Baldasso Audibert, Luís C. Lamb
2022	J	`jnl`	On the Evolution of A.I. and Machine Learning: Towards Measuring and Understanding Impact, Influence, and Leadership at Premier A.I. Conferences. CoRR Rafael Baldasso Audibert, Henrique Lemos dos Santos, Pedro H. C. Avelar, Anderson R. Tavares, Luís C. Lamb
2021	—	`conf`	Discrete and Continuous Deep Residual Learning over Graphs. ICAART (2) Pedro H. C. Avelar, Anderson R. Tavares, Marco Gori, Luís C. Lamb
2021	—	`conf`	Graph-Based Neural Modules to Inspect Attention-Based Architectures, A Position Paper. TFSOCTAI@AAAI Fall Symposium Breno W. Carvalho, Artur S. d'Avila Garcez, Luís C. Lamb
2021	—	`conf`	Keynote: Neurosymbolic AI: An Overview. MLSMKG@PKDD/ECML Luís C. Lamb
2021	J	`jnl`	Measuring Ethics in AI with AI: A Methodology and Dataset Construction. CoRR Pedro H. C. Avelar, Rafael Baldasso Audibert, Anderson R. Tavares, Luís C. Lamb
2021	—	`ch.`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. Neuro-Symbolic Artificial Intelligence 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
2020	J	`jnl`	A Reactive-Darwinian Model for the ultimatum game: On the dominance of moderation in high diffusion. Commun. Nonlinear Sci. Numer. Simul. Roberto da Silva, Pablo Valverde, Luís C. Lamb
2020	J	`jnl`	A ground truth contest between modularity maximization and modularity density maximization. Artif. Intell. Rev. Rafael de Santiago, Luís C. Lamb
2020	J	`jnl`	Assessing gender bias in machine translation: a case study with Google Translate. Neural Comput. Appl. Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb
2020	B	`conf`	Exact Signed Modularity Density Maximization Solutions and Their Real Meaning CEC Rafael de Santiago, Luís C. Lamb
2020	A*	`conf`	Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. IJCAI Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi
2020	J	`jnl`	Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective. CoRR Luís C. Lamb, Artur S. d'Avila Garcez, Marco Gori, Marcelo O. R. Prates, Pedro H. C. Avelar, Moshe Y. Vardi
2020	—	`conf`	Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases. ICANN (1) Henrique Lemos, Pedro H. C. Avelar, Marcelo O. R. Prates, Artur S. d'Avila Garcez, Luís C. Lamb
2020	J	`jnl`	Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases. CoRR Henrique Lemos, Pedro H. C. Avelar, Marcelo O. R. Prates, Luís C. Lamb, Artur S. d'Avila Garcez
2020	J	`jnl`	Neurosymbolic AI: The 3rd Wave. CoRR Artur S. d'Avila Garcez, Luís C. Lamb
2020	—	`conf`	Superpixel Image Classification with Graph Attention Networks. SIBGRAPI Pedro H. C. Avelar, Anderson R. Tavares, Thiago L. T. da Silveira, Cláudio R. Jung, Luís C. Lamb
2020	J	`jnl`	Superpixel Image Classification with Graph Attention Networks. CoRR Pedro H. C. Avelar, Anderson R. Tavares, Thiago L. T. da Silveira, Cláudio R. Jung, Luís C. Lamb
2020	J	`jnl`	Understanding Boolean Function Learnability on Deep Neural Networks. CoRR Anderson R. Tavares, Pedro H. C. Avelar, João M. Flach, Márcio Nicolau, Luís C. Lamb, Moshe Y. Vardi
2019	J	`jnl`	Discrete and Continuous Deep Residual Learning Over Graphs. CoRR Pedro H. C. Avelar, Anderson R. Tavares, Marco Gori, Luís C. Lamb
2019	B	`conf`	Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems. ICTAI Henrique Lemos, Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb
2019	J	`jnl`	Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems. CoRR Henrique Lemos, Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb
2019	A*	`conf`	Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP. AAAI Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi
2019	J	`jnl`	Machine Learning in Network Centrality Measures: Tutorial and Outlook. ACM Comput. Surv. Felipe Grando, Lisandro Zambenedetti Granville, Luís C. Lamb
2019	J	`jnl`	Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. CoRR Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran
2019	J	`jnl`	Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning. FLAP Artur S. d'Avila Garcez, Marco Gori, Luís C. Lamb, Luciano Serafini, Michael Spranger, Son N. Tran
2019	—	`conf`	On the Role of Central Individuals in Influence Propagation. ICAART (2) Rafael de Santiago, Fernando Concatto, Luís C. Lamb
2019	J	`jnl`	Typed Graph Networks. CoRR Pedro H. C. Avelar, Henrique Lemos, Marcelo O. R. Prates, Marco Gori, Luís C. Lamb
2018	J	`jnl`	An Analysis of Centrality Measures for Complex and Social Networks. CoRR Felipe Grando, Diego Noble, Luís C. Lamb
2018	J	`jnl`	Assessing Gender Bias in Machine Translation - A Case Study with Google Translate. CoRR Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb
2018	B	`conf`	Computing Vertex Centrality Measures in Massive Real Networks with a Neural Learning Model. IJCNN Felipe Grando, Luís C. Lamb
2018	J	`jnl`	Computing Vertex Centrality Measures in Massive Real Networks with a Neural Learning Model. CoRR Felipe Grando, Luís C. Lamb
2018	B	`conf`	Effective Ant Colony Optimization Solution for the Brazilian Family Health Team Scheduling Problem. ICTAI Willian Heitor Martins, Lucia Helena Souza Alves de Santiago, Rafael de Santiago, Luís C. Lamb
2018	J	`jnl`	Learning to Solve NP-Complete Problems - A Graph Neural Network for the Decision TSP. CoRR Marcelo O. R. Prates, Pedro H. C. Avelar, Henrique Lemos, Luís C. Lamb, Moshe Y. Vardi
2018	J	`jnl`	Machine Learning in Network Centrality Measures: Tutorial and Outlook. CoRR Felipe Grando, Lisandro Zambenedetti Granville, Luís C. Lamb
2018	J	`jnl`	Multitask Learning on Graph Neural Networks - Learning Multiple Graph Centrality Measures with a Unified Network. CoRR Pedro H. C. Avelar, Henrique Lemos, Marcelo O. R. Prates, Luís C. Lamb
2018	—	`conf`	Neural Networks Models for Analyzing Magic: The Gathering Cards. ICONIP (2) Felipe Zilio, Marcelo O. R. Prates, Luís C. Lamb
2018	J	`jnl`	Neural Networks Models for Analyzing Magic: the Gathering Cards. CoRR Felipe Zilio, Marcelo O. R. Prates, Luís C. Lamb
2018	B	`conf`	Novel Parallel Anytime A* for Graph and Network Clustering. CEC Rudson Francisco Da Silva Mendes, Rafael de Santiago, Luís C. Lamb
2018	—	`conf`	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals. GCAI Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb
2018	J	`jnl`	On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals. CoRR Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb
2018	C	`conf`	On the Effectiveness of the Block Two-Level Erdős-Rényi Generative Network Model. ISCC Felipe Grando, Luís C. Lamb
2018	B	`conf`	Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition. ICTAI Marcelo O. R. Prates, Luís C. Lamb
2018	J	`jnl`	Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition. CoRR Marcelo O. R. Prates, Luís C. Lamb
2017	J	`jnl`	Efficient modularity density heuristics for large graphs. Eur. J. Oper. Res. Rafael de Santiago, Luís C. Lamb
2017	—	`conf`	Efficient quantitative heuristics for graph clustering. GECCO (Companion) Rafael de Santiago, Luís C. Lamb
2017	J	`jnl`	Exact computational solution of Modularity Density Maximization by effective column generation. Comput. Oper. Res. Rafael de Santiago, Luís C. Lamb
2017	J	`jnl`	Genetic Algorithm for Epidemic Mitigation by Removing Relationships. CoRR Fernando Concatto, Wellington Zunino, Luigi A. Giancoli, Rafael de Santiago, Luís C. Lamb
2017	A	`conf`	Genetic algorithm for epidemic mitigation by removing relationships. GECCO Fernando Concatto, Wellington Zunino, Luigi A. Giancoli, Rafael de Santiago, Luís C. Lamb
2017	J	`jnl`	Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192). Dagstuhl Reports Tarek R. Besold, Artur S. d'Avila Garcez, Luís C. Lamb
2017	J	`jnl`	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. CoRR 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
2017	B	`conf`	Novel Clique enumeration heuristic for detecting overlapping clusters. CEC Rafael Schmitt, Pedro Ramos, Rafael de Santiago, Luís C. Lamb
2016	—	`conf`	A New Model and Heuristic for Infection Minimization by Cutting Relationships. ICONIP (2) Rafael de Santiago, Wellington Zunino, Fernando Concatto, Luís C. Lamb
2016	B	`conf`	An Analysis of Centrality Measures for Complex and Social Networks. GLOBECOM Felipe Grando, Diego Noble, Luís C. Lamb
2016	—	`conf`	Efficient Stochastic Local Search for Modularity Maximization. GECCO (Companion) Rafael de Santiago, Luís C. Lamb
2016	B	`conf`	On approximating networks centrality measures via neural learning algorithms. IJCNN Felipe Grando, Luís C. Lamb
2016	B	`conf`	On the role of degree influence in suboptimal modularity maximization. CEC Rafael de Santiago, Luís C. Lamb
2016	—	`ed.`	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. NeSy@HLAI Tarek R. Besold, Luís C. Lamb, Luciano Serafini, Whitney Tabor
2016	J	`jnl`	Randomness and arbitrary coordination in the reactive ultimatum game. Commun. Nonlinear Sci. Numer. Simul. Roberto da Silva, Pablo Valverde, Luís C. Lamb
2015	A*	`conf`	Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency. AAAI Diego Noble, Marcelo O. R. Prates, Daniel Bossle, Luís C. Lamb
2015	B	`conf`	Estimating complex networks centrality via neural networks and machine learning. IJCNN Felipe Grando, Luís C. Lamb
2015	—	`conf`	Neural-Symbolic Learning and Reasoning: Contributions and Challenges. AAAI Spring Symposia 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
2014	J	`jnl`	A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2014	B	`conf`	Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. IJCNN Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer
2014	J	`jnl`	MOIRAE: A computational strategy to extract and represent structural information from experimental protein templates. Soft Comput. Márcio Dorn, Luciana S. Buriol, Luís C. Lamb
2014	J	`jnl`	Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381). Dagstuhl Reports Artur S. d'Avila Garcez, Marco Gori, Pascal Hitzler, Luís C. Lamb
2014	A	`conf`	Neural-symbolic cognitive agents: architecture, theory and application. AAMAS Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2014	J	`jnl`	Three-dimensional protein structure prediction: Methods and computational strategies. Comput. Biol. Chem. Márcio Dorn, Mariel Barbachan e Silva, Luciana S. Buriol, Luís C. Lamb
2013	J	`jnl`	A cluster-DEE-based strategy to empower protein design. Expert Syst. Appl. Rafael K. de Andrades, Márcio Dorn, Daniel S. Farenzena, Luís C. Lamb
2013	J	`jnl`	A molecular dynamics and knowledge-based computational strategy to predict native-like structures of polypeptides. Expert Syst. Appl. Márcio Dorn, Luciana S. Buriol, Luís C. Lamb
2013	J	`jnl`	A simple non-Markovian computational model of the statistics of soccer leagues: Emergence and scaling effects. Comput. Phys. Commun. Roberto da Silva, Mendeli H. Vainstein, Luís C. Lamb, Sandra D. Prado
2013	B	`conf`	Investigating a Socially Inspired Heterogeneous System of Problem Solving Agents. AINA Diego Noble, Luís C. Lamb, Ricardo M. Araújo
2013	B	`conf`	Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems. HCOMP Lucas M. Tabajara, Marcelo O. R. Prates, Diego Noble, Luís C. Lamb
2012	—	`conf`	Modeling Adaptative Social Behavior in Collective Problem Solving Algorithms. SASO Diego Noble, Luís C. Lamb, Ricardo Matsumura de Araújo
2012	—	`ed.`	Neural-Symbolic Learning and Reasoning (NeSy 2012), Papers from the 2012 AAAI Workshop, Toronto, ON, Canada, July 23, 2012 NeSy@AAAI Artur d'Avila Garcez, Pascal Hitzler, Luís C. Lamb
2012	J	`jnl`	Reports of the AAAI 2012 Conference Workshops. AI Mag. 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
2011	A*	`conf`	A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. IJCAI Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2011	B	`conf`	A hybrid genetic algorithm for the 3-D protein structure prediction problem using a path-relinking strategy. IEEE Congress on Evolutionary Computation Márcio Dorn, Luciana S. Buriol, Luís C. Lamb
2011	—	`conf`	Collaboration Emergence in Social Networks with Informational Natural Selection. SocialCom/PASSAT Daniel S. Farenzena, Ricardo M. Araújo, Luís C. Lamb
2011	A*	`conf`	Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides. IJCAI Márcio Dorn, Luciana S. Buriol, Luís C. Lamb
2011	—	`conf`	Formalizing traceability relations for product lines. EFSE@ICSE Luís C. Lamb, Waraporn Jirapanthong, Andrea Zisman
2011	J	`jnl`	Learning and Representing Temporal Knowledge in Recurrent Networks. IEEE Trans. Neural Networks Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb
2011	A*	`conf`	Learning to adapt requirements specifications of evolving systems. ICSE Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh
2011	—	`conf`	Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer
2011	C	`ed.`	Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, Barcelona, Spain, July 17, 2011. NeSy Artur S. d'Avila Garcez, Pascal Hitzler, Luís C. Lamb
2011	A*	`conf`	Towards Social Problem-Solving with Human Subjects. IJCAI Daniel S. Farenzena, Ricardo M. Araújo, Luís C. Lamb
2011	—	`conf`	Two Novel Algorithms for High Quality Motion Estimation in High Definition Video Sequences. SIBGRAPI Diego Noble, Marcelo Schiavon Porto, Luciano Volcan Agostini, Ricardo Matsumura de Araújo, Luís C. Lamb
2010	A*	`conf`	Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. AAAI Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araújo
2010	A*	`conf`	Integrating model verification and self-adaptation. ASE Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb
2010	J	`jnl`	Reports of the AAAI 2010 Conference Workshops. AI Mag. 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
2010	—	`conf`	Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. ICANN (2) Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb
2010	C	`conf`	Towards Estimating Physical Properties of Embedded Systems using Software Quality Metrics. CIT Ulisses Brisolara Corrêa, Luís C. Lamb, Luigi Carro, Lisane B. de Brisolara, Júlio C. B. de Mattos
2009	B	`conf`	A Hierarchical Model for Firewall Policy Extraction. AINA Eduardo Horowitz, Luís C. Lamb
2009	—	`conf`	Model-based Methodologies for Pervasive and Embedded Software. ICSE Companion João M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner
2009	—	`book`	Neural-Symbolic Cognitive Reasoning Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2009	J	`jnl`	On the use of memory and resources in minority games. ACM Trans. Auton. Adapt. Syst. Ricardo Matsumura de Araújo, Luís C. Lamb
2009	J	`jnl`	Recent advances in model-based methodologies for pervasive and embedded software. ACM SIGSOFT Softw. Eng. Notes João M. Fernandes, Luís C. Lamb, Ricardo Jorge Machado, Flávio Rech Wagner
2008	A	`conf`	Distributed problem solving by memetic networks: extended abstract. GECCO Ricardo M. Araújo, Luís C. Lamb
2008	A*	`conf`	Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. AAAI Ricardo M. Araújo, Luís C. Lamb
2008	—	`conf`	On the Effects of Network Structure in Population-Based Optimization. ICTAI (1) Ricardo M. Araújo, Luís C. Lamb
2008	A	`conf`	On the Role of Structured Information Exchange in Supervised Learning. ECAI Ricardo M. Araújo, Luís C. Lamb
2008	—	`conf`	On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. DIPES 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
2008	—	`conf`	The Grand Challenges and Myths of Neural-Symbolic Computation. Recurrent Neural Networks Luís C. Lamb
2008	A	`conf`	Using UML as Front-end for Heterogeneous Software Code Generation Strategies. DATE Lisane B. de Brisolara, Marcio Ferreira da Silva Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner
2007	A*	`conf`	A Connectionist Cognitive Model for Temporal Synchronisation and Learning. AAAI Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez
2007	A*	`conf`	An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism. IJCAI Ricardo M. Araújo, Luís C. Lamb
2007	J	`jnl`	Connectionist modal logic: Representing modalities in neural networks. Theor. Comput. Sci. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2007	B	`conf`	Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. IJCNN Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez
2007	C	`conf`	Towards Reasoning about the Past in Neural-symbolic Systems. NeSy Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez
2006	J	`jnl`	A Connectionist Computational Model for Epistemic and Temporal Reasoning. Neural Comput. Artur S. d'Avila Garcez, Luís C. Lamb
2006	C	`conf`	Combining Architectures for Temporal Learning in Neural-Symbolic Systems. HIS Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez
2006	J	`jnl`	Connectionist computations of intuitionistic reasoning. Theor. Comput. Sci. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2006	J	`jnl`	Editorial. RITA Luís C. Lamb, José Palazzo M. de Oliveira
2006	J	`jnl`	Editorial. RITA Luís C. Lamb, José Palazzo M. de Oliveira
2005	—	`conf`	A Connectionist Model for Constructive Modal Reasoning. NIPS Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2005	A*	`conf`	Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains. IJCAI Laura S. Mastella, Mara Abel, Luís C. Lamb, Luis Fernando De Ros
2005	J	`jnl`	Editorial. RITA Luís C. Lamb, José Palazzo Moreira de Oliveira
2005	—	`conf`	Neural-Symbolic Systems and the Case for Non-Classical Reasoning. We Will Show Them! (1) Artur S. d'Avila Garcez, Luís C. Lamb
2005	A*	`conf`	On the Evolution of Memory Size in the Minority Game (extended abstract). IJCAI Ricardo Matsumura de Araújo, Luís C. Lamb
2005	J	`jnl`	Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. J. Log. Comput. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2005	—	`ed.`	We Will Show Them! Essays in Honour of Dov Gabbay, Volume One We Will Show Them! (1) Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods
2005	—	`ed.`	We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two We Will Show Them! (2) Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods
2004	J	`jnl`	A Revista de Informática Teórica e Aplicada e as Tecnologias de Informação. RITA José Palazzo M. de Oliveira, Luís C. Lamb
2004	J	`jnl`	Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2004	B	`conf`	Argumentation Neural Networks. ICONIP Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2004	B	`conf`	Neural-Evolutionary Learning in a Bounded Rationality Scenario. ICONIP Ricardo Matsumura de Araújo, Luís C. Lamb
2004	B	`conf`	Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game. ICTAI Ricardo Matsumura de Araújo, Luís C. Lamb
2004	A	`conf`	Towards a Connectionist Argumentation Framework. ECAI Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2003	Misc	`conf`	Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2003	C	`conf`	Neural-Symbolic Intuitionistic Reasoning. HIS Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2003	—	`conf`	Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. NIPS Artur S. d'Avila Garcez, Luís C. Lamb
2002	J	`jnl`	Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
2001	J	`jnl`	Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. J. Log. Comput. Luís C. Lamb