A. Camacho, C. Muise, J. A. Baier & S. A. McIlraith. “LTL Realizability via Safety and Reachability Games”. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Main track. Pages 4683-4691. https://doi.org/10.24963/ijcai.2018/651 […]
Read More… from LTL Realizability via Safety and Reachability Games
Are computers almighty? Marcelo Arenas will talk about the subject in The Nerd Nights Chile The Nerd Nights or Nerd Nite SCL are monthly events where enthusiasts on science and […]
New Millennium Institute for Foundational Research on Data committed to do innovative data science in Chile The implications of the data in our lives are widely known. We generate them […]
Marcelo Mendoza, Bárbara Poblete, Ignacio Valderrama. Social Computing and Social Media. Technologies and Analytics. SCSM 2018. Lecture Notes in Computer Science. […]
Pablo Barceló, Gerald Berger, Andreas Pieris. SIGMOD/PODS ’18 Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems.
[…]
Read More… from Containment for Rule-Based Ontology-Mediated Queries
Rada Chirkova, Jon Doyle, Juan Reutter. AMW 2018. […]
Read More… from The Data Readiness Problem for Relational Databases
L. González & A. Hogan. “A Data-Driven Graph Schema”. In AMW 2018: Proc. of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, May 21-25, 2018, Cali, Colombia. […]
