Concepedia

Martín Diéguez

MD

Statistics

Publications

6

Citations

127

H-Index

6

Active since

2013

Affiliations

Universidade da Coruña(Current)

École nationale d'ingénieurs de Brest

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

Institut Polytechnique de Bordeaux

Université d'Angers

Martín Diéguez is an author at Universidade da Coruña specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringSemanticsFormal MethodsComputer ScienceAutomated ReasoningLogic ProgrammingFormal VerificationSystems EngineeringBusinessMedicine

Publications per year

2013–2022

6

Publications

6

Temporal equilibrium logic: a survey

Felicidad Aguado, Pedro Cabalar, Martín Diéguez et al. · Journal of Applied Non-Classical Logics · 2013 · 47 citations

Applied Logic, Equilibrium Logic, Engineering +16

Intuitionistic Linear Temporal Logics

Philippe Balbiani, Joseph Boudou, Martín Diéguez et al. · ACM Transactions on Computational Logic · 2019 · 24 citations · Full text

Persistent Posets, Non-classical Logic, Cognitive Science +12

Linear-Time Temporal Answer Set Programming

Felicidad Aguado, Pedro Cabalar, Martín Diéguez et al. · Theory and Practice of Logic Programming · 2021 · 19 citations · Full text

Mathematical Programming, Artificial Intelligence, Equilibrium Logic +18

Emergent Protein Folding Modeled with Evolved Neural Cellular Automata Using the 3D HP Model

José Sántos, Pablo Villot, Martín Diéguez · Journal of Computational Biology · 2014 · 15 citations

Engineering, Molecular Biology, Protein Folding +18

Introducing Temporal Stable Models for Linear Dynamic Logic

Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2018 · 12 citations

Rows per page

1–5 of 6