|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 649 occurrences of 303 keywords
|
|
|
Results
Found 1398 publication records. Showing 1398 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob |
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6447-6451, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Xinyue Zhang, Pan Hu 0001, Yavor Nenov, Ian Horrocks 0001 |
Enhancing Datalog Reasoning with Hypertree Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 3383-3393, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega |
Temporal Datalog with Existential Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 3277-3285, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Francesco Di Cosmo |
Decidability Borders of Verification of Communicating Datalog Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS ![In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, pp. 507-513, 2023, Springer, 978-3-031-43263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Herbert Jordan, Pavle Subotic, David Zhao 0001, Bernhard Scholz |
Specializing parallel data structures for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 34(2), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Bas Ketsman, Paraschos Koutris |
Modern Datalog Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Trends Databases ![In: Found. Trends Databases 12(1), pp. 1-68, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Loan Ho, Somjit Arch-int, Erman Acar, Stefan Schlobach, Ngamnij Arch-int |
An argumentative approach for handling inconsistency in prioritized Datalog± ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 35(3), pp. 243-267, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Imran, Gábor E. Gévay, Jorge-Arnulfo Quiané-Ruiz, Volker Markl |
Fast datalog evaluation for batch and stream graph processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 25(2), pp. 971-1003, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Tom Godden, Ruben de Smet, Christophe Debruyne, Thibaut Vandervelden, Kris Steenhaut, An Braeken |
Circuitree: A Datalog Reasoner in Zero-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 21384-21396, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mojgan Kouhounestani, Woosuk Lee |
Datalog Static Analysis in Secrecy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 56179-56192, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang |
Datalog in Wonderland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 51(2), pp. 6-17, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Pan Hu 0001, Boris Motik, Ian Horrocks 0001 |
Modular materialisation of Datalog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 308, pp. 103726, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner 0001 |
Generative Datalog with Continuous Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 69(6), pp. 46:1-46:52, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mark Kaminski, Egor V. Kostylev, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks 0001 |
The Complexity and Expressive Power of Limit Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 69(1), pp. 6:1-6:83, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Lucas Berent, Markus Nissl, Emanuel Sallinger |
Complexity of Arithmetic in Warded Datalog+-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.05086, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Dingmin Wang, Pan Hu 0001, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau |
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.04596, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris |
Generative Datalog with Stable Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.12247, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Nicola Leone, Marco Manna, Maria Concetta Morelli, Simona Perri |
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.12726, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
On the Relationship between Shy and Warded Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06285, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Mingda Li, Jin Wang 0007, Guorui Xiao, Youfu Li, Carlo Zaniolo |
Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.14857, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob |
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.01718, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Chloé Capon, Nicolas Lecomte, Jef Wijsen |
Computing H-Partitions in ASP and Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.03730, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx 0001, Harish K. Murali, Christoph Weidenbach |
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.09769, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche |
Expressiveness within Sequence Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.06754, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo |
Revisiting Semiring Provenance for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.10766, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob |
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 22(5), pp. 678-692, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mingda Li, Jin Wang 0007, Guorui Xiao, Youfu Li, Carlo Zaniolo |
Demonstration of LogicLib: An Expressive Multi-Language Interface over Scalable Datalog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 31st ACM International Conference on Information & Knowledge Management, Atlanta, GA, USA, October 17-21, 2022, pp. 4917-4920, 2022, ACM, 978-1-4503-9236-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Yann Ramusat, Silviu Maniu, Pierre Senellart |
Efficient provenance-aware querying of graph databases with datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRADES-NDA@SIGMOD ![In: GRADES-NDA '22: Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Philadelphia, Pennsylvania, USA, 12 June 2022, pp. 4:1-4:9, 2022, ACM, 978-1-4503-9384-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Xue Li, Alan Bundy |
An overview of the ABC Repair System for Datalog-like Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLC ![In: Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), Windsor, United Kingdom, September 28-30th, 2022., pp. 11-17, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Ahmedur Rahman Shovon, Landon Richard Dyken, Oded Green, Thomas Gilray, Sidharth Kumar |
Accelerating Datalog applications with cuDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IA3@SC ![In: 12th IEEE/ACM Workshop on Irregular Applications: Architectures and Algorithms, IA3@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 41-45, 2022, IEEE, 978-1-6654-7506-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Chloé Capon, Nicolas Lecomte, Jef Wijsen |
Computing H-Partitions in ASP and Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshops ![In: Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Jiacheng Wu, Jin Wang 0007, Carlo Zaniolo |
Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022, pp. 1433-1446, 2022, ACM, 978-1-4503-9249-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang |
Convergence of Datalog over (Pre-) Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022, pp. 105-117, 2022, ACM, 978-1-4503-9260-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | André Pacak, Sebastian Erdweg |
Functional Programming with Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 7:1-7:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | André Pacak, Tamás Szabó, Sebastian Erdweg |
Incremental Processing of Structured Data in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2022, Auckland, New Zealand, December 6-7, 2022, pp. 20-32, 2022, ACM, 978-1-4503-9920-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Chris Tomy, Tingmao Wang, Earl T. Barr, Sergey Mechtaev |
Modus: a Datalog dialect for building container images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022, pp. 595-606, 2022, ACM, 978-1-4503-9413-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Dingmin Wang, Pan Hu 0001, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau |
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pp. 5906-5913, 2022, AAAI Press, 978-1-57735-876-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius |
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Cardinality-Based Repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 30th Italian Symposium on Advanced Database Systems, SEBD 2022, Tirrenia (PI), Italy, June 19-22, 2022., pp. 530-537, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni |
Reasoning in Warded Datalog+/- with Harmful Joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 30th Italian Symposium on Advanced Database Systems, SEBD 2022, Tirrenia (PI), Italy, June 19-22, 2022., pp. 292-299, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Joschua Schilling, Tilo Müller |
VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMVA ![In: Detection of Intrusions and Malware, and Vulnerability Assessment - 19th International Conference, DIMVA 2022, Cagliari, Italy, June 29 - July 1, 2022, Proceedings, pp. 96-115, 2022, Springer, 978-3-031-09483-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx 0001, Harish K. Murali, Christoph Weidenbach |
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I, pp. 480-501, 2022, Springer, 978-3-030-99523-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger |
On the Relationship between Shy and Warded Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022., 2022, 978-1-956792-01-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo |
Revisiting Semiring Provenance for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022., 2022, 978-1-956792-01-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Ali Elhalawati, Markus Krötzsch, Stephan Mennicke |
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, pp. 146-163, 2022, Springer, 978-3-031-21540-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Atzeni, Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger |
iWarded: A Versatile Generator to Benchmark Warded Datalog+/- Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings, pp. 113-129, 2022, Springer, 978-3-031-21540-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob |
Adventures with Datalog: Walking the Thin Line Between Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings, pp. 489-500, 2022, Springer, 978-3-031-27180-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Livia Blasi |
A Temporal Datalog Primer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, March 29, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Teodoro Baldazzi, Paolo Atzeni |
Warded Datalog+/- Reasoning in Financial Settings with Harmful Joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, March 29, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Mattia Scaccia, Ilaria Stocchi, Luigi Bellomarini |
Neurosymbolic Reasoning: Building Neural Networks Using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, March 29, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Marta Bernardini, Matthias Lanzinger, Rosario Laurendi, Stefano Sferrazza |
Family Link Detection in Uncertain Settings with MV-Datalog±. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, Edinburgh, UK, March 29, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Joseph Isaacs |
Furthering Datalog in the pursuit of program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Michael Arntzenius |
Deconstructing Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
14 | Paraschos Koutris, Jef Wijsen |
Consistent Query Answering for Primary Keys in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 65(1), pp. 122-178, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Mahmoud Abo Khamis, Hung Q. Ngo 0001, Reinhard Pichler, Dan Suciu, Yisu Remy Wang |
Convergence of Datalog over (Pre-) Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.14435, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Luigi Bellomarini, Emanuel Sallinger |
Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.11147, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Davis Ross Silverman, Yihao Sun, Kristopher K. Micinski, Thomas Gilray |
So You Want to Analyze Scheme Programs With Datalog? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.12909, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni |
iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.08588, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Leopoldo E. Bertossi, Mostafa Milani |
Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.00903, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Michael J. Maher |
Defeasible Reasoning via Datalog¬. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.10946, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach |
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.03189, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner |
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14175, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Yann Ramusat, Silviu Maniu, Pierre Senellart |
A Practical Dynamic Programming Approach to Datalog Provenance Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.01132, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Jin Wang 0007, Jiacheng Wu, Mingda Li, Jiaqi Gu 0001, Ariyam Das, Carlo Zaniolo |
Formal semantics and high performance in declarative machine learning using Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 30(5), pp. 859-881, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Szabó |
Inkrementalisierung Statischer Analysen in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2021., pp. 271-280, 2021, GI, 978-3-88579-980-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner |
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph |
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)., pp. 120:1-120:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-195-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Gilray, Sidharth Kumar, Kristopher K. Micinski |
Compiling data-parallel Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Event, Republic of Korea, March 2-3, 2021, pp. 23-35, 2021, ACM, 978-1-4503-8325-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano, Arnel Zamayla |
A Speech about Generative Datalog and Non-measurable Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshops ![In: Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Temitope Ajileye, Boris Motik, Ian Horrocks 0001 |
Streaming Partitioning of RDF Graphs for Datalog Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web - 18th International Conference, ESWC 2021, Virtual Event, June 6-10, 2021, Proceedings, pp. 3-22, 2021, Springer, 978-3-030-77384-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche |
Expressiveness within Sequence Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021., pp. 70-81, 2021, ACM, 978-1-4503-8381-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Victor Vianu |
Datalog Unchained. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021., pp. 57-69, 2021, ACM, 978-1-4503-8381-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz |
Metamorphic testing of Datalog engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021, pp. 639-650, 2021, ACM, 978-1-4503-8562-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev |
Stratified Negation in Datalog with Metric Temporal Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 6488-6495, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik |
GENSYNTH: Synthesizing Datalog Programs without Language Bias. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 6444-6453, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Xiaowen Hu, David Zhao 0001, Herbert Jordan, Bernhard Scholz |
An efficient interpreter for Datalog by de-specializing relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 681-695, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Szabó, Sebastian Erdweg, Gábor Bergmann |
Incremental whole-program analysis in Datalog with lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 1-15, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Zaniolo |
Scalable Algorithms and Big-Data Applications by Recursive SQL Queries with Aggregates: a Datalog-enabled approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021., pp. iii, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Yifan Chen, Chenyang Yang 0002, Xin Zhang, Yingfei Xiong 0001, Hao Tang, Xiaoyin Wang, Lu Zhang 0023 |
Accelerating Program Analyses in Datalog by Merging Library Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, pp. 77-101, 2021, Springer, 978-3-030-88805-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | David Zhao 0001, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz |
Towards Elastic Incrementalization for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021, pp. 20:1-20:16, 2021, ACM, 978-1-4503-8689-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Pierre-Léo Bégay, Pierre Crégut, Jean-François Monin |
Developing and certifying Datalog optimizations in coq/mathcomp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021, pp. 163-177, 2021, ACM, 978-1-4503-8299-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
Finitely Materialisable Datalog Programs with Metric Temporal Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021., pp. 619-628, 2021, 978-1-956792-99-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Brass |
Event-Based Microcontroller Programming in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings, pp. 80-94, 2021, Springer, 978-3-030-91166-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Luigi Bellomarini, Markus Nissl, Emanuel Sallinger |
Monotonic Aggregation for Temporal Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR (Supplement) ![In: Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8 - 15 September, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
14 | Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni |
Eliminating Harmful Joins in Warded Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML+RR ![In: Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings, pp. 267-275, 2021, Springer, 978-3-030-91166-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Brass, Mario Wenzel |
Integrity Constraints for Microcontroller Programming in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems - 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24-26, 2021, Proceedings, pp. 152-166, 2021, Springer, 978-3-030-82471-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach |
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings, pp. 3-24, 2021, Springer, 978-3-030-86204-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Tamás Szabó |
Incrementalizing Static Analyses in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
14 | Magnus Madsen, Ondrej Lhoták |
Fixpoints for the masses: programming with first-class Datalog constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 125:1-125:28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mukund Raghothaman, Jonathan Mendelson, David Zhao 0001, Mayur Naik, Bernhard Scholz |
Provenance-guided synthesis of Datalog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 62:1-62:27, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Aaron Bembenek, Michael Greenberg 0002, Stephen Chong |
Formulog: Datalog for SMT-based static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 141:1-141:31, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart |
Monadic Datalog, Tree Validity, and Limited Access Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 21(1), pp. 6:1-6:45, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hani Ramadhan, Fitri Indra Indikawati, Joonho Kwon, Bonyong Koo |
MusQ: A Multi-Store Query System for IoT Data Using a Datalog-Like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 58032-58056, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus |
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 280, pp. 103220, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Mark Gromowski, Michael Siebers, Ute Schmid |
A process framework for inducing and explaining Datalog theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Data Anal. Classif. ![In: Adv. Data Anal. Classif. 14(4), pp. 821-835, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Bas Ketsman, Aws Albarghouthi, Paraschos Koutris |
Distribution Policies for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 64(5), pp. 965-998, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Hongyuan Mei, Guanghui Qin, Minjie Xu, Jason Eisner |
Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.16723, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Pierre Bourhis, Carsten Lutz |
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.11842, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph |
Datalog-Expressibility for Monadic and Guarded Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.05677, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Mario Alviano, Marco Manna |
Large-scale Ontological Reasoning via Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.09698, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
14 | Yuepeng Wang 0001, Rushi Shah, Abby Criswell, Rong Pan, Isil Dillig |
Data Migration using Datalog Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.01331, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
Displaying result #401 - #500 of 1398 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|