Concepedia
Statistics
Publications
5
Citations
189
H-Index
Active since
1982
António Porto is an author specializing in engineering, logic programming, and automated reasoning.
Top concepts
EngineeringLogic ProgrammingAutomated ReasoningSemanticsFormal MethodsComputer ScienceLanguageIntelligent SystemsProgramming LanguagesArtificial Intelligence
Publications per year
1982–1991
Contextual Logic Programming.
Luís Monteiro, António Porto · International Conference on Lightning Protection · 1989 · 102 citations
Applied Logic, Engineering, Automated Reasoning +5
Proceedings of the 5th Portuguese Conference on Artificial Intelligence
Pedro Barahona, Luı́s Moniz Pereira, António Porto · Portuguese Conference on Artificial Intelligence · 1991 · 31 citations
Artificial Intelligence, Ai Architecture, Engineering +3
A transformational view of inheritance in logic programming
Luís Monteiro, António Porto · International Conference on Lightning Protection · 1990 · 27 citations
Applied Logic, Non-classical Logic, Engineering +4
Epilog: A Language for Extended Programming in Logic.
António Porto · International Conference on Lightning Protection · 1982 · 18 citations
Applied Logic, Computational Logic, Engineering +6
Natural Language Semantics: A Logic Programming Approach.
António Porto, Miguel Filgueiras · SLP · 1984 · 11 citations
Knowledge Representation, Engineering, Automated Reasoning +6
1–5 of 5