Concepedia

João Alcântara

JA

6

Publications

151

Citations

6

H-Index

2004

Active since

Affiliations

Universidade Federal do Ceará(Current)

University of Vienna

João Alcântara is an author at Universidade Federal do Ceará specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringSemanticsFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningLanguageLinguisticsFormal VerificationSyntax

Publications per year

2004–2019

6

Publications

6

On the equivalence between logic programming semantics and argumentation semantics

Martin Caminada, Samy Sá, João Alcântara et al. · International Journal of Approximate Reasoning · 2014 · 63 citations

Applied Logic, Computational Logic, Engineering +9

An encompassing framework for Paraconsistent Logic Programs

João Alcântara, Carlos Viegas Damásio, Luı́s Moniz Pereira · Journal of Applied Logic · 2004 · 31 citations

Applied Logic, Engineering, Automated Reasoning +6

On the Difference between Assumption-Based Argumentation and Abstract Argumentation

Martinus Wigbertus Antonius Caminada, Samy Sá, João Alcântara et al. · ORCA Online Research @Cardiff (Cardiff University) · 2015 · 23 citations · Full text

A declarative characterisation of disjunctive paraconsistent answer sets

João Alcântara, Carlos Viegas Damásio, Luı́s Moniz Pereira · 2004 · 14 citations

Paraconsistent Logic, Engineering, Semantics +16

Embedding Remaining Useful Life Predictions into a Modified Receding Horizon Task Assignment Algorithm to Solve Task Allocation Problems

Leonardo Ramos Rodrigues, João P. P. Gomes, João Alcântara · Journal of Intelligent & Robotic Systems · 2017 · 10 citations

Mathematical Programming, Artificial Intelligence, Useful Life Predictions +13

Rows per page

1–5 of 6