Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: João F. L. Alcântara
@inproceedings{DBLP:conf/bracis/SilvaA22,
author = {Rafael Silva and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Jo{\~{a}}o Carlos Xavier Junior and
Ricardo Ara{\'{u}}jo Rios},
title = {Dealing with Inconsistencies in ASPIC\({}^{\mbox{+}}\)},
booktitle = {Intelligent Systems - 11th Brazilian Conference, {BRACIS} 2022, Campinas,
Brazil, November 28 - December 1, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13653},
pages = {488--503},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21686-2\_34},
doi = {10.1007/978-3-031-21686-2\_34},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/SilvaA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/CordeiroA22,
author = {Renan Cordeiro and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Jo{\~{a}}o Carlos Xavier Junior and
Ricardo Ara{\'{u}}jo Rios},
title = {Generalising Semantics to Weighted Bipolar Argumentation Frameworks},
booktitle = {Intelligent Systems - 11th Brazilian Conference, {BRACIS} 2022, Campinas,
Brazil, November 28 - December 1, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13653},
pages = {520--534},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21686-2\_36},
doi = {10.1007/978-3-031-21686-2\_36},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/CordeiroA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/CordeiroFAV21,
author = {Renan Cordeiro and
Guilherme Fernandes and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Henrique Viana},
editor = {Andr{\'{e}} Britto and
Karina Valdivia Delgado},
title = {A Systematic Approach to Define Semantics for Prioritised Logic Programs},
booktitle = {Intelligent Systems - 10th Brazilian Conference, {BRACIS} 2021, Virtual
Event, November 29 - December 3, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13073},
pages = {297--312},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91702-9\_20},
doi = {10.1007/978-3-030-91702-9\_20},
timestamp = {Fri, 03 Dec 2021 17:38:13 +0100},
biburl = {https://dblp.org/rec/conf/bracis/CordeiroFAV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/SilvaA21,
author = {Rafael Silva and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Andr{\'{e}} Britto and
Karina Valdivia Delgado},
title = {{ASPIC} \({}^{\mbox{?}}\) and the Postulates of Non-interference and
Crash-Resistance},
booktitle = {Intelligent Systems - 10th Brazilian Conference, {BRACIS} 2021, Virtual
Event, November 29 - December 3, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13073},
pages = {328--343},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91702-9\_22},
doi = {10.1007/978-3-030-91702-9\_22},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/SilvaA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/VianaA21,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Andr{\'{e}} Britto and
Karina Valdivia Delgado},
title = {On the Refinement of Compensation-Based Semantics for Weighted Argumentation
Frameworks},
booktitle = {Intelligent Systems - 10th Brazilian Conference, {BRACIS} 2021, Virtual
Event, November 29 - December 3, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13073},
pages = {344--358},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91702-9\_23},
doi = {10.1007/978-3-030-91702-9\_23},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/VianaA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/SaA21,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Jirina Vejnarov{\'{a}} and
Nic Wilson},
title = {An Abstract Argumentation and Logic Programming Comparison Based on
5-Valued Labellings},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 16th European Conference, {ECSQARU} 2021, Prague, Czech Republic,
September 21-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12897},
pages = {159--172},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86772-0\_12},
doi = {10.1007/978-3-030-86772-0\_12},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/SaA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/SaA21a,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Jirina Vejnarov{\'{a}} and
Nic Wilson},
title = {Assumption-Based Argumentation Is Logic Programming with Projection},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 16th European Conference, {ECSQARU} 2021, Prague, Czech Republic,
September 21-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12897},
pages = {173--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86772-0\_13},
doi = {10.1007/978-3-030-86772-0\_13},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/SaA21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/SilvaA21,
author = {Rafael Silva and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Jirina Vejnarov{\'{a}} and
Nic Wilson},
title = {A Paraconsistent Approach to Deal with Epistemic Inconsistencies in
Argumentation},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 16th European Conference, {ECSQARU} 2021, Prague, Czech Republic,
September 21-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12897},
pages = {187--200},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86772-0\_14},
doi = {10.1007/978-3-030-86772-0\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/SilvaA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/VianaA20,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Ricardo Cerri and
Ronaldo C. Prati},
title = {Aggregation with Weak, Axiological and Strong Sufficientarian Functions},
booktitle = {Intelligent Systems - 9th Brazilian Conference, {BRACIS} 2020, Rio
Grande, Brazil, October 20-23, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12320},
pages = {216--230},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61380-8\_15},
doi = {10.1007/978-3-030-61380-8\_15},
timestamp = {Wed, 21 Oct 2020 16:49:40 +0200},
biburl = {https://dblp.org/rec/conf/bracis/VianaA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/SilvaSA20,
author = {Rafael Silva and
Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Henry Prakken and
Stefano Bistarelli and
Francesco Santini and
Carlo Taticchi},
title = {Semantics Hierarchy in Preference-Based Argumentation Frameworks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2020, Perugia,
Italy, September 4-11, 2020},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {326},
pages = {339--346},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200517},
doi = {10.3233/FAIA200517},
timestamp = {Fri, 29 Jan 2021 21:15:47 +0100},
biburl = {https://dblp.org/rec/conf/comma/SilvaSA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlcantaraSG19,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Samy S{\'{a}} and
Juan Carlos Acosta Guadarrama},
title = {On the Equivalence Between Abstract Dialectical Frameworks and Logic
Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {941--956},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000280},
doi = {10.1017/S1471068419000280},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlcantaraSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/AlbuquerqueA19,
author = {Rafael da Silva Albuquerque and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
title = {A Rough Sets-Based Method with Belief Merging Operators for Multiclass
Classification Problems},
booktitle = {8th Brazilian Conference on Intelligent Systems, {BRACIS} 2019, Salvador,
Brazil, October 15-18, 2019},
pages = {30--35},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/BRACIS.2019.00015},
doi = {10.1109/BRACIS.2019.00015},
timestamp = {Thu, 09 Jan 2020 12:36:19 +0100},
biburl = {https://dblp.org/rec/conf/bracis/AlbuquerqueA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ArrudaAVBCPF19,
author = {Narciso Arruda and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
V{\^{a}}nia Maria P. Vidal and
Angelo Brayner and
Marco A. Casanova and
Val{\'{e}}ria Magalh{\~{a}}es Pequeno and
Wellington Franco},
editor = {Joaquim Filipe and
Michal Smialek and
Alexander Brodsky and
Slimane Hammoudi},
title = {A Fuzzy Approach for Data Quality Assessment of Linked Datasets},
booktitle = {Proceedings of the 21st International Conference on Enterprise Information
Systems, {ICEIS} 2019, Heraklion, Crete, Greece, May 3-5, 2019, Volume
1},
pages = {399--406},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007718803990406},
doi = {10.5220/0007718803990406},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/ArrudaAVBCPF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SaA19,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Interpretations and models for assumption-based argumentation},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {1139--1146},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297392},
doi = {10.1145/3297280.3297392},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/SaA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09548,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Samy S{\'{a}} and
Juan Carlos Acosta Guadarrama},
title = {On the Equivalence Between Abstract Dialectical Frameworks and Logic
Programs},
journal = {CoRR},
volume = {abs/1907.09548},
year = {2019},
url = {http://arxiv.org/abs/1907.09548},
eprinttype = {arXiv},
eprint = {1907.09548},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/RodriguesGA18,
author = {Leonardo Ramos Rodrigues and
Jo{\~{a}}o P. P. Gomes and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
title = {Embedding Remaining Useful Life Predictions into a Modified Receding
Horizon Task Assignment Algorithm to Solve Task Allocation Problems},
journal = {J. Intell. Robotic Syst.},
volume = {90},
number = {1-2},
pages = {133--145},
year = {2018},
url = {https://doi.org/10.1007/s10846-017-0649-8},
doi = {10.1007/S10846-017-0649-8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jirs/RodriguesGA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/AlbuquerqueAG18,
author = {Rafael da Silva Albuquerque and
Joao Fernando Lima Alcantara and
Jo{\~{a}}o Paulo Pordeus Gomes},
title = {A Rough Sets-Based Rule Induction for Numerical Datasets},
booktitle = {7th Brazilian Conference on Intelligent Systems, {BRACIS} 2018, S{\~{a}}o
Paulo, Brazil, October 22-25, 2018},
pages = {510--515},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/BRACIS.2018.00094},
doi = {10.1109/BRACIS.2018.00094},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/AlbuquerqueAG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/VianaA18,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Propositional Belief Merging with {OWA} Operators},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {667},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18043},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/VianaA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nafips/VianaA18,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Guilherme A. Barreto and
Ricardo Coelho},
title = {Aggregation with T-Norms and LexiT-Orderings and Their Connections
with the Leximin Principle},
booktitle = {Fuzzy Information Processing - 37th Conference of the North American
Fuzzy Information Processing Society, {NAFIPS} 2018, Fortaleza, Brazil,
July 4-6, 2018, Proceedings},
series = {Communications in Computer and Information Science},
volume = {831},
pages = {179--191},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95312-0\_16},
doi = {10.1007/978-3-319-95312-0\_16},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nafips/VianaA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlcantaraS18,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Samy S{\'{a}}},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {An infinite-valued grounded labelling for abstract argumentation frameworks},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {903--910},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167231},
doi = {10.1145/3167132.3167231},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/AlcantaraS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlcantaraS19,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Samy S{\'{a}}},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {3--23},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.002},
doi = {10.1016/J.ENTCS.2019.07.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlcantaraS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/MaiaA16,
author = {Gabriel Maia and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
title = {Reasoning about Trust and Belief in Possibilistic Answer Set Programming},
booktitle = {5th Brazilian Conference on Intelligent Systems, {BRACIS} 2016, Recife,
Brazil, October 9-12, 2016},
pages = {217--222},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BRACIS.2016.048},
doi = {10.1109/BRACIS.2016.048},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bracis/MaiaA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/VianaA16,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Natalia Criado Pacheco and
Carlos Carrascosa and
Nardine Osman and
Vicente Juli{\'{a}}n Inglada},
title = {Propositional Belief Merging with T-conorms},
booktitle = {Multi-Agent Systems and Agreement Technologies - 14th European Conference,
{EUMAS} 2016, and 4th International Conference, {AT} 2016, Valencia,
Spain, December 15-16, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10207},
pages = {405--420},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-59294-7\_34},
doi = {10.1007/978-3-319-59294-7\_34},
timestamp = {Thu, 08 Sep 2022 19:48:32 +0200},
biburl = {https://dblp.org/rec/conf/eumas/VianaA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/VianaA16a,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Natalia Criado Pacheco and
Carlos Carrascosa and
Nardine Osman and
Vicente Juli{\'{a}}n Inglada},
title = {Sufficientarian Propositional Belief Merging},
booktitle = {Multi-Agent Systems and Agreement Technologies - 14th European Conference,
{EUMAS} 2016, and 4th International Conference, {AT} 2016, Valencia,
Spain, December 15-16, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10207},
pages = {421--435},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-59294-7\_35},
doi = {10.1007/978-3-319-59294-7\_35},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/VianaA16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/CaminadaSAD15,
author = {Martin Caminada and
Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Wolfgang Dvor{\'{a}}k},
title = {On the Difference between Assumytion-Based Argumentation and Abstract
Argumentation},
journal = {{FLAP}},
volume = {2},
number = {1},
pages = {15--34},
year = {2015},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00003.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/CaminadaSAD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/CaminadaSAD15,
author = {Martin Caminada and
Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Wolfgang Dvor{\'{a}}k},
title = {On the equivalence between logic programming semantics and argumentation
semantics},
journal = {Int. J. Approx. Reason.},
volume = {58},
pages = {87--111},
year = {2015},
url = {https://doi.org/10.1016/j.ijar.2014.12.004},
doi = {10.1016/J.IJAR.2014.12.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/CaminadaSAD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/VianaAM15,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Ana Teresa C. Martins},
title = {Searching contexts in paraconsistent rough description logic},
journal = {J. Braz. Comput. Soc.},
volume = {21},
number = {1},
pages = {7},
year = {2015},
url = {https://doi.org/10.1186/s13173-015-0031-2},
doi = {10.1186/S13173-015-0031-2},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jbcs/VianaAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/LeiteAA15,
author = {Lucas Leite and
Thiago Alves Rocha and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
title = {Merging Argumentation Systems},
booktitle = {2015 Brazilian Conference on Intelligent Systems, {BRACIS} 2015, Natal,
Brazil, November 4-7, 2015},
pages = {110--115},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/BRACIS.2015.45},
doi = {10.1109/BRACIS.2015.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/LeiteAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/FrotaMAB14,
author = {Debora Farias Frota and
Ana Teresa C. Martins and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Luis Henrique Bustamante},
title = {An {ALC} Description Default Logic with Exceptions-First},
booktitle = {2014 Brazilian Conference on Intelligent Systems, {BRACIS} 2014, Sao
Paulo, Brazil, October 18-22, 2014},
pages = {172--179},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/BRACIS.2014.40},
doi = {10.1109/BRACIS.2014.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/FrotaMAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/VianaALA14,
author = {Henrique Viana and
Arnaldo Ara{\'{u}}jo and
Lucas Leite and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
title = {Private Dynamic Epistemic Friendship Logic},
booktitle = {2014 Brazilian Conference on Intelligent Systems, {BRACIS} 2014, Sao
Paulo, Brazil, October 18-22, 2014},
pages = {378--383},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/BRACIS.2014.74},
doi = {10.1109/BRACIS.2014.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/VianaALA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/VianaA14,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Nils Bulling},
title = {Priority-Based Merging Operator Without Distance Measures},
booktitle = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague,
Czech Republic, December 18-19, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8953},
pages = {398--413},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17130-2\_28},
doi = {10.1007/978-3-319-17130-2\_28},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eumas/VianaA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SaA13,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Maria L. Gini and
Onn Shehory and
Takayuki Ito and
Catholijn M. Jonker},
title = {Preferences with qualitative thresholds and methods for individual
and collective decisions},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
pages = {1247--1248},
publisher = {{IFAAMAS}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485166},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/SaA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bracis/VianaAM13,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Ana Teresa C. Martins},
title = {Searching Contexts in Rough Description Logics},
booktitle = {Brazilian Conference on Intelligent Systems, {BRACIS} 2013, Fortaleza,
CE, Brazil, 19-24 October, 2013},
pages = {163--168},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/BRACIS.2013.35},
doi = {10.1109/BRACIS.2013.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bracis/VianaAM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CaminadaSA13,
author = {Martin Caminada and
Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Linda C. van der Gaag},
title = {On the Equivalence between Logic Programming Semantics and Argumentation
Semantics},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 12th European Conference, {ECSQARU} 2013, Utrecht, The Netherlands,
July 8-10, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7958},
pages = {97--108},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39091-3\_9},
doi = {10.1007/978-3-642-39091-3\_9},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/CaminadaSA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SaA13,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Preference Handling for Belief-Based Rational Decisions},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {518--523},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_51},
doi = {10.1007/978-3-642-40564-8\_51},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SaA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aamas/SaA12,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Wiebe van der Hoek and
Lin Padgham and
Vincent Conitzer and
Michael Winikoff},
title = {Cooperative dialogues with conditional arguments},
booktitle = {International Conference on Autonomous Agents and Multiagent Systems,
{AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)},
pages = {501--508},
publisher = {{IFAAMAS}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2343648},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aamas/SaA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/propor/FrancoAVA12,
author = {Wellington Franco and
Thiago Alves Rocha and
Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Helena de Medeiros Caseli and
Aline Villavicencio and
Ant{\'{o}}nio J. S. Teixeira and
Fernando Perdig{\~{a}}o},
title = {A Description Logic for InferenceNet.Br},
booktitle = {Computational Processing of the Portuguese Language - 10th International
Conference, {PROPOR} 2012, Coimbra, Portugal, April 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7243},
pages = {298--305},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28885-2\_34},
doi = {10.1007/978-3-642-28885-2\_34},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/propor/FrancoAVA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SaA11,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Liz Sonenberg and
Peter Stone and
Kagan Tumer and
Pinar Yolum},
title = {Abduction guided query relaxation},
booktitle = {10th International Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3},
pages = {1275--1276},
publisher = {{IFAAMAS}},
year = {2011},
url = {http://portal.acm.org/citation.cfm?id=2034523\&\#38;CFID=69154334\&\#38;CFTOKEN=45298625},
timestamp = {Tue, 27 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/SaA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SaA11,
author = {Samy S{\'{a}} and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara},
editor = {Jo{\~{a}}o Leite and
Paolo Torroni and
Thomas {\AA}gotnes and
Guido Boella and
Leon van der Torre},
title = {Abduction-Based Search for Cooperative Answers},
booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop,
{CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6814},
pages = {208--224},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22359-4\_15},
doi = {10.1007/978-3-642-22359-4\_15},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/clima/SaA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/VianaAM11,
author = {Henrique Viana and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Ana Teresa C. Martins},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Paraconsistent Rough Description Logic},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_37.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/VianaAM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/VianaAAM10,
author = {Henrique Viana and
Thiago Alves Rocha and
Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Ana Teresa C. Martins},
editor = {Fernando Bobillo and
Rommel N. Carvalho and
Paulo Cesar G. da Costa and
Claudia d'Amato and
Nicola Fanizzi and
Kathryn B. Laskey and
Kenneth J. Laskey and
Thomas Lukasiewicz and
Trevor Martin and
Matthias Nickles and
Michael Pool},
title = {A Tractable Paraconsistent Fuzzy Description Logic},
booktitle = {Proceedings of the 6th International Workshop on Uncertainty Reasoning
for the Semantic Web {(URSW} 2010), collocated with the 9th International
Semantic Web Conference (ISWC-2010), Shanghai, China, November 7,
2010},
series = {{CEUR} Workshop Proceedings},
volume = {654},
pages = {101--104},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-654/pospaper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/VianaAAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AlcantaraDP05,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
title = {An encompassing framework for Paraconsistent Logic Programs},
journal = {J. Appl. Log.},
volume = {3},
number = {1},
pages = {67--95},
year = {2005},
url = {https://doi.org/10.1016/j.jal.2004.07.012},
doi = {10.1016/J.JAL.2004.07.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/AlcantaraDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlcantaraDP05,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Well-Founded Semantics with Disjunction},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {341--355},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_26},
doi = {10.1007/11562931\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AlcantaraDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AlcantaraDP04,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {A Declarative Characterization of Disjunctive Paraconsistent Answer
Sets},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {951--952},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AlcantaraDP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AlcantaraDP02,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Paraconsistent Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {345--356},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_29},
doi = {10.1007/3-540-45757-7\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlcantaraDP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
