Ruy de Queiroz

1. Logic, Language, Information, and Computation
   2015/01/01 by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss +2 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #Semantic Web and Ontologies
2. Logic, Language, Information, and Computation
   2013/01/01 by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
3. 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014)
   2015/09/21 by Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz · 1 citation
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge
4. Logic, Language, Information and Computation
   2007/01/01 by Daniël Leivant, Ruy de Queiroz · 1 citation
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
5. 22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)
   2016/07/07 by Valeria de Paiva, Larry Moss, Daniël Leivant +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification
6. 24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
   2018/04/12 by Juliette Kennedy, Ruy de Queiroz, Alexandra Silva +1 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge
7. Logic, Language, Information, and Computation
   2019/01/01 by Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz · 1 citation
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge
8. 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018)
   2019/03/20 by Lawrence S. Moss, Maricarmen Martinez, Xavier Caicedo +1 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems
9. Belief dynamics in a social context
   2016/01/01 by Jouko Väänánen, Åsa Hirvonen, Ruy de Queiroz +4 · 1 citation
   Computer Science · Decision Sciences · Physics and Astronomy · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #Game Theory and Applications #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Opinion Dynamics and Social Influence
10. 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
    2016/11/03 by Jouko Väänánen, Ruy de Queiroz, Mauricio Osorio Galindo +2 · 1 citation
    Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
11. Logic, Language, Information, and Computation
    2021/01/01 by Alexandra Silva, Renata Wassermann, Ruy de Queiroz · 1 citation
    Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems