David Fernández‐Duque

47 papers and 210 indexed citations i.

David Fernández‐Duque has authored 47 papers that have received a total of 210 indexed citations. This includes 41 papers in Artificial Intelligence, 29 papers in Computational Theory and Mathematics and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Logic, Reasoning, and Knowledge (32 papers), Logic, programming, and type systems (21 papers) and Advanced Algebra and Logic (15 papers). David Fernández‐Duque is often cited by papers focused on Logic, Reasoning, and Knowledge (32 papers), Logic, programming, and type systems (21 papers) and Advanced Algebra and Logic (15 papers) and collaborates with scholars based in Spain, Belgium and France. David Fernández‐Duque's co-authors include Joost J. Joosten, Hans van Ditmarsch, Fernando Soler Toscano, Nick Bezhanishvili and Philippe Balbiani and has published in prestigious journals such as Information Sciences, Journal of the ACM and Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences.