Luís C. Lamb

Neural Comput. Appl., September, 2024

2023

Neurosymbolic AI: the 3rd wave.

[BibT_eX]

[DOI]

Artur d'Avila Garcez

Artif. Intell. Rev., November, 2023

On the Evolution of AI and Machine Learning: Towards a Meta-level Measuring and understanding Impact, Influence and Leadership at Premier AI Conferences.

[BibT_eX]

[DOI]

Mariana Recamonde Mendoza

FLAP, 2023

"A Nova Eletricidade: Aplicações, Riscos e Tendências da IA Moderna - "The New Electricity": Applications, Risks, and Trends in Current AI.

[BibT_eX]

[DOI]

Thiago L. T. da Silveira

Viviane P. Moreira

CoRR, 2023

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming.

[BibT_eX]

[DOI]

João M. Flach

CoRR, 2023

Ontology for Healthcare Artificial Intelligence Privacy in Brazil.

[BibT_eX]

[DOI]

Tiago Andres Vaz

José Miguel Silva Dora

Luís da Cunha Lamb

Suzi Alves Camey

CoRR, 2023

Graph Neural Networks with No Supervision and Heuristics for the Kidney-Exchange Problem.

[BibT_eX]

[DOI]

Pedro Foletto Pimenta

Mariana Recamonde Mendoza

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

"A Nova Eletricidade": Aplicações, Riscos e Tendências da IA Moderna.

[BibT_eX]

[DOI]

Thiago L. T. da Silveira

Viviane P. Moreira

Proceedings of the Escola de Computação PPGC/UFRGS 50 Anos: Transformando Desafios em Oportunidades Para o Futuro, 2023

2022

On the Evolution of A.I. and Machine Learning: Towards Measuring and Understanding Impact, Influence, and Leadership at Premier A.I. Conferences.

[BibT_eX]

[DOI]

Henrique Lemos dos Santos

Anderson R. Tavares

CoRR, 2022

Measuring Ethics in AI with AI: A Methodology and Dataset Construction.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems - 11th Brazilian Conference, 2022

2021

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

[BibT_eX]

[DOI]

Tarek R. Besold

Priscila Machado Vieira Lima

Proceedings of the Neuro-Symbolic Artificial Intelligence: The State of the Art, 2021

Measuring Ethics in AI with AI: A Methodology and Dataset Construction.

[BibT_eX]

[DOI]

Anderson R. Tavares

CoRR, 2021

Keynote: Neurosymbolic AI: An Overview.

[BibT_eX]

Proceedings of the Machine Learning with Symbolic Methods and Knowledge Graphs co-located with European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2021), 2021

Discrete and Continuous Deep Residual Learning over Graphs.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Graph-Based Neural Modules to Inspect Attention-Based Architectures, A Position Paper.

[BibT_eX]

[DOI]

Breno W. Carvalho

Proceedings of the Thinking Fast and Slow and Other Cognitive Theories in AI, 2021

2020

Assessing gender bias in machine translation: a case study with Google Translate.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2020

Understanding Boolean Function Learnability on Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

A Reactive-Darwinian Model for the ultimatum game: On the dominance of moderation in high diffusion.

[BibT_eX]

[DOI]

Roberto da Silva

Pablo Valverde

Commun. Nonlinear Sci. Numer. Simul., 2020

A ground truth contest between modularity maximization and modularity density maximization.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2020

Superpixel Image Classification with Graph Attention Networks.

[BibT_eX]

[DOI]

Anderson R. Tavares

Thiago L. T. da Silveira

Cláudio R. Jung

Proceedings of the 33rd SIBGRAPI Conference on Graphics, Patterns and Images, 2020

Graph Neural Networks Meet Neural-Symbolic Computing: A Survey and Perspective.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases.

[BibT_eX]

[DOI]

Henrique Lemos

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

Exact Signed Modularity Density Maximization Solutions and Their Real Meaning<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

Neural-symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning.

[BibT_eX]

[DOI]

FLAP, 2019

Machine Learning in Network Centrality Measures: Tutorial and Outlook.

[BibT_eX]

[DOI]

Lisandro Zambenedetti Granville

ACM Comput. Surv., 2019

Typed Graph Networks.

[BibT_eX]

[DOI]

CoRR, 2019

Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Multitask Learning on Graph Neural Networks: Learning Multiple Graph Centrality Measures with a Unified Network.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019 - 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, 2019

On the Role of Central Individuals in Influence Propagation.

[BibT_eX]

[DOI]

Fernando Concatto

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Learning to Solve NP-Complete Problems: A Graph Neural Network for Decision TSP.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

On the Effectiveness of the Block Two-Level Erdős-Rényi Generative Network Model.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Computing Vertex Centrality Measures in Massive Real Networks with a Neural Learning Model.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition.

[BibT_eX]

[DOI]

Lucia Helena Souza Alves de Santiago

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Effective Ant Colony Optimization Solution for the Brazilian Family Health Team Scheduling Problem.

[BibT_eX]

[DOI]

Willian Heitor Martins

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Neural Networks Models for Analyzing Magic: The Gathering Cards.

[BibT_eX]

[DOI]

Felipe Zilio

Proceedings of the Neural Information Processing - 25th International Conference, 2018

On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals.

[BibT_eX]

[DOI]

Rudson Francisco Da Silva Mendes

Proceedings of the GCAI-2018, 2018

Novel Parallel Anytime A* for Graph and Network Clustering.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

2017

Efficient modularity density heuristics for large graphs.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2017

Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192).

[BibT_eX]

[DOI]

Tarek R. Besold

Dagstuhl Reports, 2017

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.

[BibT_eX]

[DOI]

Tarek R. Besold

Priscila Machado Vieira Lima

CoRR, 2017

Exact computational solution of Modularity Density Maximization by effective column generation.

[BibT_eX]

[DOI]

Comput. Oper. Res., 2017

Efficient quantitative heuristics for graph clustering.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Genetic algorithm for epidemic mitigation by removing relationships.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Novel Clique enumeration heuristic for detecting overlapping clusters.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016

The cost of search and evaluation in online problem-solving social networks with financial and non-financial incentives.

[BibT_eX]

[DOI]

Daniel Scain Farenzena

Luís da Cunha Lamb

First Monday, 2016

Randomness and arbitrary coordination in the reactive ultimatum game.

[BibT_eX]

[DOI]

Roberto da Silva

Pablo Valverde

Commun. Nonlinear Sci. Numer. Simul., 2016

On approximating networks centrality measures via neural learning algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Joint Conference on Neural Networks, 2016

A New Model and Heuristic for Infection Minimization by Cutting Relationships.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 23rd International Conference, 2016

An Analysis of Centrality Measures for Complex and Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Global Communications Conference, 2016

Efficient Stochastic Local Search for Modularity Maximization.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2016

On the role of degree influence in suboptimal modularity maximization.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2016

2015

Estimating complex networks centrality via neural networks and machine learning.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

The Impact of Centrality on Individual and Collective Performance in Social Problem-Solving Systems.

[BibT_eX]

[DOI]

Diego Vrague Noble

Luís da Cunha Lamb

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Neural-Symbolic Learning and Reasoning: Contributions and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

MOIRAE: A computational strategy to extract and represent structural information from experimental protein templates.

[BibT_eX]

[DOI]

Soft Comput., 2014

A neural cognitive model of argumentation with application to legal inference and decision making.

[BibT_eX]

[DOI]

J. Appl. Log., 2014

Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381).

[BibT_eX]

[DOI]

Marco Gori

Pascal Hitzler

Dagstuhl Reports, 2014

Three-dimensional protein structure prediction: Methods and computational strategies.

[BibT_eX]

[DOI]

Mariel Barbachan e Silva

Comput. Biol. Chem., 2014

Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions.

[BibT_eX]

[DOI]

Arjan Stuiver

Proceedings of the 2014 International Joint Conference on Neural Networks, 2014

Neural-symbolic cognitive agents: architecture, theory and application.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

A molecular dynamics and knowledge-based computational strategy to predict native-like structures of polypeptides.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

A cluster-DEE-based strategy to empower protein design.

[BibT_eX]

[DOI]

Rafael K. de Andrades

Expert Syst. Appl., 2013

A simple non-Markovian computational model of the statistics of soccer leagues: Emergence and scaling effects.

[BibT_eX]

[DOI]

Comput. Phys. Commun., 2013

Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems.

[BibT_eX]

[DOI]

Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013

Investigating a Socially Inspired Heterogeneous System of Problem Solving Agents.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013

2012

Reports of the AAAI 2012 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2012

Modeling Adaptative Social Behavior in Collective Problem Solving Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

2011

Learning and Representing Temporal Knowledge in Recurrent Networks.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks, 2011

Collaboration Emergence in Social Networks with Informational Natural Selection.

[BibT_eX]

[DOI]

Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Two Novel Algorithms for High Quality Motion Estimation in High Definition Video Sequences.

[BibT_eX]

[DOI]

Marcelo Schiavon Porto

Luciano Volcan Agostini

Proceedings of the 24th SIBGRAPI Conference on Graphics, 2011

A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Towards Social Problem-Solving with Human Subjects.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Formalizing traceability relations for product lines.

[BibT_eX]

[DOI]

Waraporn Jirapanthong

Andrea Zisman

Proceedings of the TEFSE'11, 2011

Learning to adapt requirements specifications of evolving systems.

[BibT_eX]

[DOI]

Bashar Nuseibeh

Proceedings of the 33rd International Conference on Software Engineering, 2011

Neural-Symbolic Cognitive Agents: Architecture and Theory.

[BibT_eX]

[DOI]

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

A hybrid genetic algorithm for the 3-D protein structure prediction problem using a path-relinking strategy.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010

Reports of the AAAI 2010 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2010

Integrating model verification and self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Artificial Neural Networks, 2010

Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

Towards Estimating Physical Properties of Embedded Systems using Software Quality Metrics.

[BibT_eX]

[DOI]

Ulisses Brisolara Corrêa

Luigi Carro

Lisane B. de Brisolara

Júlio C. B. de Mattos

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Neural-Symbolic Cognitive Reasoning

[BibT_eX]

[DOI]

Cognitive Technologies, Springer, ISBN: 978-3-540-73245-7, 2009

On the use of memory and resources in minority games.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2009

Recent advances in model-based methodologies for pervasive and embedded software.

[BibT_eX]

[DOI]

João M. Fernandes

Ricardo Jorge Machado

Flávio Rech Wagner

ACM SIGSOFT Softw. Eng. Notes, 2009

Model-based Methodologies for Pervasive and Embedded Software.

[BibT_eX]

[DOI]

João M. Fernandes

Ricardo Jorge Machado

Flávio Rech Wagner

Proceedings of the 31st International Conference on Software Engineering, 2009

A Hierarchical Model for Firewall Policy Extraction.

[BibT_eX]

[DOI]

Eduardo Horowitz

Marcio Ferreira da Silva Oliveira

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Software Quality Metrics and their Impact on Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems.

[BibT_eX]

[DOI]

Ricardo Miotto Redin

Marcio Ferreira da Silva Oliveira

Lisane B. de Brisolara

Júlio C. B. de Mattos

Flávio Rech Wagner

Luigi Carro

Proceedings of the Distributed Embedded Systems: Design, 2008

On the Effects of Network Structure in Population-Based Optimization.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Distributed problem solving by memetic networks: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2008

On the Role of Structured Information Exchange in Supervised Learning.

[BibT_eX]

[DOI]

Marcio Ferreira da Silva Oliveira

Proceedings of the ECAI 2008, 2008

Using UML as Front-end for Heterogeneous Software Code Generation Strategies.

[BibT_eX]

[DOI]

Lisane B. de Brisolara

Proceedings of the Design, Automation and Test in Europe, 2008

The Grand Challenges and Myths of Neural-Symbolic Computation.

[BibT_eX]

[DOI]

Proceedings of the Recurrent Neural Networks - Models, Capacities, and Applications, 20.01., 2008

Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Connectionist modal logic: Representing modalities in neural networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Analysis of the use of declarative languages for enhanced embedded system software development.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007

Reasoning and Learning About Past Temporal Knowledge in Connectionist Models.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2007

Towards Reasoning about the Past in Neural-symbolic Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Neural-Symbolic Learning and Reasoning, 2007

An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

A Connectionist Cognitive Model for Temporal Synchronisation and Learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Connectionist computations of intuitionistic reasoning.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Editorial.

[BibT_eX]

José Palazzo M. de Oliveira

RITA, 2006

A Connectionist Computational Model for Epistemic and Temporal Reasoning.

[BibT_eX]

[DOI]

Neural Comput., 2006

Combining Architectures for Temporal Learning in Neural-Symbolic Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Hybrid Intelligent Systems (HIS 2006), 2006

2005

Value-based Argumentation Frameworks as Neural-symbolic Learning Systems.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

A Connectionist Model for Constructive Modal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005

Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

On the Evolution of Memory Size in the Minority Game (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Neural-Symbolic Systems and the Case for Non-Classical Reasoning.

[BibT_eX]

José Palazzo M. de Oliveira

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

A Revista de Informática Teórica e Aplicada e as Tecnologias de Informação.

[BibT_eX]

[DOI]