关注
João Alcântara
João Alcântara
Professor of Computer Science, Universidade Federal do Ceará
在 lia.ufc.br 的电子邮件经过验证
标题
引用次数
引用次数
年份
On the equivalence between logic programming semantics and argumentation semantics
M Caminada, S Sá, J Alcântara, W Dvořák
International Journal of Approximate Reasoning 58, 87-111, 2015
1242015
On the difference between assumption-based argumentation and abstract argumentation
MWA Caminada, S Sá, J Alcântara, W Dvořák
IfCoLog Journal of Logics and their Applications, 2015
492015
An encompassing framework for paraconsistent logic programs
J Alcântara, CV Damásio, LM Pereira
Journal of Applied Logic 3 (1), 67-95, 2005
362005
Paraconsistent logic programs
J Alcântara, CV Damásio, LM Pereira
European Workshop on Logics in Artificial Intelligence, 345-356, 2002
272002
A declarative characterisation of disjunctive paraconsistent answer sets
J Alcântara, CV Damásio, LM Pereira
ECAI 16, 951, 2004
172004
On the equivalence between abstract dialectical frameworks and logic programs
J Alcantara, S Sá, J Acosta-Guadarrama
Theory and Practice of Logic Programming 19 (5-6), 941-956, 2019
142019
Embedding remaining useful life predictions into a modified receding horizon task assignment algorithm to solve task allocation problems
LR Rodrigues, JPP Gomes, JFL Alcântara
Journal of Intelligent & Robotic Systems 90, 133-145, 2018
142018
A well-founded semantics with disjunction
J Alcântara, CV Damásio, LM Pereira
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005
142005
Grupo SINTA-Sistemas INTeligentes Aplicados
JHM Nogueira, JFL Alcântara, RC de Andrade, RB Silva, RS Silvestre
Universidade Federal do Ceará (UFC) e Universidade Estadual do Ceará (UECE), 1995
81995
Cooperative dialogues with conditional arguments
S Sá, J Alcântara
Proceedings of the 11th International Conference on Autonomous Agents and …, 2012
72012
Semantics hierarchy in preference-based argumentation frameworks
R Silva, S Sá, J Alcântara
Computational Models of Argument, 339-346, 2020
62020
A fuzzy approach for data quality assessment of linked datasets
N Arruda, J Alcântara, V Vidal, A Brayner, M Casanova, V Pequeno, ...
International Conference on Enterprise Information Systems 1, 399-406, 2019
62019
Paraconsistent rough description logic
H Viana, J Alcântara, ATC Martins
Proc. of the 2011 Int. Workshop on Description Logics (DL’11) 745, 587-597, 2011
62011
Expert SINTA: uma ferramenta visual geradora de sistemas especialistas
JHM NOGUEIRA, RB ANDRADE E SILVA, JFL Alcântara, SC HOLANDA, ...
Laboratório de Inteligência Artificial-LIA/UFC-UECE, 1996
61996
Equivalence results between SETAF and attacking abstract dialectical frameworks
J Alcântara, S Sá
Proceedings nmr 2021, 139-48, 2021
52021
Assumption-based argumentation is logic programming with projection
S Sá, J Alcântara
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th …, 2021
52021
A frame-based characterisation of the paraconsistent well-founded semantics with explicit negation
J Alcântara, C Damásio, LM Pereira
Unpublished draft, available at http://centria. di. fct. unl. pt/~ jfla …, 2004
52004
On three-valued acceptance conditions of abstract dialectical frameworks
J Alcântara, S Sá
Electronic Notes in Theoretical Computer Science 344, 3-23, 2019
42019
Interpretations and models for assumption-based argumentation
S Sá, J Alcântara
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1139-1146, 2019
42019
An abstract argumentation and logic programming comparison based on 5-valued labellings
S Sá, J Alcântara
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th …, 2021
32021
系统目前无法执行此操作,请稍后再试。
文章 1–20