Datalog swMATH ID: 20023 Software Authors: Ceri, S., Gottlob, G., Tanca, L Description: Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive databases. In recent years, Datalog has found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.[1] Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.[2] David Maier is credited with coining the term Datalog. (wikipedia) Homepage: https://en.wikipedia.org/wiki/Datalog Related Software: ASSAT; Gringo; Clingo; WASP; Smodels; DLV; XSB; Cmodels; XPath; SPARQL; DLV2; Potassco; Ltur; Vadalog; GraphLog; GASP; clasp; LUBM; Ontop; Dyna Cited in: 282 Publications all top 5 Cited by 448 Authors 16 Gottlob, Georg 14 Eiter, Thomas 14 Leone, Nicola 10 Greco, Sergio 9 Faber, Wolfgang 8 Saccà, Domenico 6 Achs, Ágnes 6 Gurevich, Yuri 6 Martinez, Maria Vanina 5 Abiteboul, Serge 5 Alviano, Mario 5 Dong, Guozhu 5 Gergatsoulis, Manolis 5 Lukasiewicz, Thomas 5 Veith, Helmut 5 Woltran, Stefan 5 Zaniolo, Carlo 4 Afrati, Foto N. 4 Dodaro, Carmine 4 Grädel, Erich 4 Greco, Gianluigi 4 Guessarian, Irène 4 Hegner, Stephen J. 4 Maratea, Marco 4 Ortiz, Magdalena 4 Pieris, Andreas 4 Revesz, Peter Z. 4 Ricca, Francesco 4 Rondogiannis, Panos 4 Sáenz-Pérez, Fernando 4 Simari, Gerardo I. 4 Šimkus, Mantas 4 Vianu, Victor 3 Bertossi, Leopoldo E. 3 Blass, Andreas Raphael 3 Bodirsky, Manuel 3 Bonatti, Piero Andrea 3 Bonner, Anthony J. 3 Chaudhuri, Surajit 3 Chen, Yangjun 3 Cuenca Grau, Bernardo 3 Dalmau, Víctor 3 Foustoucos, Eugénie 3 Horrocks, Ian 3 Kaminski, Mark 3 Kiss, Attila 3 Koch, Christoph T. 3 Molinaro, Cristian 3 Niemelä, Ilkka N. F. 3 Palopoli, Luigi 3 Pfeifer, Gerald 3 Sagiv, Yehoshua 3 Shmueli, Oded 3 Tanca, Letizia 3 Vardi, Moshe Ya’akov 3 Witkowski, Adam 3 Zhang, Yan 2 Ahmetaj, Shqiponja 2 Asuncion, Vernon 2 Balcázar, José Luis 2 Bjørner, Nikolaj S. 2 Bourhis, Pierre 2 Bourreau, Pierre 2 Brass, Stefan 2 Brewka, Gerhard 2 Brisaboa, Nieves R. 2 Caballero, Rafael E. 2 Calimeri, Francesco 2 Cantone, Domenico 2 Consens, Mariano P. 2 Cosmadakis, Stavros S. 2 Deagustini, Cristhian Ariel D. 2 Dvořák, Wolfgang 2 Falappa, Marcelo Alejandro 2 Fink, Michael 2 Formisano, Andrea 2 Gallaire, Hervé 2 García-Ruiz, Yolanda 2 Gerasimova, Olga 2 Ginsburg, Seymour 2 González, Agustín E. 2 Halfeld Ferrari Alves, Mírian 2 Hernández, Héctor J. 2 Heymans, Stijn 2 Ibaraki, Toshihide 2 Interlandi, Matteo 2 Kikot, Stanislav 2 Lam, Monica S. 2 Liu, Yanhong Annie 2 Lutz, Carsten 2 Makino, Kazuhisa 2 Mazowiecki, Filip 2 McColm, Gregory L. 2 Mendelzon, Alberto O. 2 Meskes, Michael 2 Minker, Jack 2 Motik, Boris 2 Murlak, Filip 2 Nenov, Yavor 2 Nicolas, Jean-Marie ...and 348 more Authors all top 5 Cited in 51 Serials 24 Artificial Intelligence 24 Theory and Practice of Logic Programming 20 Theoretical Computer Science 15 Journal of Computer and System Sciences 11 Annals of Mathematics and Artificial Intelligence 9 The Journal of Logic Programming 9 Information and Computation 7 Information Processing Letters 6 Logical Methods in Computer Science 4 Journal of Computer Science and Technology 4 International Journal of Approximate Reasoning 4 The Journal of Artificial Intelligence Research (JAIR) 4 ACM Transactions on Computational Logic 3 Acta Informatica 3 Annals of Pure and Applied Logic 3 Fundamenta Informaticae 2 Discrete Applied Mathematics 2 Acta Cybernetica 2 Programming and Computer Software 2 SIAM Journal on Computing 2 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica 2 Computers and Artificial Intelligence 2 New Generation Computing 2 Journal of Automated Reasoning 2 Data & Knowledge Engineering 2 Machine Learning 2 Journal of Logic and Computation 2 Alkalmazott Matematikai Lapok. A Magyar Tudomanyos Akademia. Matematikai es Fizikai Tudomanyok Osztalyanak Közlemenyei 2 Constraints 2 Theory of Computing Systems 2 Journal of the ACM 2 Bulletin of the European Association for Theoretical Computer Science EATCS 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Foundations and Trends in Databases 1 Computers & Mathematics with Applications 1 Information Sciences 1 Journal of the Association for Computing Machinery 1 Journal of Algorithms 1 Mathematical and Computer Modelling 1 AI Communications 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 Computing Surveys 1 IEEE Transactions on Systems, Man, and Cybernetics 1 Information Systems 1 1 RAIRO. Theoretical Informatics and Applications 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Computer Science Review 1 Synthesis Lectures on Data Management all top 5 Cited in 9 Fields 278 Computer science (68-XX) 41 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year