Henrique Viana

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 7

Top Topics

Aggregation Functions

Description Logics

Top Venues

Publications

Henrique Viana, João F. L. Alcântara
On the Refinement of Compensation-Based Semantics for Weighted Argumentation Frameworks. BRACIS (1) (2021)
Renan Cordeiro, Guilherme Fernandes, João F. L. Alcântara, Henrique Viana
A Systematic Approach to Define Semantics for Prioritised Logic Programs. BRACIS (1) (2021)
Henrique Viana, João F. L. Alcântara
Aggregation with Weak, Axiological and Strong Sufficientarian Functions. BRACIS (2) (2020)
Henrique Viana, João F. L. Alcântara
Aggregation with T-Norms and LexiT-Orderings and Their Connections with the Leximin Principle. NAFIPS (2018)
Henrique Viana, João F. L. Alcântara
Propositional Belief Merging with OWA Operators. KR (2018)
Henrique Viana, João F. L. Alcântara
Sufficientarian Propositional Belief Merging. EUMAS/AT (2016)
Henrique Viana, João F. L. Alcântara
Propositional Belief Merging with T-conorms. EUMAS/AT (2016)
Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins
Searching contexts in paraconsistent rough description logic. J. Braz. Comput. Soc. 21 (1) (2015)
Henrique Viana, João F. L. Alcântara
Priority-Based Merging Operator Without Distance Measures. EUMAS (2014)
Henrique Viana, Arnaldo Araújo, Lucas Leite, João F. L. Alcântara
Private Dynamic Epistemic Friendship Logic. BRACIS (2014)
Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins
Searching Contexts in Rough Description Logics. BRACIS (2013)
Diego V. Simões S., Henrique Viana, Nicolas Markey, José Antônio Fernandes de Macêdo
Querying Trajectories through Model Checking based on Timed Automata. SBBD (Short Papers) (2012)
Wellington Franco, Thiago Alves Rocha, Henrique Viana, João F. L. Alcântara
A Description Logic for InferenceNet.Br. PROPOR (2012)
Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins
Paraconsistent Rough Description Logic. Description Logics (2011)
Henrique Viana, Thiago Alves Rocha, João F. L. Alcântara, Ana Teresa C. Martins
A Tractable Paraconsistent Fuzzy Description Logic. URSW (2010)
Marcus Poggi de Aragão, Henrique Viana, Eduardo Uchoa
The Team Orienteering Problem: Formulations and Branch-Cut and Price. ATMOS (2010)