Search Results - "Datalog (Computer program language)"

SnR: constraint-based type inference for incomplete Java code snippets.

Authors: Dong, Yiwen Gu, Tianxiao Tian, Yongqiang et al.

Source: ICSE: International Conference on Software Engineering. 2022, p1982-1993. 12p.

Subjects: Java programming language, Datalog (Computer program language), Programming languages, Computer interfaces, Libraries

Finite Materialisability of Datalog Programs with Metric Temporal Operators.

Authors: Wałęga, Przemysław Andrzej Zawidzki, Michał Cuenca Grau, Bernardo

Source: Journal of Artificial Intelligence Research. 2023, Vol. 76, p471-521. 51p.

Enhancing Magic Sets with an Application to Ontological Reasoning.

Authors: ALVIANO, MARIO LEONE, NICOLA VELTRI, PIERFRANCESCO et al.

Source: Theory & Practice of Logic Programming. Sep2019, Vol. 19 Issue 5/6, p654-670. 17p.

PUG: a framework and practical implementation for why and why-not provenance.

Authors: Lee, Seokki Ludäscher, Bertram Glavic, Boris

Source: VLDB Journal International Journal on Very Large Data Bases; Feb2019, Vol. 28 Issue 1, p47-71, 25p

A datalog-based computational model for coordination-free, data-parallel systems.

Authors: INTERLANDI, MATTEO TANCA, LETIZIA

Source: Theory & Practice of Logic Programming. Sep2018, Vol. 18 Issue 5/6, p874-927. 54p.

Scaling-up reasoning and advanced analytics on BigData.

Authors: CONDIE, TYSON DAS, ARIYAM INTERLANDI, MATTEO et al.

Source: Theory & Practice of Logic Programming. Sep2018, Vol. 18 Issue 5/6, p806-845. 40p.

The Impact of Active Domain Predicates on Guarded Existential Rules.

Authors: Gottlob, Georg Pieris, Andreas Šimkus, Mantas

Source: Fundamenta Informaticae. 2018, Vol. 159 Issue 1-2, p123-146. 24p.

Subjects: Database management, Datalog (Computer program language), Query languages (Computer science), Domain-specific programming languages, Computational complexity

Reasoning on Datalog^± Ontologies with Abductive Logic Programming.

Authors: Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio et al.

Source: Fundamenta Informaticae. 2018, Vol. 159 Issue 1-2, p65-93. 29p.

Subjects: Logic programming, Datalog (Computer program language), Ontologies (Information retrieval), Constraint satisfaction, Computational complexity

Reasoning on Datalog± Ontologies with Abductive Logic Programming.

Authors: Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio et al.

Source: Fundamenta Informaticae; 2018, Vol. 159 Issue 1-2, p65-93, 29p

Efficient provenance tracking for datalog using top-k queries.

Authors: Deutch, Daniel Gilad, Amir Moskovitch, Yuval

Source: VLDB Journal International Journal on Very Large Data Bases; Apr2018, Vol. 27 Issue 2, p245-269, 25p

Fixpoint semantics and optimization of recursive Datalog programs with aggregates.

Authors: ZANIOLO, CARLO YANG, MOHAN DAS, ARIYAM et al.

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p1048-1065. 18p.

Finite model reasoning over existential rules.

Authors: AMENDOLA, GIOVANNI LEONE, NICOLA MANNA, MARCO

Source: Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p726-743. 18p.

On constraint satisfaction problems below P.

Authors: EGRI, LÁSZLÓ¹ laszlo.egri@mail.mcgill.ca

Source: Journal of Logic & Computation. Jun2016, Vol. 26 Issue 3, p893-922. 30p.

Subjects: CSP (Computer program language), Datalog (Computer program language), Branching processes, Logic programming, Duality (Logic)

Effectively solving NP-SPEC encodings by translation to ASP.

Authors: Alviano, Mario Faber, Wolfgang

Source: Journal of Experimental & Theoretical Artificial Intelligence. Oct2015, Vol. 27 Issue 5, p577-601. 25p.

Subjects: Programming language semantics, Datalog (Computer program language), Boolean algebra, Knowledge representation (Information theory), Declarative programming

A linear algebraic approach to datalog evaluation.

Authors: SATO, TAISUKE¹ satou.taisuke@aist.go.jp

Source: Theory & Practice of Logic Programming. May2017, Vol. 17 Issue 3, p244-265. 22p.

Scaling up the performance of more powerful Datalog systems on multicore machines.

Authors: Yang, Mohan Shkapsky, Alexander Zaniolo, Carlo

Source: VLDB Journal International Journal on Very Large Data Bases; Apr2017, Vol. 26 Issue 2, p229-248, 20p

I-DLV: The new intelligent grounder of DLV.

Authors: Calimeri, Francesco Fuscà, Davide Perri, Simona et al.

Source: Intelligenza Artificiale. 2017, Vol. 11 Issue 1, p5-24. 20p.

Precise complexity guarantees for pointer analysis via datalog with extensions.

Authors: TEKLE, K. TUNCAY LIU, YANHONG A. Carro, Manuel et al.

Source: Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p916-932. 17p.

Computer-aided decision-making with trust relations and trust domains (cryptographic applications)*.

Authors: Kramer, Simon Goré, Rajeev Okamoto, Eiji

Source: Journal of Logic & Computation. Feb2014, Vol. 24 Issue 1, p19-54. 36p.

Subjects: Scalability, Datalog (Computer program language), Computational learning theory, Access control, Cryptography, Symmetric domains

Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic.

Authors: Kurucz, Agi Ryzhikov, Vladislav Savateev, Yury et al.

Source: Journal of Artificial Intelligence Research; 2023, Vol. 76, p645-703, 59p