Alexandre Miguel Pinto

Orcid: 0000-0003-0577-0939

According to our database1, Alexandre Miguel Pinto authored at least 25 papers between 2005 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
ONDA: ONline Database Architect.
CoRR, 2024

2023
Modularization of Logic Programs.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2020
Learning non-convex abstract concepts with regulated activation networks.
Ann. Math. Artif. Intell., 2020

Reconstructing Abstract Concepts and their Blends Via Computational Cognitive Modeling.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

2019
Conceptual Representations for Computational Concept Creation.
ACM Comput. Surv., 2019

2018
Perceiving Abstract Concepts Via Evolving Computational Cognitive Modeling.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

2017
Describing the Internet of Things with an ontology: The SusCity project case study.
Proceedings of the 20th Conference on Innovations in Clouds, Internet and Networks, 2017

2016
Comparing the Performance of Different NLP Toolkits in Formal and Social Media Text.
Proceedings of the 5th Symposium on Languages, Applications and Technologies, 2016

Automatic Generation of Internet Memes from Portuguese News Headlines.
Proceedings of the Computational Processing of the Portuguese Language, 2016

One does not simply produce funny memes! - Explorations on the Automatic Generation of Internet humor.
Proceedings of the Seventh International Conference on Computational Creativity, 2016

2015
In reality there are as many religions as there are papers - First Steps Towards the Generation of Internet Memes.
Proceedings of the Sixth International Conference on Computational Creativity, 2015

2014
Principles of Regulated Activation Networks.
Proceedings of the Graph-Based Representation and Reasoning, 2014

2012
On Integrating Description Logics and Rules under Minimal Hypotheses.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2011
Each normal logic program has a 2-valued Minimal Hypotheses semantics
CoRR, 2011

2010
Tight Semantics for Logic Programs.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009
Layered Models Top-Down Querying of Normal Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2009

Layer Supported Models of Logic Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Stable versus Layered Logic Program Semantics.
Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , 2009

Adaptive Reasoning for Cooperative Agents.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

Stabel Model Implementation of Layer Supported Models by Program Transformation.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

Incremental Answer Completion in the SLG-WAM.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Collaborative vs. Conflicting Learning, Evolution and Argumentation.
Proceedings of the Oppositional Concepts in Computational Intelligence, 2008

2007
Approved Models for Normal Logic Programs.
Proceedings of the Logic for Programming, 2007

2005
Revised Stable Models - A Semantics for Logic Programs.
Proceedings of the Progress in Artificial Intelligence, 2005


  Loading...