Buchumschlag

Termination of Graph Transformation Systems Using Weighted Subgraph Counting

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Overbeek, Roy, Endrullis, Jörg
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
von: Endrullis, Jörg, et al.
Veröffentlicht: (2023)

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)

Correspondence between Composite Theories and Distributive Laws
von: Rosset, Aloïs, et al.
Veröffentlicht: (2024)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
von: Endrullis, Jörg, et al.
Veröffentlicht: (2025)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
von: Tóth, Jan, et al.
Veröffentlicht: (2024)

Non-Termination of Logic Programs Using Patterns
von: Payet, Etienne
Veröffentlicht: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
von: Sierra-Aristizabal, Manuel
Veröffentlicht: (2023)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
von: Baader, Franz, et al.
Veröffentlicht: (2024)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
von: Lichter, Moritz
Veröffentlicht: (2022)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
von: Mählmann, Nikolas
Veröffentlicht: (2025)

Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)
von: König, Barbara, et al.
Veröffentlicht: (2025)

Hydra Battles and AC Termination
von: Hirokawa, Nao, et al.
Veröffentlicht: (2023)

Termination of Triangular Polynomial Loops
von: Hark, Marcel, et al.
Veröffentlicht: (2019)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

Numerical Considerations in Weighted Model Counting
von: Bryant, Randal E.
Veröffentlicht: (2025)

Sound and Complete Proof Rules for Probabilistic Termination
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Formalising the Double-Pushout Approach to Graph Transformation
von: Söldner, Robert, et al.
Veröffentlicht: (2023)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
von: Ho, Hsi-Ming, et al.
Veröffentlicht: (2024)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
von: Neuen, Daniel, et al.
Veröffentlicht: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Deductive Systems for Logic Programs with Counting
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

Termination of Real Linear Loops
von: Neumann, Eike, et al.
Veröffentlicht: (2026)

A Dependency Pair Framework for Relative Termination of Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

On Lower Bounding Minimal Model Count
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2024)

Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas
von: Riveros, Cristian, et al.
Veröffentlicht: (2024)

Chase Termination Beyond Polynomial Time
von: Hanisch, Philipp, et al.
Veröffentlicht: (2024)

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
von: Emrich, Frank, et al.
Veröffentlicht: (2023)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
von: Sarita, Yasmin, et al.
Veröffentlicht: (2024)

Transformers Can Learn Connectivity in Some Graphs but Not Others
von: Roy, Amit, et al.
Veröffentlicht: (2025)

Subgraph Isomorphism: Prolog vs. Conventional
von: Yin, Claire Y., et al.
Veröffentlicht: (2025)

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

On Top-Down Pseudo-Boolean Model Counting
von: Yang, Suwei, et al.
Veröffentlicht: (2025)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)