Works matching DE "DATALOG (Computer program language)"
Results: 24
Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 76, p. 645, doi. 10.1613/jair.1.14061
- By:
- Publication type:
- Article
Finite Materialisability of Datalog Programs with Metric Temporal Operators.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 76, p. 471, doi. 10.1613/jair.1.14040
- By:
- Publication type:
- Article
A Fuzzy Extension to the OWL 2 RL Ontology Language.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 2956, doi. 10.1093/comjnl/bxv028
- By:
- Publication type:
- Article
PUG: a framework and practical implementation for why and why-not provenance.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2019, v. 28, n. 1, p. 47, doi. 10.1007/s00778-018-0518-5
- By:
- Publication type:
- Article
Efficient provenance tracking for datalog using top-<italic>k</italic> queries.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2018, v. 27, n. 2, p. 245, doi. 10.1007/s00778-018-0496-7
- By:
- Publication type:
- Article
Scaling up the performance of more powerful Datalog systems on multicore machines.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2017, v. 26, n. 2, p. 229, doi. 10.1007/s00778-016-0448-z
- By:
- Publication type:
- Article
Effectively solving NP-SPEC encodings by translation to ASP.
- Published in:
- Journal of Experimental & Theoretical Artificial Intelligence, 2015, v. 27, n. 5, p. 577, doi. 10.1080/0952813X.2014.993505
- By:
- Publication type:
- Article
Enhancing Magic Sets with an Application to Ontological Reasoning.
- Published in:
- Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 654, doi. 10.1017/S1471068419000115
- By:
- Publication type:
- Article
A datalog-based computational model for coordination-free, data-parallel systems.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 874, doi. 10.1017/S147106841800042X
- By:
- Publication type:
- Article
Scaling-up reasoning and advanced analytics on BigData.
- Published in:
- Theory & Practice of Logic Programming, 2018, v. 18, n. 5/6, p. 806, doi. 10.1017/S1471068418000418
- By:
- Publication type:
- Article
Fixpoint semantics and optimization of recursive Datalog programs with aggregates.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 1048, doi. 10.1017/S1471068417000436
- By:
- Publication type:
- Article
Finite model reasoning over existential rules.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 5/6, p. 726, doi. 10.1017/S1471068417000369
- By:
- Publication type:
- Article
A linear algebraic approach to datalog evaluation.
- Published in:
- Theory & Practice of Logic Programming, 2017, v. 17, n. 3, p. 244, doi. 10.1017/S1471068417000023
- By:
- Publication type:
- Article
Precise complexity guarantees for pointer analysis via datalog with extensions.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 916, doi. 10.1017/S1471068416000405
- By:
- Publication type:
- Article
Putting logic-based distributed systems on stable grounds.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 4, p. 378, doi. 10.1017/S1471068415000381
- By:
- Publication type:
- Article
Combining decidability paradigms for existential rules.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 877, doi. 10.1017/S1471068413000550
- By:
- Publication type:
- Article
A declarative extension of horn clauses, and its significance for datalog and its applications.
- Published in:
- Theory & Practice of Logic Programming, 2013, v. 13, n. 4/5, p. 609, doi. 10.1017/S1471068413000380
- By:
- Publication type:
- Article
Deductive systems for BigData integration.
- Published in:
- Journal of Economic Development, Environment & People, 2018, v. 7, n. 1, p. 49, doi. 10.26458/jedep.v7i1.578
- By:
- Publication type:
- Article
Finite-domain representations of conformant planning tasks based on single logic program.
- Published in:
- Application Research of Computers / Jisuanji Yingyong Yanjiu, 2014, v. 31, n. 2, p. 405, doi. 10.3969/j.issn.1001-3695.2014.02.020
- By:
- Publication type:
- Article
On constraint satisfaction problems below P.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 3, p. 893, doi. 10.1093/logcom/exu003
- By:
- Publication type:
- Article
The collapse of the bounded width hierarchy.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 3, p. 923, doi. 10.1093/logcom/exu070
- By:
- Publication type:
- Article
Computer-aided decision-making with trust relations and trust domains (cryptographic applications)*.
- Published in:
- Journal of Logic & Computation, 2014, v. 24, n. 1, p. 19, doi. 10.1093/logcom/exs013
- By:
- Publication type:
- Article
DATALOG REWRITINGS OF REGULAR PATH QUERIES USING VIEWS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:14)2015
- By:
- Publication type:
- Article
UNARY NEGATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/LMCS-9(3:25)2013
- By:
- Publication type:
- Article