Copertina

Solving unification in the description logic $\mathcal{FL}_\bot$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Morawska, Barbara, Marzec, Dariusz
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Symbolic Computation Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FILO -- automated unification in $\mathcal{FL}_0$
di: Morawska, Barbara, et al.
Pubblicazione: (2025)

Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime
di: Henne, Michał, et al.
Pubblicazione: (2026)

Algebraic anti-unification
di: Antić, Christian
Pubblicazione: (2024)

A Theoretical Review on Solving Algebra Problems
di: Yu, Xinguo, et al.
Pubblicazione: (2024)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
di: Li, Xiakun, et al.
Pubblicazione: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
di: Defresne, Marianne, et al.
Pubblicazione: (2025)

Rings with common division, common meadows and their conditional equational theories
di: Bergstra, Jan A, et al.
Pubblicazione: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
di: Wang, Zhonghan
Pubblicazione: (2024)

Saturating Sorting without Sorts
di: Georgiou, Pamina, et al.
Pubblicazione: (2024)

A Local Search Algorithm for MaxSMT(LIA)
di: He, Xiang, et al.
Pubblicazione: (2024)

OSVAuto: automatic proofs about functional specifications in OS verification
di: Wu, Yulun, et al.
Pubblicazione: (2024)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
di: Kaufmann, Daniela, et al.
Pubblicazione: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
di: Desmond, Harry
Pubblicazione: (2026)

One-Parametric Presburger Arithmetic has Quantifier Elimination
di: Mansutti, Alessio, et al.
Pubblicazione: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
di: Kop, Cynthia, et al.
Pubblicazione: (2025)

Formal Verification of Parameterized Systems based on Induction
di: Xiu, Jiaqi, et al.
Pubblicazione: (2025)

Pseudo-Complex Quantifier Elimination
di: Faroß, Nicolas, et al.
Pubblicazione: (2026)

Nominal Equational Rewriting and Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

On Automating Proofs of Multiplier Adder Trees using the RTL Books
di: Manjrekar, Mayank
Pubblicazione: (2025)

Structuring Definitions in Mathematical Libraries
di: Gusakov, Alena, et al.
Pubblicazione: (2025)

SCL(FOL) Revisited
di: Bromberger, Martin, et al.
Pubblicazione: (2023)

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides
di: Bournez, Olivier, et al.
Pubblicazione: (2026)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

Quantifier Elimination Meets Treewidth
di: Wu, Hao, et al.
Pubblicazione: (2026)

Identity Testing for Radical Expressions
di: Balaji, Nikhil, et al.
Pubblicazione: (2022)

On Ambiguity: The case of fraction, its meanings and roles
di: Bergstra, Jan A, et al.
Pubblicazione: (2026)

Practical Modelling with Bigraphs
di: Archibald, Blair, et al.
Pubblicazione: (2024)

Boolean Matrix Logic Programming on the GPU
di: Ai, Lun
Pubblicazione: (2024)

WebPie: A Tiny Slice of Dependent Typing
di: Scholliers, Christophe
Pubblicazione: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
di: Alves, Sandra, et al.
Pubblicazione: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)

Towards Automatic Transformations of Coq Proof Scripts
di: Magaud, Nicolas
Pubblicazione: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
di: Gerdes, Wout, et al.
Pubblicazione: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
di: Erascu, Madalina, et al.
Pubblicazione: (2026)

Confluence of Conditional Rewriting Modulo
di: Lucas, Salvador
Pubblicazione: (2025)

Semantic Properties of Computations Defined by Elementary Inference Systems
di: Lucas, Salvador
Pubblicazione: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
di: Brown, Chad E., et al.
Pubblicazione: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2025)

Frex: dependently-typed algebraic simplification
di: Allais, Guillaume, et al.
Pubblicazione: (2023)

A general optimization solver based on OP-to-MaxSAT reduction
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)