João Barbosa is an author at University of Évora specializing in language studies, formal logic, and non-monotonic logic.
Top concepts
LanguageSemanticsEngineeringLinguisticsFormal LogicFormal MethodsComputer ScienceLogic ProgrammingDescription LogicsAutomated Reasoning
Publications per year
2022–2022
1
1
Fifty Years of Prolog and Beyond
Philipp Körner, Michaël Leuschel, João Barbosa et al. · Theory and Practice of Logic Programming · 2022 · 34 citations · Full text
Rows per page
1–1 of 1