Copertina

Practical Reasoning in DatalogMTL

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, Dingmin, Wałęga, Przemysław A., Hu, Pan, Grau, Bernardo Cuenca
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Inconsistency Handling in DatalogMTL
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2025)

Fixpoint Semantics for DatalogMTL with Negation
di: Pollaci, Samuele
Pubblicazione: (2026)

Goal-Driven Reasoning in DatalogMTL with Magic Sets
di: Wang, Shaoyu, et al.
Pubblicazione: (2024)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2026)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
di: Lanzinger, Matthias, et al.
Pubblicazione: (2024)

Computational Complexity of Standpoint LTL
di: Demri, Stéphane, et al.
Pubblicazione: (2024)

Hybrid Modal Operators for Definite Descriptions
di: Wałęga, Przemysław Andrzej, et al.
Pubblicazione: (2024)

Incremental Maintenance of DatalogMTL Materialisations
di: Zhao, Kaiyue, et al.
Pubblicazione: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
di: Sälzer, Marco, et al.
Pubblicazione: (2025)

On the Boolean Network Theory of Datalog$^\neg$
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

On Syntactical Simplification of Temporal Operators in Negation-free MTL
di: van Noort, Mathijs, et al.
Pubblicazione: (2025)

Algebraic Semantics of Datalog with Equality
di: Bidlingmaier, Martin E.
Pubblicazione: (2023)

Capability Safety as Datalog: A Foundational Equivalence
di: Spera, Cosimo
Pubblicazione: (2026)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
di: Hanisch, Philipp, et al.
Pubblicazione: (2026)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
di: Bodirsky, Manuel, et al.
Pubblicazione: (2020)

The Power of Negation in Higher-Order Datalog
di: Charalambidis, Angelos, et al.
Pubblicazione: (2025)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
di: Bodirsky, Manuel, et al.
Pubblicazione: (2024)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2024)

What are the Right Symmetries for Formal Theorem Proving?
di: Olejniczak, Krzysztof, et al.
Pubblicazione: (2026)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)

FC-Datalog as a Framework for Efficient String Querying
di: Bell, Owen M., et al.
Pubblicazione: (2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
di: Mantenoglou, Periklis
Pubblicazione: (2026)

A Datalog Framework for Conflict-Free Replicated Data Types
di: Yanakieva, Elena, et al.
Pubblicazione: (2026)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
di: Affeldt, Reynald, et al.
Pubblicazione: (2023)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
di: Li, Dazhu, et al.
Pubblicazione: (2025)

Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
di: Alonso, Bernardo
Pubblicazione: (2026)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
di: Bernardo, Marco, et al.
Pubblicazione: (2022)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
di: Sochański, Michał, et al.
Pubblicazione: (2025)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
di: Bernardo, Marco, et al.
Pubblicazione: (2024)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
di: Bernardo, Marco, et al.
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
di: Pan, Yudai, et al.
Pubblicazione: (2021)

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
di: Grau, Bernardo Cuenca, et al.
Pubblicazione: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Rewriting and Inductive Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

A Note on the Practice of Logical Inferentialism
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)