Image de couverture de livre

Efficiently grounding FOL using bit vectors

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Van Laer, Lucas, Vandevelde, Simon, Vennekens, Joost
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
par: Vandevelde, Simon, et autres
Publié: (2024)

Answer Set Programming for Flexible Payroll Management
par: Callewaert, Benjamin, et autres
Publié: (2024)

SCL(FOL) Revisited
par: Bromberger, Martin, et autres
Publié: (2023)

Simulating dynamic systems using Linear Time Calculus theories
par: Bogaerts, Bart, et autres
Publié: (2014)

Intensional FOL over Belnap's Billatice for Strong-AI Robotics
par: Majkic, Zoran
Publié: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
par: Brunello, Andrea, et autres
Publié: (2025)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
par: Bino, Melki
Publié: (2026)

VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
par: Callewaert, Benjamin, et autres
Publié: (2025)

Compositional Reasoning for Probabilistic Automata with Uncertainty
par: Mertens, Hannah, et autres
Publié: (2026)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
par: Ahrens, Emma, et autres
Publié: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
par: Hausmann, Daniel, et autres
Publié: (2025)

Formally Verified Animation for RoboChart using Interaction Trees
par: Ye, Kangfeng, et autres
Publié: (2023)

A Spectrum of Approximate Probabilistic Bisimulations
par: Spork, Timm, et autres
Publié: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
par: Mertens, Hannah, et autres
Publié: (2025)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)

PolySAT: Word-level Bit-vector Reasoning in Z3
par: Rath, Jakob, et autres
Publié: (2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
par: Klinkenberg, Lutz, et autres
Publié: (2023)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
par: Mertens, Hannah, et autres
Publié: (2024)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
par: Joosten, Joost J., et autres
Publié: (2026)

SAT Encodings for Bandwidth Coloring: A Systematic Design Study
par: Nguyen, Duc Trung Kim, et autres
Publié: (2026)

Network Satisfaction Problems Solved by k-Consistency
par: Bodirsky, Manuel, et autres
Publié: (2023)

Towards Concurrent Quantitative Separation Logic
par: Fesefeldt, Ira, et autres
Publié: (2022)

Bayesian Inference in Quantum Programs
par: Gehnen, Christina, et autres
Publié: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
par: Batz, Kevin, et autres
Publié: (2025)

Compact SAT Encoding for Power Peak Minimization
par: Van Kieu, Tuyen, et autres
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
par: Cailler, Julie, et autres
Publié: (2025)

Efficient Reactive Synthesis
par: Ye, Xin, et autres
Publié: (2024)

Natural Strategic Ability in Stochastic Multi-Agent Systems
par: Berthon, Raphaël, et autres
Publié: (2024)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
par: Batz, Kevin, et autres
Publié: (2025)

Verification of Robust Multi-Agent Systems
par: Berthon, Raphaël, et autres
Publié: (2026)

Verifying Sampling Algorithms via Distributional Invariants
par: Zilken, Daniel, et autres
Publié: (2025)

Nominal Type Theory by Nullary Internal Parametricity
par: Van Muylder, Antoine, et autres
Publié: (2025)

Verified and Optimized Implementation of Orthologic Proof Search
par: Guilloud, Simon, et autres
Publié: (2025)

On Efficient Algorithms For Partial Quantifier Elimination
par: Goldberg, Eugene
Publié: (2024)

Efficient Volume Computation for SMT Formulas
par: Shaw, Arijit, et autres
Publié: (2025)

Efficient Decision Procedures for RNmatrix Semantics
par: Leme, Renato R., et autres
Publié: (2026)