(also: Luis Manuel Augusto; Luis M. S. Augusto)
Founder and Editor-in-chief of
Researcher ORCID ID: https://orcid.org/0000-0001-9097-5722
Highest academic qualifications
Ph.D. in Philosophy – University of Paris
M.A. in Philosophy – University of Paris
M.Sc. in Computational Mathematics – Universidade Aberta
Further institutions & activities
University of Sussex (post-doctorate)
University of Barcelona (visiting researcher)
Generally, I research into natural and formal languages. This entails a broad-scope expertise, from math to philosophy, with (theoretical) computer science being a core component. I am particularly interested in (formal) languages for knowledge and agency, but also approach the subject from a purely computational perspective (e.g., compilation).
List of publications and links thereto.
· I am completing a project of the Journal of Knowledge Structures & Systems (JKSS) on bridging philosophical ontology and formal ontology via the work of the late medieval philosopher Dietrich of Freiberg. More specifically, this project bridges the gulf between information-based ontology (my own coinage) and ontology-based information; thus, it bridges the philosophical and formal approaches to information in ontology. Papers in the project are available (open access) in JKSS 2(2), JKSS 3(1), JKSS 3(2), JKSS 3(3). Check also the commentaries on these articles published in the indicated issues.
· In the quest for decidability, I am going deep into automata and infinite games, namely in association with monadic second-order logic, temporal logics, many-valued logics, etc.
· A two-volume work on computational logic is underway. Volume 1 is already published (in College Publications, London). The second volume is planned to be on logics with game semantics.
· I am working together with Farshad Badie (Research Group Natural and Formal Languages, Aalborg University) on symbolic AI based on shared conceptualization. Published papers: Augusto & Badie (2022), Badie & Augusto (2022)
Conferences, talks, etc.
To be announced