Henrique Viana

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