Buchumschlag

Efficiently grounding FOL using bit vectors

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Van Laer, Lucas, Vandevelde, Simon, Vennekens, Joost
Format:	Preprint
Veröffentlicht:	2024
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

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
von: Vandevelde, Simon, et al.
Veröffentlicht: (2024)

Answer Set Programming for Flexible Payroll Management
von: Callewaert, Benjamin, et al.
Veröffentlicht: (2024)

SCL(FOL) Revisited
von: Bromberger, Martin, et al.
Veröffentlicht: (2023)

Simulating dynamic systems using Linear Time Calculus theories
von: Bogaerts, Bart, et al.
Veröffentlicht: (2014)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
von: Majkic, Zoran
Veröffentlicht: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
von: Bino, Melki
Veröffentlicht: (2026)

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
von: Callewaert, Benjamin, et al.
Veröffentlicht: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
von: Mertens, Hannah, et al.
Veröffentlicht: (2026)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

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

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

Formally Verified Animation for RoboChart using Interaction Trees
von: Ye, Kangfeng, et al.
Veröffentlicht: (2023)

A Spectrum of Approximate Probabilistic Bisimulations
von: Spork, Timm, et al.
Veröffentlicht: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
von: Spork, Timm, et al.
Veröffentlicht: (2025)

PolySAT: Word-level Bit-vector Reasoning in Z3
von: Rath, Jakob, et al.
Veröffentlicht: (2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
von: Klinkenberg, Lutz, et al.
Veröffentlicht: (2023)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
von: Joosten, Joost J., et al.
Veröffentlicht: (2026)

SAT Encodings for Bandwidth Coloring: A Systematic Design Study
von: Nguyen, Duc Trung Kim, et al.
Veröffentlicht: (2026)

Network Satisfaction Problems Solved by k-Consistency
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2023)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Bayesian Inference in Quantum Programs
von: Gehnen, Christina, et al.
Veröffentlicht: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Compact SAT Encoding for Power Peak Minimization
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2025)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
von: Cailler, Julie, et al.
Veröffentlicht: (2025)

Efficient Reactive Synthesis
von: Ye, Xin, et al.
Veröffentlicht: (2024)

Natural Strategic Ability in Stochastic Multi-Agent Systems
von: Berthon, Raphaël, et al.
Veröffentlicht: (2024)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Verification of Robust Multi-Agent Systems
von: Berthon, Raphaël, et al.
Veröffentlicht: (2026)

Verifying Sampling Algorithms via Distributional Invariants
von: Zilken, Daniel, et al.
Veröffentlicht: (2025)

Nominal Type Theory by Nullary Internal Parametricity
von: Van Muylder, Antoine, et al.
Veröffentlicht: (2025)

Verified and Optimized Implementation of Orthologic Proof Search
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
von: Goldberg, Eugene
Veröffentlicht: (2024)

Efficient Volume Computation for SMT Formulas
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

Efficient Decision Procedures for RNmatrix Semantics
von: Leme, Renato R., et al.
Veröffentlicht: (2026)