Image de couverture de livre

Automated Strategy Invention for Confluence of Term Rewrite Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zhang, Liao, Mitterwallner, Fabian, Jakubuv, Jan, Kaliszyk, Cezary
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence F.4.2; I.2.8
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
par: Zhang, Liao, et autres
Publié: (2024)

Experiments with Choice in Dependently-Typed Higher-Order Logic
par: Ranalter, Daniel, et autres
Publié: (2024)

Strong Equivalence in Answer Set Programming with Constraints
par: Cabalar, Pedro, et autres
Publié: (2025)

Compiling Metric Temporal Answer Set Programming
par: Becker, Arvid, et autres
Publié: (2025)

Implementing Metric Temporal Answer Set Programming
par: Becker, Arvid, et autres
Publié: (2026)

Learning How to Cube
par: Erata, Ferhat, et autres
Publié: (2026)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
par: Kesseli, Pascal, et autres
Publié: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

Termination of Innermost-Terminating Right-Linear Overlay Term Rewrite Systems (Full Version)
par: Nishida, Naoki
Publié: (2026)

Computational methods for Dynamic Answer Set Programming
par: Hahn, Susana
Publié: (2025)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
par: Nieuwenhuis, Robert, et autres
Publié: (2024)

Is there a half-life for the success rates of AI agents?
par: Ord, Toby
Publié: (2025)

Rewriting Induction for Existentially Quantified Equations in Logically Constrained Rewriting (Full Version)
par: Nishida, Naoki, et autres
Publié: (2026)

Automated Theorem Provers Help Improve Large Language Model Reasoning
par: McGinness, Lachlan, et autres
Publié: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
par: Zhang, Xindi, et autres
Publié: (2025)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
par: Filipe, João, et autres
Publié: (2026)

Provably Correct Systems: Community, connections, and citations
par: Bowen, Jonathan P.
Publié: (2015)

Active Inference for an Intelligent Agent in Autonomous Reconnaissance Missions
par: Schubert, Johan, et autres
Publié: (2025)

Computable Structuralism: A Categorical Rewrite Calculus of Mythic Variants
par: Segura, Juan J.
Publié: (2026)

Autonomous generation of different courses of action in mechanized combat operations
par: Schubert, Johan, et autres
Publié: (2025)

Robust Verification of Concurrent Stochastic Games
par: He, Angel Y., et autres
Publié: (2026)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
par: Masina, Gabriele, et autres
Publié: (2025)

COVID-19 on YouTube: A Data-Driven Analysis of Sentiment, Toxicity, and Content Recommendations
par: Su, Vanessa, et autres
Publié: (2024)

Mpox Narrative on Instagram: A Labeled Multilingual Dataset of Instagram Posts on Mpox for Sentiment, Hate Speech, and Anxiety Analysis
par: Thakur, Nirmalya
Publié: (2024)

Five Years of COVID-19 Discourse on Instagram: A Labeled Instagram Dataset of Over Half a Million Posts for Multilingual Sentiment Analysis
par: Thakur, Nirmalya
Publié: (2024)

Emoji Retrieval from Gibberish or Garbled Social Media Text: A Novel Methodology and A Case Study
par: Cui, Shuqi, et autres
Publié: (2024)

A Labelled Dataset for Sentiment Analysis of Videos on YouTube, TikTok, and Other Sources about the 2024 Outbreak of Measles
par: Thakur, Nirmalya, et autres
Publié: (2024)

Quantifying Public Response to COVID-19 Events: Introducing the Community Sentiment and Engagement Index
par: Thakur, Nirmalya, et autres
Publié: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
par: Kondylidou, Lydia, et autres
Publié: (2026)

Automating proof search when equality is a logical connective
par: Chaudhuri, Kaustuv, et autres
Publié: (2026)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
par: Balafas, Vasileios, et autres
Publié: (2025)

Domain-Independent Dynamic Programming
par: Kuroiwa, Ryo, et autres
Publié: (2024)

An In-depth Study of LLM Contributions to the Bin Packing Problem
par: Herrmann, Julien, et autres
Publié: (2025)

Automating Reformulation of Essence Specifications via Graph Rewriting
par: Miguel, Ian, et autres
Publié: (2024)

Anticipating Oblivious Opponents in Stochastic Games
par: Kalat, Shadi Tasdighi, et autres
Publié: (2024)

Designing Multi-Step Action Models for Enterprise AI Adoption
par: Mishra, Shreyash, et autres
Publié: (2024)

Dynamics of COVID-19 Misinformation: An Analysis of Conspiracy Theories, Fake Remedies, and False Reports
par: Thakur, Nirmalya, et autres
Publié: (2025)

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
par: Quaresma, Pedro, et autres
Publié: (2024)

Scalability Optimization in Cloud-Based AI Inference Services: Strategies for Real-Time Load Balancing and Automated Scaling
par: Jin, Yihong, et autres
Publié: (2025)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
par: Jilissen, Kevin H. J., et autres
Publié: (2024)