Henrique Viana

According to our database, Henrique Viana authored at least 16 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On the Refinement of Compensation-Based Semantics for Weighted Argumentation Frameworks.

Henrique Viana, João F. L. Alcântara

Proceedings of the Intelligent Systems - 10th Brazilian Conference, 2021

A Systematic Approach to Define Semantics for Prioritised Logic Programs.

Renan Cordeiro, Guilherme Fernandes, João F. L. Alcântara, Henrique Viana

Proceedings of the Intelligent Systems - 10th Brazilian Conference, 2021

2020

Aggregation with Weak, Axiological and Strong Sufficientarian Functions.

Henrique Viana, João F. L. Alcântara

Proceedings of the Intelligent Systems - 9th Brazilian Conference, 2020

2018

Aggregation with T-Norms and LexiT-Orderings and Their Connections with the Leximin Principle.

Henrique Viana, João F. L. Alcântara

Proceedings of the Fuzzy Information Processing, 2018

Propositional Belief Merging with OWA Operators.

Henrique Viana, João F. L. Alcântara

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2016

Sufficientarian Propositional Belief Merging.

Henrique Viana, João F. L. Alcântara

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Propositional Belief Merging with T-conorms.

Henrique Viana, João F. L. Alcântara

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

2015

Searching contexts in paraconsistent rough description logic.

Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins

J. Braz. Comput. Soc., 2015

2014

Priority-Based Merging Operator Without Distance Measures.

Henrique Viana, João F. L. Alcântara

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Private Dynamic Epistemic Friendship Logic.

Henrique Viana, Arnaldo Araújo, Lucas Leite, João F. L. Alcântara

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2013

Searching Contexts in Rough Description Logics.

Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

2012

Querying Trajectories through Model Checking based on Timed Automata.

Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo

Proceedings of the XXVII Simpósio Brasileiro de Banco de Dados, 2012

A Description Logic for InferenceNet.Br.

Wellington Franco, Thiago Alves Rocha, Henrique Viana, João F. L. Alcântara

Proceedings of the Computational Processing of the Portuguese Language, 2012

2011

Paraconsistent Rough Description Logic.

Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010

A Tractable Paraconsistent Fuzzy Description Logic.

Henrique Viana, Thiago Alves Rocha, João F. L. Alcântara, Ana Teresa C. Martins

Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010

The Team Orienteering Problem: Formulations and Branch-Cut and Price.

Marcus Poggi de Aragão, Henrique Viana, Eduardo Uchoa

Proceedings of the ATMOS 2010, 2010