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 […]
Leer más… from LTL Realizability via Safety and Reachability Games
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.
[…]
Leer más… from Containment for Rule-Based Ontology-Mediated Queries
Rada Chirkova, Jon Doyle, Juan Reutter. AMW 2018. […]
Leer más… 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. […]
Olaf Hartig, Jorge Pérez. WWW ’18 Proceedings of the 2018 World Wide Web Conference. […]
P. Barceló, M. Romero, and T. Zeume, ‘A More General Theory of Static Approximations for Conjunctive Queries’, in 21st International Conference on Database Theory (ICDT 2018), 2018, vol. 98, p. 7:1-7:22. https://doi.org/10.4230/LIPIcs.ICDT.2018.7 […]
Leer más… from A More General Theory of Static Approximations for Conjunctive Queries
